From e1487ea7df75de227b979843727df7bc84a55d14 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 27 Nov 2009 16:47:35 +0000
Subject: [PATCH]

---
 src/root/static/css/nix-common.css | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/src/root/static/css/nix-common.css b/src/root/static/css/nix-common.css
index 640290ea..c24baa4e 100644
--- a/src/root/static/css/nix-common.css
+++ b/src/root/static/css/nix-common.css
@@ -61,9 +61,25 @@ a:hover, a:visited:hover {
 
 a:link { color: #0048b3; }
 a:visited { color: #002a6a; }
-a:hover { background: #ffffcd; }
 a.no-hover:hover { background: none; }
 
 img {
     border-style: none;
 }
+
+li {
+    margin-top: 0.5em;
+    margin-bottom: 0.5em;
+}
+
+pre {
+    margin-left: 1.5em;
+    margin-right: 1.5em;
+}
+
+pre.code {
+    border: 1px solid #6185a0;
+    padding: 6px 6px;
+    color: #600000;
+    background: #f4f4f8;
+}