1 files changed, 4 insertions, 1 deletions
diff --git a/util/doc.css b/util/doc.css
index ab653e4e..a868e444 100644
--- a/util/doc.css
+++ b/util/doc.css
@@ -7,12 +7,15 @@
 
 h2 {
   font-family: monospace;
-  margin-bottom: 2em;
   background-color: #b2c9db;
   padding: 7px;
   border-radius: 7px;
 }
 
+div.title {
+  margin-bottom: 2em;
+}
+
 ol {
   list-style: none;
   margin-bottom: 4em;