Index: wp-trac.css
===================================================================
--- wp-trac.css	(revision 76)
+++ wp-trac.css	(working copy)
@@ -9,6 +9,11 @@
 	/* a second #content is sometimes printed outside of #main, like when doing blame */
 	font-size: 14px;
 }
+
+#content {
+	width: 940px; /* The width of the content area is smaller for proper padding. */
+}
+
 #main {
 	clear: both;
 }
@@ -147,7 +152,7 @@
 	margin: 0 auto;
 }
 #banner, #ctxtnav {
-	width: 930px;
+	width: 940px;
 }
 #content.report {
 	max-width: 98%;
@@ -426,6 +431,7 @@
 	border-radius: 0;
 }
 #mainnav ul {
+	margin-left: 15px;
 	float: left;
 	font-size: 11px;
 }
@@ -441,7 +447,6 @@
 #mainnav :link, #mainnav :visited {
 	background: none;
 	border-right: none;
-	border-left: 1px solid #ccc;
 	color: #000;
 	display: block;
 	padding: 4px 20px 3px;