From 64ec6e29504c4c9645e33a4c70e24f96f5541019 Mon Sep 17 00:00:00 2001
From: Roland Hieber <rohieb@rohieb.name>
Date: Thu, 24 Oct 2013 18:30:53 +0200
Subject: [PATCH 1/1] stylesheet: make pre font size and h2 margin slightly
 smaller

---
 local.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local.css b/local.css
index fcf540b..7b3ee82 100644
--- 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%;
-- 
2.20.1