html {
color: #000;
background: #fefefe;
- font-family: serif;
+ font-family: sans-serif;
margin: 0;
border: 0;
padding: 0;
border-top: 1ex;
}
-a.bugtitle {
+/* debbugs install header */
+
+div.debbugs_install {
+ font-size: 80%;
+ margin: 0px;
+ padding: 0px;
+ border: solid 1px;
+ background: #eee;
+}
+
+/* bugreport bug title */
+
+h1.bug_title {
+ padding: 0px;
+ margin: 0px;
+ border: solid;
+}
+
+a.bug_title {
font-weight: bold;
font-size: 110%;
}
margin-bottom: 0px;
}
+/* bug info CSS; this is the CSS which displays the per-bug information on each
+ of the bugreport.cgi pages */
-.buginfo p
+.buginfo
{
font-family: sans-serif;
font-size: 110%;
margin-bottom: 0px
}
+.buginfo ul {
+ padding: 0;
+ margin: 0;
+}
+
+.buginfo li {
+ list-style-type: none;
+ display: table-row;
+}
+
+.buginfo .value {
+ display: table-cell;
+ padding-left: 2px;
+}
+
+.buginfo .key {
+ display: table-cell;
+ padding-right: 2px;
+ border-right: 2px solid;
+ padding-left: auto;
+}
.buginfo p + p
{
margin: 0;
}
-.versiongraph
+div.versiongraph
{
- float: right
-
+ float: right;
}
pre.tags {
border-bottom: #3c3c3c 1px dotted;
}
-li {
- list-style-type: square;
-}
+/* li { */
+/* list-style-type: square; */
+/* } */
.shortbugstatus
{