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;
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;

+  font-size: 80%;

 }
 
 code {
 }
 
 code {


@@ -10,7 +11,6 @@ code {
 
 h2 {
   margin-bottom: 0em;
 
 h2 {
   margin-bottom: 0em;

-  margin-top: 1.5em;

 }
 h2 a {
        font-size: 140%;
 }
 h2 a {
        font-size: 140%;