skin/formatting.css

   1 /* colors */
   2
   3 .color-dialog
   4   {
   5     background-color      : #000000;
   6     color                 : #FF9F00;
   7   }
   8
   9 .color-window
  10   {
  11     background-color      : #000000;
  12     color                 : #FF9F00;
  13   }
  14
  15 /* inset areas */
  16 .inset
  17   {
  18 /*    border                : 1px inset #FF9F00;
  19     margin                : 0px 5px 5px 5px; */
  20   }
  21
  22 /* formatting */
  23 .groove-top
  24   {
  25     border-top            : 2px groove #FF9F00;
  26   }
  27
  28 .groove-right
  29   {
  30     border-right          : 2px groove #FF9F00;
  31   }
  32
  33 .groove-left
  34   {
  35     border-left           : 2px groove #FF9F00;
  36   }
  37
  38 .groove-bottom
  39   {
  40     border-bottom         : 2px groove #FF9F00;
  41   }
  42
  43 .outset
  44   {
  45 /*    border                : 1px outset #FF9F00; */
  46   }
  47
  48 /** separator rules **/
  49 /* standard separators */
  50   separator, separator[orient="horizontal"]
  51     {
  52       height: 1.5em;
  53     }
  54
  55   separator[orient="vertical"]
  56     {
  57       width: 1.5em;
  58     }
  59
  60 /* thinner separators (50% size) */
  61   separator.thin, separator.thin[orient="horizontal"]
  62     {
  63       height: 0.5em;
  64     }
  65
  66   separator.thin[orient="vertical"]
  67     {
  68       width: 0.5em;
  69     }
  70
  71 /* groove separators (50% size) */
  72   separator.groove,
  73   separator.groove[orient="horizontal"]
  74     {
  75       border-top: 2px groove #FF9F00;
  76       height: 0px;
  77       margin-top: 0.4em;
  78       margin-bottom: 0.4em;
  79     }
  80
  81   separator.groove[orient="vertical"]
  82     {
  83       border-left: 2px groove #FF9F00;
  84       margin-left: 0.4em;
  85       margin-right: 0.4em;
  86     }
  87
  88 /* groove separators (0 padding, for dividing effects) */
  89   separator.groove-thin
  90     {
  91       border-top: 2px groove #FF9F00;
  92       height: 0px;
  93     }
  94
  95   separator[orient="vertical"].groove-thin
  96     {
  97       border-left: 2px groove #FF9F00;
  98     }
  99
 100 /** text formatting rules **/
 101 /* label (with margins) */
 102   text.label
 103     {
 104       margin              : 1px 5px 2px 5px;
 105     }
 106
 107   text[disabled="true"]
 108     {
 109       color                 : #8050B0;
 110     }
 111
 112   html
 113     {
 114       margin              : 1px 5px 4px 5px;
 115       cursor              : default;
 116     }
 117
 118   .header
 119     {
 120       font-weight         : bold;
 121     }
 122
 123   .indent
 124     {
 125       margin-left         : 20px;
 126     }
 127
 128   .icon-dropmarker
 129     {
 130       list-style-image    : url("chrome://global/skin/scroll-down.gif");
 131     }
 132
 133   .box-padded
 134     {
 135       padding             : 5px;
 136     }
 137
 138   .spaced
 139     {
 140       margin              : 3px 5px 4px 5px;
 141     }
 142
 143
 144   .link
 145     {
 146       color               : #FFCF00;
 147       cursor              : pointer;
 148       -moz-user-select    : text;
 149       text-decoration     : underline;
 150     }
 151