From ae305990c566b5986e634140835d3c27b08c8af3 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 21 Aug 2022 09:03:53 -0700
Subject: [PATCH] webapps: better style

---
 basis/help/html/html.factor           |  4 ++--
 basis/help/html/stylesheet.css        |  6 +++---
 extra/webapps/wiki/wiki.css           | 27 ++++++++++++++-------------
 extra/websites/concatenative/page.css |  5 ++---
 4 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor
index 156e97810a..c0d0677dde 100644
--- a/basis/help/html/html.factor
+++ b/basis/help/html/html.factor
@@ -165,7 +165,7 @@ M: pathname url-of
         "padding: 10px;" "padding: 0px;" replace
         "background-color: #f4efd9;" "background-color: white;" replace
         "}" ?tail drop
-        " border-bottom: 1px dashed #ccc; width: 100%; padding-top: 15px; padding-bottom: 10px; }"
+        " border-bottom: 1px dashed #d5d5d5 width: 100%; padding-top: 15px; padding-bottom: 10px; }"
         append swap pick set-nth {
             ".a a { color: black; font-size: 24pt; line-height: 100%; }"
             ".a * a { color: #2a5db0; font-size: 12pt; }"
@@ -186,7 +186,7 @@ M: pathname url-of
                     >string H{
                         { "#000000;" "#bdc1c6;" }
                         { "#2a5db0;" "#8ab4f8;" }
-                        { "#333333;" "#cccccc;" }
+                        { "#333333;" "#d5d5d5;" }
                         { "#373e48;" "#ffffff;" }
                         { "#8b4500;" "orange;" }
                         { "#e3e2db;" "#444444;" }
diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index cd83ac195f..7fe0ca3900 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -18,7 +18,7 @@ body {
 }
 
 input {
-    border: 1px solid #dbdbdb;
+    border: 1px solid #d5d5d5;
     border-radius: 3px;
     font-size: 1.0em;
 }
@@ -42,7 +42,7 @@ tr:hover {
 }
 
 nav {
-    border-bottom: 1px solid #ccc;
+    border-bottom: 1px solid #d5d5d5;
     background-color: #f5f5f5;
     padding: 10px;
     padding-left: calc(max(50% - 400px, 0px) + 15px);
@@ -71,7 +71,7 @@ nav img {
 
 footer {
     margin-top: 15px;
-    border-top: 1px dashed #ccc;
+    border-top: 1px dashed #d5d5d5;
     color: #666;
     font-size: 10pt;
 }
diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index f036c75b4c..2ae4f6328d 100644
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -1,6 +1,6 @@
 input, textarea, select {
     font-size: 12pt;
-    border: 1px solid #dbdbdb;
+    border: 1px solid #d5d5d5;
     border-radius: 5px;
     padding: 5px;
 }
@@ -26,7 +26,7 @@ table.comparison th {
 }
 
 table.comparison th, table.comparison td {
-    border: 1px solid #ccc;
+    border: 1px solid #d5d5d5;
 }
 
 .insert {
@@ -49,7 +49,7 @@ table.revisions td, table.revisions th {
 }
 
 table.revisions, table.revisions th, table.revisions td {
-    border: 1px solid #ccc;
+    border: 1px solid #d5d5d5;
 }
 
 /* Dark mode */
@@ -68,8 +68,7 @@ table.revisions, table.revisions th, table.revisions td {
 }
 
 .description pre {
-    padding: 5px;
-    border: 1px dashed #ccc;
+    padding: 0.5em;
     background-color: #f5f5f5;
 }
 
@@ -89,7 +88,7 @@ table.revisions, table.revisions th, table.revisions td {
     width: 200px;
     z-index: 99;
     border: none;
-    border-left: 1px dashed #ccc;
+    border-left: 1px solid #d5d5d5;
 }
 
 #right {
@@ -141,8 +140,8 @@ nav input {
     width: calc(100vw - 200px);
     max-width: 800px;
     left: 0;
-    border-top: 1px dashed #ccc;
-    border-bottom: 1px dashed #ccc;
+    border-top: 1px solid #d5d5d5;
+    border-bottom: 1px solid #d5d5d5;
     margin-top: 15px;
 }
 
@@ -161,8 +160,8 @@ nav input {
         top: 0;
         background: #f5f5f5;
         border: none;
-        border-right: 1px solid #ccc;
-        border-bottom: 1px solid #ccc;
+        border-right: 1px solid #d5d5d5;
+        border-bottom: 1px solid #d5d5d5;
         padding-top: 0px;
         box-shadow: 5px 5px 10px #aaa;
     }
@@ -197,16 +196,18 @@ nav input {
 
     #left {
         border: none;
-        border-left: 1px dashed #666;
+        border-left: 1px solid #666;
     }
 
     .description pre {
         color: black;
+        background-color: white;
+        filter: invert(80%);
     }
 
     .page nav {
-        border-top: 1px dashed #666;
-        border-bottom: 1px dashed #666;
+        border-top: 1px solid #666;
+        border-bottom: 1px solid #666;
     }
 }
 
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 4fa5678976..7512004f96 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -54,10 +54,9 @@ a:hover, .link:hover { text-decoration: underline; }
 }
 
 nav {
-    border-bottom: 1px solid #ccc;
+    border-bottom: 1px solid #d5d5d5;
     background-color: #f5f5f5;
-    padding-top: 10px;
-    padding-bottom: 10px;
+    padding: 10px;
     padding-left: calc(max(50% - 500px, 0px) + 15px);
     padding-right: calc(max(50% - 500px, 0px) + 15px);
 }
-- 
2.34.1