webapps: tweak styles

diff --git a/extra/webapps/pastebin/pastebin.css b/extra/webapps/pastebin/pastebin.css
index 941303f916d2d53660d2842108236f43c189f9dc..f9e75c921af46c40cbbc2b3711c763d4f2244ded 100644 (file)
--- a/extra/webapps/pastebin/pastebin.css
+++ b/extra/webapps/pastebin/pastebin.css
@@ -1,8 +1,7 @@
 input, textarea, select {
     font-size: 12pt;
     border: 1px solid #dbdbdb;
-    border-radius: 3px;
-    padding: 7px;
+    padding: 5px;
 }
 
 textarea {
@@ -11,9 +10,8 @@ textarea {
 
 pre.code {
     border: 1px solid #dbdbdb;
-    border-radius: 3px;
     background-color: #f7f7f7;
-    padding: 7px;
+    padding: 5px;
     color: black;
 }
 

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

diff --git a/extra/websites/factorcode/master.css b/extra/websites/factorcode/master.css
index b76abe12eb2e7d9a41870e8009de57300c92fba1..79b3f4269e878bc595b913b724d25e417d84cbef 100644 (file)
--- a/extra/websites/factorcode/master.css
+++ b/extra/websites/factorcode/master.css
@@ -31,8 +31,7 @@ img {
 pre {
     background-color: #f7f7f7;
     border: 1px solid #dbdbdb;
-    border-radius: 3px;
-    padding: 7px;
+    padding: 5px;
     margin-top: 10px;
     font-size: smaller;
     width: 100%;