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 <redacted>

diff --git a/gitweb.css b/gitweb.css
index 25310c134f06fb41787b7703573341695b4efff1b16d6b32c96e0ab6d23de3d4..9ef98cab46104ca56214cfa8a4a84ed8b64651bbf49de4ba85f19bcf7574764c 100644 (file)
--- a/gitweb.css
+++ b/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; }