From dd10fe48660a24309a03ebbb02d05372a73a5a9d Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 26 Jul 2020 09:57:28 -0400
Subject: local.css: ditto

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

diff --git a/local.css b/local.css
index 542a0191..33bd44c6 100644
--- a/local.css
+++ b/local.css
@@ -13,9 +13,11 @@ video { max-width: 100% }
 
 .muted { color: #666 }
 
+pre { padding: 1em }
 pre, code {
   background-color: #f2f2f2;
   border: 1px solid #e6e6e6;
   border-radius: 4px;
 }
 code { padding: .2em .3em }
+pre > code { border: none; padding: 0 }
-- 
cgit v1.2.3