From 67ad63b499d3abbb47e53317a2caef0614245533 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Mon, 27 Jun 2022 21:15:56 -0700
Subject: [PATCH] help.html: better colors

---
 basis/help/html/html.factor | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index af9c790250..15cf661268 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -137,17 +137,15 @@ M: pathname url-of
     ] re-replace-with
 
     R/ background-color: #f3f2ea;/ [
-        drop "background-color: #f5f5f5;"
+        drop "background-color: #f7f7f7;"
     ] re-replace-with
 
     R/ font-family: monospace;/ [
         " white-space: pre-wrap; line-height: 125%;" append
     ] re-replace-with
 
-    "font-family: monospace;" over subseq? [
-        "background-color:" over subseq?
-    ] [ f ] if [
-        " border: 1px solid #ccc; border-radius: 5px; margin: 15px; width: calc(100% - 30px);" append
+    { "font-family: monospace;" "background-color:" } [ over subseq? ] all? [
+        " border: 1px solid #dbdbdb; border-radius: 5px; margin: 15px; width: calc(100% - 30px);" append
     ] when ;
 
 : fix-help-header ( classes -- classes )
@@ -181,10 +179,10 @@ M: pathname url-of
                         { "#333333;" "#cccccc;" }
                         { "#373e48;" "#ffffff;" }
                         { "#8b4500;" "orange;" }
+                        { "#dbdbdb;" "#444444;" }
                         { "#e3e2db;" "#666666;" }
                         { "white;" "#202124;" }
                         { "black;" "white;" }
-                        { "#ccc;" "#666;" }
                     } ?at [
                         but-last parse-color inverse-color color>hex ";" append
                     ] unless
-- 
2.34.1