EarlyBlue/global/formatting.css

   1 /* ***** BEGIN LICENSE BLOCK *****
   2  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
   3  *
   4  * The contents of this file are subject to the Mozilla Public License Version
   5  * 1.1 (the "License"); you may not use this file except in compliance with
   6  * the License. You may obtain a copy of the License at
   7  * http://www.mozilla.org/MPL/
   8  *
   9  * Software distributed under the License is distributed on an "AS IS" basis,
  10  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
  11  * for the specific language governing rights and limitations under the
  12  * License.
  13  *
  14  * The Original Code is "Classic" theme of mozilla.org code.
  15  *
  16  * The Initial Developer of the Original Code is
  17  * the Mozilla Organization.
  18  * Portions created by the Initial Developer are Copyright (C) 1998-2001
  19  * the Initial Developer. All Rights Reserved.
  20  *
  21  * Contributor(s):
  22  *   Robert Kaiser <KaiRo@KaiRo.at>
  23  *
  24  * Alternatively, the contents of this file may be used under the terms of
  25  * either the GNU General Public License Version 2 or later (the "GPL"), or
  26  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
  27  * in which case the provisions of the GPL or the LGPL are applicable instead
  28  * of those above. If you wish to allow use of your version of this file only
  29  * under the terms of either the GPL or the LGPL, and not to allow others to
  30  * use your version of this file under the terms of the MPL, indicate your
  31  * decision by deleting the provisions above and replace them with the notice
  32  * and other provisions required by the GPL or the LGPL. If you do not delete
  33  * the provisions above, a recipient may use your version of this file under
  34  * the terms of any one of the MPL, the GPL or the LGPL.
  35  *
  36  * ***** END LICENSE BLOCK ***** */
  37
  38 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
  39
  40 /* inset areas */
  41 .inset
  42   {
  43     border                : 1px inset #CCD0DD;
  44     margin                : 0px 5px 5px 5px;
  45   }
  46
  47 /* formatting */
  48 .groove-top
  49   {
  50     border-top            : 2px groove #CCD0DD;
  51   }
  52
  53 .groove-right
  54   {
  55     border-right          : 2px groove #CCD0DD;
  56   }
  57
  58 .groove-left
  59   {
  60     border-left           : 2px groove #CCD0DD;
  61   }
  62
  63 .groove-bottom
  64   {
  65     border-bottom         : 2px groove #CCD0DD;
  66   }
  67
  68 .outset
  69   {
  70     border                : 1px outset #CCD0DD;
  71   }
  72
  73 /** separator rules **/
  74 /* standard separators */
  75   separator, separator[orient="horizontal"]
  76     {
  77       height: 1.5em;
  78     }
  79
  80   separator[orient="vertical"]
  81     {
  82       width: 1.5em;
  83     }
  84
  85 /* thinner separators (50% size) */
  86   separator.thin, separator.thin[orient="horizontal"]
  87     {
  88       height: 0.5em;
  89     }
  90
  91   separator.thin[orient="vertical"]
  92     {
  93       width: 0.5em;
  94     }
  95
  96 /* groove separators (50% size) */
  97   separator.groove,
  98   separator.groove[orient="horizontal"]
  99     {
 100       border-top: 2px groove #CCD0DD;
 101       height: 0px;
 102       margin-top: 0.4em;
 103       margin-bottom: 0.4em;
 104     }
 105
 106   separator.groove[orient="vertical"]
 107     {
 108       border-left: 2px groove #CCD0DD;
 109       margin-left: 0.4em;
 110       margin-right: 0.4em;
 111     }
 112
 113 /* groove separators (0 padding, for dividing effects) */
 114   separator.groove-thin
 115     {
 116       border-top: 2px groove #CCD0DD;
 117       height: 0px;
 118     }
 119
 120   separator[orient="vertical"].groove-thin
 121     {
 122       border-left: 2px groove #CCCCCC;
 123     }
 124
 125 /** text formatting rules **/
 126 /** Reduced Margin for some UI **/
 127   .small-margin
 128     {
 129 /*      margin              : 1px 2px 1px 2px; */
 130     }
 131
 132   label[disabled="true"]
 133     {
 134       color               : #9999CC;
 135     }
 136
 137   description, label
 138     {
 139       cursor              : default;
 140     }
 141
 142   description
 143     {
 144 /*      margin              : 1px 5px 4px 5px; */
 145     }
 146
 147   label
 148     {
 149 /*      margin              : 1px 5px 2px 6px; */
 150     }
 151
 152   .header
 153     {
 154       font-weight         : bold;
 155     }
 156
 157   .larger-text
 158     {
 159       font-size           : larger;
 160     }
 161
 162   .smaller-text
 163     {
 164       font-size           : smaller;
 165     }
 166
 167   .monospace
 168     {
 169       font-family         : monospace;
 170     }
 171
 172   .indent
 173     {
 174       margin-left         : 23px;
 175     }
 176
 177   .box-padded
 178     {
 179       padding             : 5px;
 180     }
 181
 182   .spaced
 183     {
 184       margin              : 3px 5px 4px 5px;
 185     }
 186
 187   .wizard-box
 188     {
 189       padding             : 20px 44px 10px 44px;
 190     }
 191
 192   .caption-text
 193     {
 194       margin: 0px 2px 0px 1px !important;
 195     }
 196