diff --git a/doc/all.css b/doc/all.css
index a985d8ffbc6..f8f8c653fed 100644
--- a/doc/all.css
+++ b/doc/all.css
@@ -135,7 +135,6 @@ h1#title {
   clear: both;
 }
 #content h1 {
-  margin-bottom: -0em;
   padding: 0;
 }
 #content h2 {