From 53d8ff2a43f142a95d1a85bc0f1199d91025740b Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Wed, 4 Dec 2019 20:29:31 +0100
Subject: [PATCH] Increase <pre>-padding a bit.

---
 static/blog.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/blog.css b/static/blog.css
index ee0d3b5..9897db9 100644
--- a/static/blog.css
+++ b/static/blog.css
@@ -111,7 +111,7 @@ p > code, td > code
 
 pre
 {
-    padding: 0.1em;
+    padding: 0.2em;
 }
 
 div.admonitionblock td.icon