diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-08 19:39:29 -0800 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2018-11-08 19:44:17 -0800 |
commit | 63abb6c197ae513eac6d171c589b129feb004413 (patch) | |
tree | 5335711656af68f48ae8df578061dec68c66bd10 /haddock-api/resources | |
parent | 8344c3b6360b09e99b32c8c5f34f28d3310f9e1a (diff) |
Space out functions more
Also, functions and data decls now have the same space before and after
them.
Diffstat (limited to 'haddock-api/resources')
-rw-r--r-- | haddock-api/resources/html/NewOcean.std-theme/new-ocean.css | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css index 456052f1..92600fd7 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -291,7 +291,7 @@ pre, code, kbd, samp, tt, .src { .caption, h1, h2, h3, h4, h5, h6, summary { font-weight: bold; color: #5E5184; - margin: 2em 0 1em 0; + margin: 1.5em 0 1em 0; } @@ -595,7 +595,7 @@ div#style-menu-holder { /* @group Main Content */ #interface div.top + div.top { - margin-top: 1em; + margin-top: 1.5em; } #interface p + div.top, @@ -711,10 +711,6 @@ div#style-menu-holder { background-color: #f8f8f8; } -.top > .subs:last-of-type { - margin-bottom: 2em; -} - .subs .subs .caption { margin-top: 1em ; margin-bottom: 0px; |