document the synopsis slightly better

[debbugs.git] / html / bugs.css

diff --git a/html/bugs.css b/html/bugs.css
index 8e324454f30371c2b97b14d0fd6e432c8c076311..1fb01986dae2e2565acb8571555cb896204cb5a0 100644 (file)
--- a/html/bugs.css
+++ b/html/bugs.css
@@ -99,9 +99,14 @@ a.submitter:hover, a.submitter:visited:hover {
 
 pre.message {
     font-family: monospace;
-    padding-top: 0;
+    padding-top: 8px;
     margin-top: 0;
     border-top: 0;
+    white-space: pre-wrap;
+}
+
+pre.wrapping {
+    width: 80ch;
 }
 
 .sparse li {
@@ -130,8 +135,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 +160,7 @@ div.headers img {
     float: right;
 }
 
-span.header { 
+span.headerfield { 
   font-weight: bold
  };
 
@@ -171,6 +186,18 @@ pre.mime {
     color: #686868;
 }
 
+.msgreceived p {
+    width: 120ch;
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
+p.msgreceived {
+    width: 120ch;
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
 .buginfo p
 { 
   font-family: sans-serif;