doc/webdeveloper/stylesheets/generated/generated_content.css

   1 a
   2 {
   3     border-color: #0000ff !important;
   4     border-style: dotted !important;
   5     border-width: 0 0 1px 0 !important;
   6     color: #0000ff !important;
   7     text-decoration: none !important;
   8 }
   9 a:visited
  10 {
  11     border-color: #660099 !important;
  12     color: #660099 !important;
  13 }
  14 a:focus, a:hover
  15 {
  16     border-color: #ff0000 !important;
  17     border-style: solid !important;
  18     color: #ff0000 !important;
  19 }
  20
  21 a, table.sortable th, .pivot
  22 {
  23     cursor: pointer !important;
  24 }
  25
  26 body
  27 {
  28     margin: 10px !important;
  29 }
  30
  31 body, dl, h2, h3, html, ol, pre, table, td p, #tools li, ul.commands
  32 {
  33     padding: 0 !important;
  34 }
  35
  36 body, html
  37 {
  38     background-color: #ffffff !important;
  39     color: #000000 !important;
  40 }
  41
  42 body, p
  43 {
  44     line-height: 1.5 !important;
  45 }
  46
  47 body, td, th
  48 {
  49     font-family: sans-serif !important;
  50 }
  51
  52 h1
  53 {
  54     background-color: #000000 !important;
  55     background-image: url("chrome://webdeveloper/content/images/logo/large.png") !important;
  56     background-position: 10px 50% !important;
  57     background-repeat: no-repeat !important;
  58     color: #ffffff !important;
  59     font-size: 150% !important;
  60     letter-spacing: 1px !important;
  61     margin: -10px -10px 1em -10px !important;
  62     padding: 1em 1em 1em 50px !important;
  63     word-spacing: 1px !important;
  64 }
  65
  66 h1, h2, th, tr.expanded
  67 {
  68     font-weight: bold !important;
  69 }
  70
  71 h2
  72 {
  73     font-size: 150% !important;
  74 }
  75
  76 h2, h2 a, h2 a:active, h2 a:focus, h2 a:visited, h3, h3 a, h3 a:active, h3 a:focus, h3 a:visited
  77 {
  78     border-color: #000000 !important;
  79     color: #000000 !important;
  80 }
  81
  82 h2, hr, pre
  83 {
  84     margin: 1em 0 !important;
  85 }
  86
  87 h3
  88 {
  89     font-size: 125% !important;
  90     margin: 0.5em 0 0 0 !important;
  91 }
  92
  93 hr
  94 {
  95     background-color: #000000 !important;
  96     border-style: none !important;
  97     color: #000000 !important;
  98     height: 1px !important;
  99 }
 100
 101 html, ul.commands li
 102 {
 103     margin: 0 !important;
 104 }
 105
 106 ol
 107 {
 108     margin: 1em 1em 1em 2.5em !important;
 109 }
 110
 111 p
 112 {
 113     margin: 0 0 0.5em 0 !important;
 114 }
 115
 116 pre
 117 {
 118     font-family: monospace !important;
 119     line-height: 1 !important;
 120 }
 121
 122 table
 123 {
 124     border-collapse: collapse !important;
 125     margin: 0 0 1em 0 !important;
 126     width: 100% !important;
 127 }
 128
 129 td, th
 130 {
 131     border: 1px solid #000000 !important;
 132     text-align: left !important;
 133     vertical-align: top !important;
 134 }
 135
 136 td, th, #tools, p.loading
 137 {
 138     padding: 0.5em !important;
 139 }
 140
 141 th
 142 {
 143     background-color: #000000 !important;
 144     color: #ffffff !important;
 145     min-width: 10em !important;
 146     text-transform: uppercase !important;
 147     white-space: nowrap !important;
 148     width: 10em !important;
 149 }
 150
 151 #tools
 152 {
 153     background-color: #eeeeee !important;
 154     border: 1px solid #cccccc !important;
 155     margin: 0.5em 0 !important;
 156 }
 157
 158 #tools, ul.commands
 159 {
 160     list-style: none !important;
 161 }
 162
 163 #tools li
 164 {
 165     display: inline !important;
 166     margin: 0 1em !important;
 167 }
 168
 169 #tools a
 170 {
 171     padding-left: 15px !important;
 172 }
 173
 174 #tools a, th.sort-ascending, th.sort-descending, ul.commands li, .pivot
 175 {
 176     background-repeat: no-repeat !important;
 177 }
 178
 179 #tools a, ul.commands li
 180 {
 181     background-position: center left !important;
 182 }
 183
 184 #webdeveloper-generated-tool-collapse-all, span.expanded, tr.expanded td.pivot
 185 {
 186     background-image: url(chrome://webdeveloper/content/images/content/expanded.png) !important;
 187 }
 188
 189 #webdeveloper-generated-tool-expand-all, span.collapsed, tr.collapsed td.pivot
 190 {
 191     background-image: url(chrome://webdeveloper/content/images/content/collapsed.png) !important;
 192 }
 193
 194 div.collapsed, tr.hidden
 195 {
 196     display: none !important;
 197 }
 198
 199 p.loading
 200 {
 201     background-color: #ffff99 !important;
 202     border: 2px solid #ffcc66 !important;
 203     float: left !important;
 204     font-size: 150% !important;
 205     font-weight: bold !important;
 206 }
 207
 208 p.loading img
 209 {
 210     margin-right: 0.5em !important;
 211 }
 212
 213 span.pivot
 214 {
 215     margin-right: 10px !important;
 216     padding-left: 10px !important;
 217 }
 218
 219 td.shaded, tr.shaded
 220 {
 221     background-color: #eeeeee !important;
 222 }
 223
 224 th.sort-ascending
 225 {
 226     background-image: url(chrome://webdeveloper/content/images/content/arrow_down.png) !important;
 227 }
 228
 229 th.sort-ascending, th.sort-descending
 230 {
 231     background-position: 95% 50% !important;
 232 }
 233
 234 th.sort-descending
 235 {
 236     background-image: url(chrome://webdeveloper/content/images/content/arrow_up.png) !important;
 237 }
 238
 239 ul.commands
 240 {
 241     margin: 0 0 1em 0 !important;
 242 }
 243
 244 ul.commands li
 245 {
 246     padding: 0.25em 0 0.25em 20px !important;
 247 }
 248
 249 ul.commands li.delete
 250 {
 251     background-image: url(chrome://webdeveloper/content/images/content/delete.png) !important;
 252 }
 253
 254 ul.commands li.edit
 255 {
 256     background-image: url(chrome://webdeveloper/content/images/content/edit.png) !important;
 257 }
 258
 259 .pivot
 260 {
 261     background-position: center center !important;
 262     width: 10px !important;
 263 }
 264
 265 @media print
 266 {
 267     h1
 268     {
 269         background-image: none !important;
 270         padding: 1em !important;
 271     }
 272
 273     h1, th
 274     {
 275         color: #000000 !important;
 276     }
 277
 278     h1, th, td.shaded, tr.shaded
 279     {
 280         background-color: #ffffff !important;
 281     }
 282
 283     #tools, span.pivot
 284     {
 285         display: none !important;
 286     }
 287
 288     div.collapsed
 289     {
 290         display: block !important;
 291     }
 292
 293     tr.hidden
 294     {
 295         display: table-row !important;
 296     }
 297 }