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