webapps.wiki: only top/bottom margin to zero

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

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