From 22cdec3ed6a4f05d5d6de2e5f9dcf6ab77587326 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Sat, 30 Jan 2016 08:57:56 +0200
Subject: Increase top/bottom margins of pre box

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

diff --git a/pre-box.css b/pre-box.css
index 30334cc..9cb6723 100644
--- a/pre-box.css
+++ b/pre-box.css
@@ -8,5 +8,5 @@ pre
   background-color: rgba(0, 0, 0, 0.05);
   border-radius: 0.2em;
   padding: .8em .4em .8em .4em;
-  margin: .2em -.4em .2em -.4em; /* Use margins of #content. */
+  margin: 2em -.4em 2em -.4em; /* Use margins of #content. */
 }
-- 
cgit v1.1