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;