# HG changeset patch
# User Steve Kemp <steve@steve.org.uk>
# Date 1197837069 0
# Node ID d9be5fecd7e5947cc11a7ea1a64d7780bee723d4
# Parent  5225c6026410724a6935ee7d3076d24721276d39
  BUGFIX:  Make the sidebar border work correctly.

diff -r 5225c6026410 -r d9be5fecd7e5 themes/default/style.css
--- a/themes/default/style.css	Sun Dec 16 20:29:56 2007 +0000
+++ b/themes/default/style.css	Sun Dec 16 20:31:09 2007 +0000
@@ -6,6 +6,9 @@
 	background-color: white;
 	color: black;
 	margin: 0;
+	margin-right: 185px;
+	border-right: 1px solid rgb(128, 128, 128);
+
 }
 
 div.title {