html/bugs.css

   1 html {
   2     color: #000;
   3     background: #fefefe;
   4     font-family: serif;
   5     margin: 0;
   6     border: 0;
   7     padding: 0;
   8     line-height: 120%;
   9 }
  10
  11 body {
  12     color: #000;
  13     background: #fefefe;
  14     margin: 10px;
  15     border: 0;
  16     padding: 0;
  17 }
  18
  19 h1, h2, h3 {
  20     color: #000;
  21     background: #fefefe;
  22     text-align: left;
  23     font-family: sans-serif;
  24 }
  25
  26 h1 {
  27     font-size: 150%;
  28     line-height: 150%;
  29 }
  30
  31 h2 {
  32     font-size: 130%;
  33 }
  34
  35 h3 {
  36     font-size: 100%;
  37 }
  38
  39 a:link {
  40     color: #1b56ce;
  41     font-weight: bold;
  42 }
  43
  44 a:visited {
  45     color:#1b56ce;
  46 }
  47
  48 a:link:active, a:link:visited {
  49     color:#ff0000;
  50 }
  51
  52 a:link:hover, a:visited:hover {
  53     color: #d81e1e;
  54 }
  55
  56 .link {
  57     color: #1b56ce;
  58     font-weight: bold;
  59     text-decoration: underline;
  60 }
  61
  62 .link abbr {
  63     color: #1b56ce;
  64     font-weight: bold;
  65     text-decoration: underline;
  66 }
  67
  68 .link abbr:hover {
  69     color: #1b56ce;
  70     font-weight: bold;
  71     text-decoration: underline;
  72 }
  73
  74
  75 .link span:hover {
  76     color: #d81e1e;
  77 }
  78
  79
  80 a.submitter:link {
  81     color: #242424;
  82     font-family: sans-serif;
  83     font-size: 95%;
  84     text-decoration: underline;
  85     font-weight: normal;
  86 }
  87
  88 a.submitter:visited, a.submitter:active {
  89     color: #6e6e6e;
  90     font-family: sans-serif;
  91     font-size: 95%;
  92 }
  93
  94 a.submitter:hover, a.submitter:visited:hover {
  95     color: #d01414;
  96     font-family: sans-serif;
  97     font-size: 95%;
  98 }
  99
 100 pre.message {
 101     font-family: monospace;
 102     padding-top: 8px;
 103     margin-top: 0;
 104     border-top: 0;
 105     white-space: pre-wrap;
 106 }
 107
 108 pre.wrapping {
 109     width: 80ch;
 110 }
 111
 112 .sparse li {
 113     padding-top: 1ex;
 114     margin-top: 1ex;
 115     border-top: 1ex;
 116 }
 117
 118 a.bugtitle {
 119     font-weight: bold;
 120     font-size: 110%;
 121 }
 122
 123
 124 pre.headers {
 125     font-family: sans-serif;
 126     font-size: 95%;
 127     color: #3c3c3c;
 128     background-color: #f0f0f0;
 129     padding: 2px;
 130     border: #a7a7a7 1px solid;
 131     line-height: 120%
 132 }
 133
 134 div.headers {
 135     border: #a7a7a7 1px solid;
 136     background-color: #f0f0f0;
 137     padding: 2px;
 138     overflow: auto;
 139  }
 140
 141 div.header {
 142     font-family: sans-serif;
 143     font-size: 95%;
 144     color: #3c3c3c;
 145     padding: 0px;
 146     line-height: 120%;
 147     margin: 0px;
 148 }
 149
 150 div.headers p {
 151     font-family: sans-serif;
 152     font-size: 95%;
 153     color: #3c3c3c;
 154     padding: 0px;
 155     line-height: 120%;
 156     margin: 0px;
 157 }
 158
 159 div.headers img {
 160     float: right;
 161 }
 162
 163 span.headerfield {
 164   font-weight: bold
 165  };
 166
 167 pre.mime {
 168     font-family: monospace;
 169     font-size: 95%;
 170     color: #797979;
 171 }
 172
 173 /* This must be separate from the other CSS to make the showing of
 174    unimportant messages work in bugreport.cgi. */
 175 .infmessage { display: none; }
 176
 177 .infmessage {
 178     font-family: sans-serif;
 179     font-size: 90%;
 180     color: #686868;
 181 }
 182
 183 .msgreceived {
 184     font-family: sans-serif;
 185     font-size: 90%;
 186     color: #686868;
 187 }
 188
 189 .msgreceived p {
 190     width: 120ch;
 191     margin-top: 0px;
 192     margin-bottom: 0px;
 193 }
 194
 195 p.msgreceived {
 196     width: 120ch;
 197     margin-top: 0px;
 198     margin-bottom: 0px;
 199 }
 200
 201 .buginfo p
 202 {
 203   font-family: sans-serif;
 204   font-size: 110%;
 205   margin-bottom: 0px
 206 }
 207
 208 .buginfo p + p
 209 {
 210   margin: 0;
 211   margin-top: 0px;
 212   border: 0;
 213 }
 214
 215
 216 .pkginfo p
 217 { font-family: sans-serif;
 218   font-size: 110%;
 219   margin-bottom: 0px
 220 }
 221
 222 .pkginfo p + p
 223 {
 224   margin: 0;
 225   margin-top: 0px;
 226   padding: 0;
 227   border: 0;
 228 }
 229
 230
 231 .versiongraph
 232 {
 233   float: right
 234
 235 }
 236
 237 pre.tags {
 238     color: #a3a3a3;
 239     font-size: 90%;
 240 }
 241
 242 hr.thin {
 243     color: #a1a1a1;
 244 }
 245
 246 em.severity {
 247     color: #c31212;
 248 }
 249
 250 code, address {
 251     font-family: sans-serif;
 252 }
 253
 254 p {
 255     font-family: sans-serif;
 256     font-size: 95%;
 257 }
 258
 259 h2.outstanding {
 260     font-family: sans-serif;
 261     background-color: #f0f0f0;
 262     color: #3c3c3c;
 263     border: #a7a7a7 1px solid;
 264     padding: 10px;
 265 }
 266
 267 a.options:link, a.options:visited {
 268     font-family: sans-serif;
 269     background-color: #f0f0f0;
 270     color: #3c3c3c;
 271     text-decoration: none;
 272     border-bottom: #3c3c3c 1px dotted;
 273 }
 274
 275 li {
 276     list-style-type: square;
 277 }
 278
 279 .shortbugstatus
 280 {
 281   font-family: sans-serif;
 282
 283   }
 284
 285 .shortbugstatusextra
 286 { font-family: sans-serif;
 287   margin: 5px;
 288   margin-top: 2px;
 289   padding: 5px;
 290   /* display: none; */
 291   /* z-index: 1; */
 292   /* position: absolute; */
 293   left: 120px;
 294   background-color: #ffffff;
 295 /*  border: #000 1px solid; */
 296   position: static;
 297   display: block;
 298   border: 0;
 299   }
 300
 301 .shortbugstatusextra span
 302 { margin: 0;
 303   margin-top: 0px;
 304   padding: 0;
 305   border: 0;
 306   display: inline;
 307   }
 308
 309 #status_mask {
 310     -moz-opacity: 0;
 311     opacity: 0;
 312     filter: alpha(opacity=0);
 313     z-index: 1;
 314     position: absolute;
 315     width: 100%;
 316     height: 100%;
 317     top: 0px;
 318     left: 0px;
 319     display: none;
 320 }
 321
 322 .bugs li {
 323     margin-top: 5px;
 324 }
 325
 326 input {
 327     border: #000 1px solid;
 328     margin: 3px;
 329 }
 330
 331 table.forms {
 332     font-size: 95%;
 333     font-family: sans-serif;
 334     margin-left: 10px;
 335 }
 336
 337 select {
 338     margin: 3px;
 339     border: #000 1px solid;
 340 }
 341