next release will be 2.6.0; document more issues which have been fixed

[debbugs.git] / html / bugs.css

diff --git a/html/bugs.css b/html/bugs.css
index 8e324454f30371c2b97b14d0fd6e432c8c076311..9019b9d8a32d3f21cf1ffdb8970d5bf25bc3e908 100644 (file)
--- a/html/bugs.css
+++ b/html/bugs.css
@@ -99,7 +99,7 @@ a.submitter:hover, a.submitter:visited:hover {
 
 pre.message {
     font-family: monospace;
-    padding-top: 0;
+    padding-top: 8px;
     margin-top: 0;
     border-top: 0;
 }
@@ -130,8 +130,18 @@ div.headers {
     border: #a7a7a7 1px solid;
     background-color: #f0f0f0;
     padding: 2px;
+    overflow: auto;
  }
 
+div.header {
+    font-family: sans-serif;
+    font-size: 95%;
+    color: #3c3c3c;
+    padding: 0px;
+    line-height: 120%;
+    margin: 0px;
+}
+
 div.headers p {
     font-family: sans-serif;
     font-size: 95%;
@@ -145,7 +155,7 @@ div.headers img {
     float: right;
 }
 
-span.header { 
+span.headerfield { 
   font-weight: bold
  };