From ac7bc7ce174c34d860c5c7feb6f55c5474307db9 Mon Sep 17 00:00:00 2001
From: Guus Sliepen <guus@tinc-vpn.org>
Date: Sun, 21 Nov 2010 12:02:23 +0100
Subject: [PATCH] Make <pre> text easier to read.

---
 web.css | 36 +++++++++++++++++++++---------------
 1 file changed, 21 insertions(+), 15 deletions(-)

diff --git a/web.css b/web.css
index 832c41a..132aa6e 100644
--- 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 {
-- 
2.20.1