webapps: tweak monospace padding

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

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;
 }

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