From 783b54230ea7cc6595c69dd14df24dcb147a473d Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Wed, 14 Mar 2012 01:43:10 +0100
Subject: Add margins around <pre> tags

---
 static/main.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/static/main.css b/static/main.css
index 8a7f2b5..1cc8951 100644
--- a/static/main.css
+++ b/static/main.css
@@ -18,6 +18,10 @@ body {
     font-family: "DejaVu Sans", sans-serif;
 }
 
+pre {
+    margin: 20px 0;
+}
+
 .clear {
     clear: both;
 }
-- 
cgit v1.2.3-54-g00ecf