Fix + increase spacing

diff --git a/html/main.css b/html/main.css
index c58d5eb541ebf14f5f076e0685eb839e05c07b43..34981018bbbb3a8aa285339811fb3518d7e35f18 100644 (file)
--- a/html/main.css
+++ b/html/main.css
@@ -66,12 +66,12 @@ body {
 }
 
 .document h1 {
-    margin-top: 1em;
-    margin-bottom: 0.5em;
+    margin-top: 1.2em;
+    margin-bottom: .8em;
 }
 
 .document h2 , .document h3 {
-       margin-top: .5 em;
+       margin-top: .8em;
        margin-bottom: .3em;
 }