para.css: Get rid of the old gitweb stuff.

diff --git a/web/para.css b/web/para.css
index 366121476ec4a1d1fa58989481266c68ac905a71..e44452e6dc4cc9a8d1644304adaad7f411a6820e 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -388,44 +388,3 @@ HR { height: 1px;
   font-style: italic;
 }
 
-
-
-/* gitweb */
-div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold;
-       background -color:#000000; }
-div.page_nav { padding:8px; }
-div.page_path { padding:8px; border:solid #d9d8d1; border-width:0px 0px 1px}
-div.page_footer { height:17px; padding:4px 8px; background-color: #000000; }
-div.page_footer_text { float:left; color:#888888; font-style:italic; }
-div.page_body { padding:8px; }
-div.title, a.title {
-        padding:6px 8px;
-        font-weight:bold;
-}
-div.log_body { padding:8px 8px 8px 150px; }
-span.age { position:relative; float:left; width:142px; font-style:italic; }
-div.log_link {
-        padding:0px 8px;
-        font-size:10px; font-family:sans-serif; font-style:normal;
-        position:relative; float:left; width:136px;
-}
-table { padding:8px 4px; }
-th { padding:2px 5px; font-size:12px; text-align:left; }
-td { padding:2px 5px; font-size:12px; vertical-align:top; }
-td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; }
-div.pre { font-family:monospace; font-size:12px; white-space:pre; }
-div.diff_info { font-family:monospace; color:#8888ff; font-style:italic; }
-div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; }
-div.search { margin:4px 8px; position:absolute; top:56px; right:12px }
-a.linenr { color:#999999; text-decoration:none }
-a.rss_logo {
-        float:right; padding:3px 0px; width:35px; line-height:10px;
-        border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
-        color:#ffffff; background-color:#ff6600;
-        font-weight:bold; font-family:sans-serif; font-size:10px;
-        text-align:center; text-decoration:none;
-}
-a.rss_logo:hover { background-color:#ee5500; }
-span.tag {
-        padding:0px 4px; font-size:10px; font-weight:normal;
-