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