From d1e98c0ecf0d812face14176c96ce1ca58f54769 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Sat, 7 Mar 2009 21:53:55 +0000
Subject: [PATCH] Make sidebar borders more light, and remove a superfluous
 double-border.

---
 pub/style/style.css | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/pub/style/style.css b/pub/style/style.css
index 7845268..21ba57c 100644
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -104,11 +104,10 @@ body {
   width: 16em;
   float: left;
   clear: left;
-  border-right: 1px solid rgb(153,153,153);
 }
 
 #side-bar div {
-  border-bottom: 1px solid rgb(153,153,153);
+  border-bottom: 1px solid #eee;
 }
 
 .sideBarTitle {
@@ -194,7 +193,7 @@ li ul {
   line-height: 1.5em;
   margin: 0em 0 0 16em;
   padding: 0.5mm 5mm 5mm 5mm;
-  border-left: 1px solid rgb(153,153,153);
+  border-left: 1px solid #eee;
 }
 
 #bodyText {
@@ -316,7 +315,7 @@ hr {
 }
 
 acronym, .titleTip {
-  border-bottom: 1px dotted rgb(153,153,153);
+  border-bottom: 1px solid #eee;
   cursor: help;
   margin: 0;
   padding: 0 0 0.4px 0;