1 files changed, 8 insertions, 0 deletions
diff --git a/doc.css b/doc.css
index fffb9fd..d0a8e65 100644
--- a/doc.css
+++ b/doc.css
@@ -25,6 +25,14 @@ h1
   margin: 1.6em 0 .6em -1.4em;
 }
 
+h2
+{
+  font-weight: normal;
+  font-size: 1.556em;
+  line-height: 1.4em;
+  margin: 1.6em 0 .6em -.8em;
+}
+
 /* Title page */
 
 #titlepage {