doc/webdeveloper/options/options.css

   1 @import url("chrome://global/skin/");
   2 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
   3
   4 hbox > label
   5 {
   6     margin-left: 0 !important;
   7 }
   8
   9 #webdeveloper-options-dialog
  10 {
  11     height: 40em !important;
  12     width: 60em !important;
  13 }
  14
  15 #webdeveloper-options-page-list
  16 {
  17     width: 11em !important;
  18 }
  19
  20 #webdeveloper-options-page-list listitem
  21 {
  22     padding: 0.25em !important;
  23 }
  24
  25 spacer.large-spacer
  26 {
  27     width: 20px !important;
  28 }
  29
  30 spacer.small-spacer
  31 {
  32     width: 10px !important;
  33 }
  34
  35 .indent
  36 {
  37     margin-left: 25px !important;
  38 }
  39
  40 .scroll
  41 {
  42     height: 25em !important;
  43         overflow: auto !important;
  44 }