From a3bd5c97c125b7102b769bcf62f07e0f612cb63e Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Sun, 26 Jul 2020 10:12:51 -0400
Subject: edit: slightly lighter background-color

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

diff --git a/local.css b/local.css
index 7c4c1985..31524b81 100644
--- a/local.css
+++ b/local.css
@@ -15,7 +15,7 @@ video { max-width: 100% }
 
 pre { padding: 1em }
 pre, code {
-  background-color: #f4f4f4;
+  background-color: #f8f8f8;
   border: 1px solid #e6e6e6;
   border-radius: 4px;
 }
-- 
cgit v1.2.3