LCARStrek/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 /*  border: 1px inset #FF9F00;
  43   margin: 0px 5px 5px 5px; */
  44 }
  45
  46 /* formatting */
  47 .groove-top {
  48   border-top: 2px groove #FF9F00;
  49 }
  50
  51 .groove-right {
  52   border-right: 2px groove #FF9F00;
  53 }
  54
  55 .groove-left {
  56   border-left: 2px groove #FF9F00;
  57 }
  58
  59 .groove-bottom {
  60   border-bottom: 2px groove #FF9F00;;
  61 }
  62
  63 .outset {
  64 /*  border: 1px outset #FF9F00; */
  65 }
  66
  67 /** separator rules **/
  68 /* standard separators */
  69 separator, separator[orient="horizontal"] {
  70   height: 1.5em;
  71 }
  72
  73 separator[orient="vertical"] {
  74   width: 1.5em;
  75 }
  76
  77 /* thinner separators (50% size) */
  78 separator.thin, separator.thin[orient="horizontal"] {
  79   height: 0.5em;
  80 }
  81
  82 separator.thin[orient="vertical"] {
  83   width: 0.5em;
  84 }
  85
  86 /* groove separators (50% size) */
  87 separator.groove,
  88 separator.groove[orient="horizontal"] {
  89   border-top: 2px groove #FF9F00;
  90   height: 0px;
  91   margin-top: 0.4em;
  92   margin-bottom: 0.4em;
  93 }
  94
  95 separator.groove[orient="vertical"] {
  96   border-left: 2px groove #FF9F00;
  97   margin-left: 0.4em;
  98   margin-right: 0.4em;
  99 }
 100
 101 /* groove separators (0 padding, for dividing effects) */
 102 separator.groove-thin {
 103   border-top: 2px groove #FF9F00;
 104   height: 0px;
 105 }
 106
 107 separator[orient="vertical"].groove-thin {
 108   border-left: 2px groove #FF9F00;
 109 }
 110
 111 /** text formatting rules **/
 112 /** Reduced Margin for some UI **/
 113 .small-margin {
 114   margin: 0px 1px;
 115 }
 116
 117 label[disabled="true"] {
 118   color: #8050B0;
 119 }
 120
 121 description, label  {
 122   cursor: default;
 123   margin: 1px 3px;
 124 }
 125
 126 description {
 127 /*  margin: 1px 5px 4px 5px; */
 128 }
 129
 130 label {
 131 /*  margin: 1px 5px 2px 6px; */
 132 }
 133
 134 .header {
 135   font-weight: bold;
 136 }
 137
 138 .larger-text {
 139   font-size: larger;
 140 }
 141
 142 .smaller-text {
 143   font-size: smaller;
 144 }
 145
 146 .monospace {
 147   font-family: monospace;
 148 }
 149
 150 .indent {
 151 /*  margin-left: 23px; */
 152   margin-left: 15px;
 153 }
 154
 155 .box-padded {
 156   padding: 5px;
 157 }
 158
 159 .spaced {
 160   margin: 1px 3px;
 161 }
 162
 163 .wizard-box {
 164   padding: 15px 35px 10px 35px;
 165 }
 166
 167 .caption-text {
 168   margin: 0px 2px 0px 1px !important;
 169 }