aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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;