Fix gitweb stylesheet
An earlier commit forgot to move some piece from the CGI script
to the external stylesheet.
Signed-off-by: Junio C Hamano <junkio@cox.net>
diff --git a/gitweb/gitweb.css b/gitweb/gitweb.css
index 6b1fd23..bf95e38 100644
--- a/gitweb/gitweb.css
+++ b/gitweb/gitweb.css
@@ -1,3 +1,7 @@
+body {
+ font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px;
+ margin:10px; background-color:#ffffff; color:#000000;
+}
a { color:#0000cc; }
a:hover, a:visited, a:active { color:#880000; }
div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold; background-color:#d9d8d1; }