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