webapps: better style
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 21 Aug 2022 16:03:53 +0000 (09:03 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 21 Aug 2022 16:04:20 +0000 (09:04 -0700)
basis/help/html/html.factor
basis/help/html/stylesheet.css
extra/webapps/wiki/wiki.css
extra/websites/concatenative/page.css

index 156e97810a4e304a66e03a4c276bff05fd623168..c0d0677ddeb51946d2a5fe771b99f9be2a42c56f 100644 (file)
@@ -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;" }
index cd83ac195f26f881e49aef71a15a4bb64788386d..7fe0ca3900585178c1219be37cbd0ab7ea5e1b01 100644 (file)
@@ -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;
 }
index f036c75b4cc4e39717f1f3e7f759c5583f063c9a..2ae4f6328d503b79b9888f274ee218b9859d1733 100644 (file)
@@ -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;
     }
 }
 
index 4fa5678976a102741d94cff1c0ec7eead98a93e8..7512004f96a63adc6d017b9046ee1ba6137504cd 100644 (file)
@@ -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);
 }