Make <pre> text easier to read.

diff --git a/web.css b/web.css
index 832c41a..132aa6e 100644 (file)
--- a/web.css
+++ b/web.css
@@ -32,7 +32,6 @@ body {
        border-bottom: 1px solid black;
 }
 
-
 .header {
        display: none;
 }
@@ -106,6 +105,13 @@ th {
        margin-top: 0;
 }
 
+#content pre {
+       padding: 3px 5px;
+       border: 1px black;
+       border-style: dashed;
+       overflow: auto;
+}
+
 #backlinks {
        display: none;
 }
@@ -117,23 +123,23 @@ th {
 }
 
 .feedbutton {
-        background: #ff6600;
-        color: white !important;
-        border-left: 1px solid #cc9966;
-        border-top: 1px solid #ccaa99;
-        border-right: 1px solid #993300;
-        border-bottom: 1px solid #331100;
-        padding: 0px 0.5em 0px 0.5em;
-        font-family: sans-serif;
-        font-weight: bold;
-        font-size: small;
-        text-decoration: none;
-        margin-top: 1em;
+       background: #ff6600;
+       color: white !important;
+       border-left: 1px solid #cc9966;
+       border-top: 1px solid #ccaa99;
+       border-right: 1px solid #993300;
+       border-bottom: 1px solid #331100;
+       padding: 0px 0.5em 0px 0.5em;
+       font-family: sans-serif;
+       font-weight: bold;
+       font-size: small;
+       text-decoration: none;
+       margin-top: 1em;
 }
 
 .feedbutton:hover {
-        color: white !important;
-        background: #ff9900;
+       color: white !important;
+       background: #ff9900;
 }
 
 img {