webapps.wiki: adding search bar

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

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index ff23e2907a1e356cb682f17dac17996133568020..4b88a427c2d5c63c304d0c763d6b0660a72d8629 100644 (file)
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -130,6 +130,11 @@ nav img {
     display: none;
 }
 
+nav input {
+    border-radius: 3px;
+    padding: 3px;
+}
+
 .page nav {
     width: calc(100vw - 200px);
     max-width: 800px;
@@ -184,6 +189,10 @@ nav img {
         filter: invert(80%);
     }
 
+    nav input {
+        font-size: smaller;
+    }
+
     #left {
         border: none;
         border-left: 1px dashed #666;