webapps.mason: fix typo

[factor.git] / extra / webapps / wiki / wiki.css

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index ff23e2907a1e356cb682f17dac17996133568020..ead2cba2d24ef0f11806d434ba378c5bc101a914 100644 (file)
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -1,7 +1,6 @@
 input, textarea, select {
     font-size: 12pt;
-    border: 1px solid #dbdbdb;
-    border-radius: 5px;
+    border: 1px solid #d5d5d5;
     padding: 5px;
 }
 
@@ -26,7 +25,7 @@ table.comparison th {
 }
 
 table.comparison th, table.comparison td {
-    border: 1px solid #ccc;
+    border: 1px solid #d5d5d5;
 }
 
 .insert {
@@ -49,7 +48,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 +67,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 +87,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 {
@@ -130,12 +128,17 @@ nav img {
     display: none;
 }
 
+nav input {
+    margin: 0px;
+    margin-top: -2px;
+}
+
 .page nav {
     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;
 }
 
@@ -154,8 +157,8 @@ nav img {
         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;
     }
@@ -186,16 +189,18 @@ nav img {
 
     #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;
     }
 }