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 .buginfo p
 190 {
 191   font-family: sans-serif;
 192   font-size: 110%;
 193   margin-bottom: 0px
 194 }
 195
 196 .buginfo p + p
 197 {
 198   margin: 0;
 199   margin-top: 0px;
 200   border: 0;
 201 }
 202
 203
 204 .pkginfo p
 205 { font-family: sans-serif;
 206   font-size: 110%;
 207   margin-bottom: 0px
 208 }
 209
 210 .pkginfo p + p
 211 {
 212   margin: 0;
 213   margin-top: 0px;
 214   padding: 0;
 215   border: 0;
 216 }
 217
 218
 219 .versiongraph
 220 {
 221   float: right
 222
 223 }
 224
 225 pre.tags {
 226     color: #a3a3a3;
 227     font-size: 90%;
 228 }
 229
 230 hr.thin {
 231     color: #a1a1a1;
 232 }
 233
 234 em.severity {
 235     color: #c31212;
 236 }
 237
 238 code, address {
 239     font-family: sans-serif;
 240 }
 241
 242 p {
 243     font-family: sans-serif;
 244     font-size: 95%;
 245 }
 246
 247 h2.outstanding {
 248     font-family: sans-serif;
 249     background-color: #f0f0f0;
 250     color: #3c3c3c;
 251     border: #a7a7a7 1px solid;
 252     padding: 10px;
 253 }
 254
 255 a.options:link, a.options:visited {
 256     font-family: sans-serif;
 257     background-color: #f0f0f0;
 258     color: #3c3c3c;
 259     text-decoration: none;
 260     border-bottom: #3c3c3c 1px dotted;
 261 }
 262
 263 li {
 264     list-style-type: square;
 265 }
 266
 267 .shortbugstatus
 268 {
 269   font-family: sans-serif;
 270
 271   }
 272
 273 .shortbugstatusextra
 274 { font-family: sans-serif;
 275   margin: 5px;
 276   margin-top: 2px;
 277   padding: 5px;
 278   /* display: none; */
 279   /* z-index: 1; */
 280   /* position: absolute; */
 281   left: 120px;
 282   background-color: #ffffff;
 283 /*  border: #000 1px solid; */
 284   position: static;
 285   display: block;
 286   border: 0;
 287   }
 288
 289 .shortbugstatusextra span
 290 { margin: 0;
 291   margin-top: 0px;
 292   padding: 0;
 293   border: 0;
 294   display: inline;
 295   }
 296
 297 #status_mask {
 298     -moz-opacity: 0;
 299     opacity: 0;
 300     filter: alpha(opacity=0);
 301     z-index: 1;
 302     position: absolute;
 303     width: 100%;
 304     height: 100%;
 305     top: 0px;
 306     left: 0px;
 307     display: none;
 308 }
 309
 310 .bugs li {
 311     margin-top: 5px;
 312 }
 313
 314 input {
 315     border: #000 1px solid;
 316     margin: 3px;
 317 }
 318
 319 table.forms {
 320     font-size: 95%;
 321     font-family: sans-serif;
 322     margin-left: 10px;
 323 }
 324
 325 select {
 326     margin: 3px;
 327     border: #000 1px solid;
 328 }
 329