first steps on synching EarlyBlue with trunk *stripe (global files starting with...
[themes.git] / EarlyBlue / global / formatting.css
... / ...
CommitLineData
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 */
82separator, separator[orient="horizontal"] {
83 height: 1.5em;
84}
85
86separator[orient="vertical"] {
87 width: 1.5em;
88}
89
90/* thinner separators (50% size) */
91separator.thin, separator.thin[orient="horizontal"] {
92 height: 0.5em;
93}
94
95separator.thin[orient="vertical"] {
96 width: 0.5em;
97}
98
99/* groove separators (50% size) */
100separator.groove,
101separator.groove[orient="horizontal"] {
102 border-top: 2px groove #CCD0DD;
103 height: 0px;
104 margin-top: 0.4em;
105 margin-bottom: 0.4em;
106}
107
108separator.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) */
115separator.groove-thin {
116 border-top: 2px groove #CCD0DD;
117 height: 0px;
118}
119
120separator[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
136label[disabled="true"] {
137 color: #9999CC;
138}
139
140description, label {
141 cursor: default;
142 margin: 1px 3px;
143}
144
145description {
146/* margin: 1px 5px 4px 5px; */
147}
148
149label {
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 outline: 1px dotted invert;
204}
205
206.text-link:hover {
207 cursor: pointer;
208}
209
210.text-link:hover:active {
211 color: red;
212}
213
214.text-link[visited="true"] {
215 color: purple;
216}