allow specifying the dist in source_to_binary (for DB actions)

[debbugs.git] / html / bugs.css

diff --git a/html/bugs.css b/html/bugs.css
index 2a320f4b406620af184fe3a7ae2e8677e37a76ef..7bddb101ded04d265c34427a374ebf0f96c4d53a 100644 (file)
--- a/html/bugs.css
+++ b/html/bugs.css
@@ -9,12 +9,16 @@ html {
 }
 
 body {
+    color: #000; 
+    background: #fefefe;
     margin: 10px;
     border: 0;
     padding: 0;
 }
 
 h1, h2, h3 {
+    color: #000; 
+    background: #fefefe;
     text-align: left; 
     font-family: sans-serif;
 }
@@ -49,25 +53,12 @@ a:link:hover, a:visited:hover {
     color: #d81e1e;
 }
 
-.link {
-    color: #1b56ce;
-    font-weight: bold;
-    text-decoration: underline;
-}
-
-.link abbr {
+.link, .link abbr, .link abbr:hover {
     color: #1b56ce;
     font-weight: bold;
     text-decoration: underline;
 }
 
-.link abbr:hover {
-    color: #1b56ce;
-    font-weight: bold;
-    text-decoration: underline;
-}
-
-
 .link span:hover {
     color: #d81e1e;
 }
@@ -95,9 +86,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 {
@@ -122,6 +118,30 @@ pre.headers {
     line-height: 120%
 }
 
+div.headers { 
+    border: #a7a7a7 1px solid;
+    background-color: #f0f0f0;
+    padding: 2px;
+    overflow: auto;
+ }
+
+div.header, div.headers p {
+    font-family: sans-serif;
+    font-size: 95%;
+    color: #3c3c3c;
+    padding: 0px;
+    line-height: 120%;
+    margin: 0px;
+}
+
+div.headers img {  
+    float: right;
+}
+
+span.headerfield { 
+  font-weight: bold
+ };
+
 pre.mime {
     font-family: monospace;
     font-size: 95%;
@@ -144,6 +164,13 @@ pre.mime {
     color: #686868;
 }
 
+.msgreceived p, p.msgreceived {
+    width: 120ch;
+    margin-top: 0px;
+    margin-bottom: 0px;
+}
+
+
 .buginfo p
 { 
   font-family: sans-serif;
@@ -252,6 +279,19 @@ li {
   display: inline;
   }
 
+#status_mask {
+    -moz-opacity: 0;
+    opacity: 0;
+    filter: alpha(opacity=0);
+    z-index: 1;
+    position: absolute;
+    width: 100%;
+    height: 100%;
+    top: 0px;
+    left: 0px;
+    display: none;
+}
+
 .bugs li {
     margin-top: 5px;
 }