webapps: better style

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

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index f036c75b4cc4e39717f1f3e7f759c5583f063c9a..2ae4f6328d503b79b9888f274ee218b9859d1733 100644 (file)
--- 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;
     }
 }