stylesheet: make pre font size and h2 margin slightly smaller

diff --git a/local.css b/local.css
index fcf540b..7b3ee82 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,6 +2,7 @@ pre {
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;
+  font-size: 80%;
 }
 
 code {
@@ -10,7 +11,6 @@ code {
 
 h2 {
   margin-bottom: 0em;
-  margin-top: 1.5em;
 }
 h2 a {
        font-size: 140%;