Index: wordpress.org/public_html/style/trac/wp-trac.css
===================================================================
--- wordpress.org/public_html/style/trac/wp-trac.css	(revision 11674)
+++ wordpress.org/public_html/style/trac/wp-trac.css	(working copy)
@@ -2486,6 +2486,9 @@
 	#github-prs li {
 		display: block;
 	}
+	#mainnav {
+		padding: 0 6px;
+	}
 }
 
 /* Trac oEmbed rules */