Re: [PATCH] Move gitweb style to gitweb.css

Jakub Narebski [off-list ref] writes:

Move gitweb style from embedded <style> element in gitweb/gitweb.cgi
to external CSS file gitweb/gitweb.css.

---
External CSS file can be downloaded only once and cached.

That's good, but I'm wondering if you dropped this deliberately
or it was just an accident.

-body {
-	font-family: sans-serif; font-size: 12px; border:solid #d9d8d1; border-width:1px;
-	margin:10px; background-color:#ffffff; color:#000000;
-}