webapps: tweak monospace padding

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

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index 635de4c5d881e026ba750f4f8911561e413f1441..7c11fdbdb89298e16d73ab6880d10ee3161de4a7 100644 (file)
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -1,8 +1,8 @@
 input, textarea, select {
     font-size: 12pt;
     border: 1px solid #d5d5d5;
-    border-radius: 5px;
-    padding: 5px;
+    border-radius: 3px;
+    padding: 7px;
 }
 
 textarea {
@@ -131,7 +131,7 @@ nav img {
 
 nav input {
     border-radius: 3px;
-    padding: 3px;
+    padding: 7px;
     margin-top: 0px;
     margin-bottom: 0px;
 }