Tweak margins of non-header elements

Author: thomasspriggs

src/cbmc_style.css

@@ -24,3 +24,7 @@ h3 {
 	font-size: 1.1em;
 	margin: 0.3em 0;
 }
+
+p, div, ul, ol {
+	margin: 0.15em 0em 0.15em 0.5em;
+}