diff options
Diffstat (limited to 'html/haddock.css')
| -rw-r--r-- | html/haddock.css | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/html/haddock.css b/html/haddock.css index 26695270..35a078d1 100644 --- a/html/haddock.css +++ b/html/haddock.css @@ -4,6 +4,7 @@ BODY { background-color: #ffffff; color: #000000; font-family: sans-serif; + padding: 0 0; } A:link { color: #0000e0; text-decoration: none } @@ -265,3 +266,32 @@ TD.botbar A:hover { background-color: #6060ff } +/* --------- Mini Synopsis for Frame View --------- */ + +.outer { + margin: 0 0; + padding: 0 0; +} + +.mini-synopsis { + padding: 0.25em 0.25em; +} + +.mini-synopsis H1 { font-size: 130%; } +.mini-synopsis H2 { font-size: 110%; } +.mini-synopsis H3 { font-size: 100%; } +.mini-synopsis H1, .mini-synopsis H2, .mini-synopsis H3 { + margin-top: 0.5em; + margin-bottom: 0.25em; + padding: 0 0; +} + +.mini-synopsis H1 { border-bottom: 1px solid #ccc; } + +.mini-topbar { + font-size: 130%; + background: #0077dd; + padding: 0.25em; +} + + |