Fix default user for usertags

[debbugs.git] / html / bugs.css

diff --git a/html/bugs.css b/html/bugs.css
index 9019b9d8a32d3f21cf1ffdb8970d5bf25bc3e908..6ef12d6d2acd4bfb0dac4f45d687ddfd40b1c706 100644 (file)
--- a/html/bugs.css
+++ b/html/bugs.css
@@ -102,6 +102,11 @@ pre.message {
     padding-top: 8px;
     margin-top: 0;
     border-top: 0;
+    white-space: pre-wrap;
+}
+
+pre.wrapping {
+    width: 80ch;
 }
 
 .sparse li {
@@ -165,6 +170,11 @@ pre.mime {
     color: #797979;
 }
 
+/* Show info messages when uselessmessages is checked */
+#uselessmessages:checked ~ .infmessage {
+    display: block;
+}
+
 /* This must be separate from the other CSS to make the showing of
    unimportant messages work in bugreport.cgi. */ 
 .infmessage { display: none; }
@@ -181,6 +191,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;