aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2018-11-08 19:39:29 -0800
committerAlec Theriault <alec.theriault@gmail.com>2018-11-08 19:44:17 -0800
commit63abb6c197ae513eac6d171c589b129feb004413 (patch)
tree5335711656af68f48ae8df578061dec68c66bd10 /haddock-api/resources
parent8344c3b6360b09e99b32c8c5f34f28d3310f9e1a (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.css8
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;