From 7b6a93e5a5ec65860c57725c7855f1b33689c245 Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Wed, 4 Dec 2019 20:10:03 +0100
Subject: [PATCH] Add a little padding to <pre>.

---
 static/blog.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/static/blog.css b/static/blog.css
index f0e9a52..ee0d3b5 100644
--- a/static/blog.css
+++ b/static/blog.css
@@ -109,6 +109,11 @@ p > code, td > code
     padding: 0.1em;
 }
 
+pre
+{
+    padding: 0.1em;
+}
+
 div.admonitionblock td.icon
 {
     border-color: var(--bg-hover);