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
  42 .inset {
  43   border: 1px inset #CCD0DD;
  44   margin: 0px 5px 5px 5px;
  45 }
  46
  47 .box-inset {
  48   margin: 2px 4px;
  49   border: 1px inset #CCD0DD;
  50   background-color: #FFFFFF;
  51   color: #000000;
  52 }
  53
  54 /* formatting */
  55 .groove-top {
  56   border-top: 2px groove #CCD0DD;
  57 }
  58
  59 .groove-right {
  60   border-right: 2px groove #CCD0DD;
  61 }
  62
  63 .groove-left {
  64   border-left: 2px groove #CCD0DD;
  65 }
  66
  67 .groove-bottom {
  68   border-bottom: 2px groove #CCD0DD;
  69 }
  70
  71 .outset {
  72   border: 1px outset #CCD0DD;
  73 }
  74
  75 .outset-top-bottom {
  76   border-top: 1px outset #CCD0DD;
  77   border-bottom: 1px outset #CCD0DD;
  78 }
  79
  80 /** separator rules **/
  81 /* standard separators */
  82 separator, separator[orient="horizontal"] {
  83   height: 1.5em;
  84 }
  85
  86 separator[orient="vertical"] {
  87   width: 1.5em;
  88 }
  89
  90 /* thinner separators (50% size) */
  91 separator.thin, separator.thin[orient="horizontal"] {
  92   height: 0.5em;
  93 }
  94
  95 separator.thin[orient="vertical"] {
  96   width: 0.5em;
  97 }
  98
  99 /* groove separators (50% size) */
 100 separator.groove,
 101 separator.groove[orient="horizontal"] {
 102   border-top: 2px groove #CCD0DD;
 103   height: 0px;
 104   margin-top: 0.4em;
 105   margin-bottom: 0.4em;
 106 }
 107
 108 separator.groove[orient="vertical"] {
 109   border-left: 2px groove #CCD0DD;
 110   margin-left: 0.4em;
 111   margin-right: 0.4em;
 112 }
 113
 114 /* groove separators (0 padding, for dividing effects) */
 115 separator.groove-thin {
 116   border-top: 2px groove #CCD0DD;
 117   height: 0px;
 118 }
 119
 120 separator[orient="vertical"].groove-thin {
 121   border-left: 2px groove #CCCCCC;
 122 }
 123
 124 /** text formatting rules **/
 125 /** Reduced Margin for some UI **/
 126 .small-margin {
 127   margin: 0px 1px;
 128 }
 129
 130 .plain {
 131   margin: 0px !important;
 132   border: none;
 133   padding: 0px;
 134 }
 135
 136 label[disabled="true"] {
 137   color: #9999CC;
 138 }
 139
 140 description, label {
 141   cursor: default;
 142   margin: 1px 3px;
 143 }
 144
 145 description {
 146 /*  margin: 1px 5px 4px 5px; */
 147 }
 148
 149 label {
 150 /*
 151   margin-top: 1px;
 152   margin-bottom: 2px;
 153   -moz-margin-start: 6px;
 154   -moz-margin-end: 5px;
 155 */
 156 }
 157
 158 .header {
 159   font-weight: bold;
 160 }
 161
 162 .larger-text {
 163   font-size: larger;
 164 }
 165
 166 .smaller-text {
 167   font-size: smaller;
 168 }
 169
 170 .monospace {
 171   font-family: monospace;
 172 }
 173
 174 .indent {
 175 /*  margin-left: 23px; */
 176   margin-left: 15px;
 177 }
 178
 179 .box-padded  {
 180   padding: 5px;
 181 }
 182
 183 .spaced {
 184   margin: 1px 3px;
 185 }
 186
 187 .wizard-box {
 188   padding: 15px 35px 10px 35px;
 189 }
 190
 191 .caption-text {
 192   margin: 0px 2px 0px 1px !important;
 193 }
 194
 195 /* class for text with a 'link' appearance */
 196 .text-link {
 197   color: blue;
 198   text-decoration: underline;
 199 }
 200
 201 .text-link:focus {
 202   color: red;
 203   /* Don't specify the outline-color, we should always use initial value. */
 204   outline: 1px dotted;
 205 }
 206
 207 .text-link:hover {
 208   cursor: pointer;
 209 }
 210
 211 .text-link:hover:active {
 212   color: red;
 213 }
 214
 215 .text-link[visited="true"] {
 216   color: purple;
 217 }