web: Avoid gray area on gitweb page.

Removing this section makes it go away.

diff --git a/web/para.css b/web/para.css
index 27e7519753b038b5d2e1bc1474e8b81a7237c024..2207d6148371defedcfb23520482444ab0fddd7f 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -354,15 +354,6 @@ div.page_body {
        font-size: 150%;
 }
 
-div.title {
-       display: block;
-       padding: 6px 8px;
-       font-weight: bold;
-       background-color: #555555;
-       text-decoration: none;
-       color: white;
-}
-
 a.title:hover {
        background-color: #AA3100;
 }