From 0a70a6a8b5a2bce1cb3d231991e66bb8bb682d99 Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 26 Jul 2020 09:50:00 -0400
Subject: local.css: improve styling of code and pre tags a bit

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

diff --git a/local.css b/local.css
index 7ae8f4e3..542a0191 100644
--- a/local.css
+++ b/local.css
@@ -12,3 +12,10 @@ video { max-width: 100% }
 .pagelicense p { margin-top: 0 }
 
 .muted { color: #666 }
+
+pre, code {
+  background-color: #f2f2f2;
+  border: 1px solid #e6e6e6;
+  border-radius: 4px;
+}
+code { padding: .2em .3em }
-- 
cgit v1.2.3