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