From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 28 Jun 2022 04:16:25 +0000 (-0700)
Subject: websites.factorcode: better colors
X-Git-Tag: 0.99~1343
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=270cfdcefd85049c9dd961a28236a53a9f9aa762

websites.factorcode: better colors
---

diff --git a/extra/websites/factorcode/master.css b/extra/websites/factorcode/master.css
index 9e5b2b0bb2..72e82222c8 100644
--- a/extra/websites/factorcode/master.css
+++ b/extra/websites/factorcode/master.css
@@ -29,8 +29,8 @@ img {
 }
 
 pre {
-    background-color: #f5f5f5;
-    border: 1px solid #ccc;
+    background-color: #f7f7f7;
+    border: 1px solid #dbdbdb;
     border-radius: 5px;
     margin-top: 10px;
     padding: 10px;