mason: show git SHA1 and timestamp of last completed build

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

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index 635de4c5d881e026ba750f4f8911561e413f1441..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 #d5d5d5;
-    border-radius: 5px;
     padding: 5px;
 }
 
@@ -130,10 +129,8 @@ nav img {
 }
 
 nav input {
-    border-radius: 3px;
-    padding: 3px;
-    margin-top: 0px;
-    margin-bottom: 0px;
+    margin: 0px;
+    margin-top: -2px;
 }
 
 .page nav {