Mozilla Cross-Reference mozilla
mozilla/ themes/ classic/ global/ mac/ formatting.css
CVS Log
CVS Blame
CVS Graph
Diff file
Raw file
changes to
this file in
the last:
day
week
month
view using tree:
1 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
2 
3 /* inset areas */
4 
5 .inset
6   {
7     border-left           : 1px solid ThreeDShadow;
8     border-top            : 1px solid ThreeDShadow;
9     border-right          : 1px solid ThreeDHighlight;
10     border-bottom         : 1px solid ThreeDHighlight;
11     margin                : 0px 5px 5px 5px;
12   }
13   
14 .box-inset {
15   margin: 2px 4px;
16   border: 2px solid;
17   -moz-border-top-colors: ThreeDShadow ThreeDDarkShadow;
18   -moz-border-right-colors: ThreeDHighlight ThreeDLightShadow;
19   -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;
20   -moz-border-left-colors: ThreeDShadow ThreeDDarkShadow;
21   background-color: #EEEEEE;
22   color: -moz-DialogText;
23 }  
24   
25 /* formatting */
26 .groove-top
27   {
28     border-top            : 2px groove ThreeDFace;  
29   }
30   
31 .groove-right
32   {
33     border-right          : 2px groove ThreeDFace;
34   }
35   
36 .groove-left
37   {
38     border-left           : 2px groove ThreeDFace;
39   }
40   
41 .groove-bottom
42   {
43     border-bottom         : 2px groove ThreeDFace;
44   }
45   
46 .outset
47   {
48     border-left           : 1px solid ThreeDHighlight;
49     border-top            : 1px solid ThreeDHighlight;
50     border-right          : 1px solid ThreeDShadow;
51     border-bottom         : 1px solid ThreeDShadow;
52   }
53   
54 .outset-top-bottom
55   {
56     border-top            : 1px solid ThreeDHighlight;
57     border-bottom         : 1px solid ThreeDShadow;
58   }   
59 
60 
61   
62 /** separator rules **/
63 /* standard separators */
64   separator, separator[orient="horizontal"] 
65     {
66       height: 1.5em;
67     }
68   
69   separator[orient="vertical"] 
70     {
71       width: 1.5em;
72     }
73 
74 /* thinner separators (50% size) */
75   separator.thin, separator.thin[orient="horizontal"] 
76     {
77       height: 0.5em;
78     }
79   
80   separator.thin[orient="vertical"] 
81     {
82       width: 0.5em;
83     }
84 
85 /* groove separators (50% size) */
86   separator.groove,
87   separator.groove[orient="horizontal"] 
88     {
89       -moz-appearance: separator;
90       border-top: 1px solid ThreeDShadow;
91       border-bottom: 1px solid ThreeDHighlight;
92       height: 0px;
93       margin-top: 0.4em;
94       margin-bottom: 0.4em;
95     }
96   
97   separator.groove[orient="vertical"] 
98     {
99       -moz-appearance: separator;
100       border-left: 1px solid ThreeDShadow;
101       border-right: 1px solid ThreeDHighlight;
102       margin-left: 0.4em;
103       margin-right: 0.4em;
104     }
105   
106 /* groove separators (0 padding, for dividing effects) */  
107   separator.groove-thin 
108     {
109       -moz-appearance: separator;
110       border-top: 1px solid ThreeDShadow;
111       border-bottom: 1px solid ThreeDHighlight;
112       height: 0px;
113     }
114   
115   separator[orient="vertical"].groove-thin 
116     {
117       -moz-appearance: separator;
118       border-left: 1px solid ThreeDShadow;
119       border-right: 1px solid ThreeDHighlight;
120     }
121 
122 /** text formatting rules **/
123 /* label (with margins) */
124 
125 /** Reduced Margin for some UI **/
126   .small-margin
127     {
128       margin              : 1px 2px 1px 2px;
129     }
130     
131   .plain 
132     {
133       margin: 0px !important;
134       border: none;
135       padding: 0px;
136     }
137 
138   label[disabled="true"] 
139     {
140       color                 : GrayText;
141     }    
142 
143   description, label
144     {
145       cursor              : default;
146     }
147     
148   description
149     {
150       margin              : 1px 5px 4px 5px;
151     }
152 
153   label
154     {
155       margin              : 1px 5px 2px 6px;
156     }
157 
158   .header 
159     {
160       font-weight         : bold;
161     }
162 
163   .larger-text 
164     {
165       font-size           : larger;
166     }
167 
168   .smaller-text 
169     {
170       font-size           : smaller;
171     }
172    
173   .monospace
174     {
175       font-family         : monospace;
176     }
177     
178   .indent
179     {
180       margin-left         : 23px;
181     }
182 
183   .box-padded
184     {
185       padding             : 5px;
186     }    
187 
188   .spaced
189     {
190       margin              : 3px 5px 4px 5px;
191     }    
192 
193   .wizard-box
194     {
195       padding             : 20px 44px 10px 44px;
196     }    
197 
198 /* Double Border Boxes */
199 
200   /* top only */
201   .double-box-top
202     {
203       -moz-binding        : url("chrome://global/skin/classicBindings.xml#double-box");
204       border-top          : 1px solid ThreeDShadow;
205       background-color    : #FFFFFF;
206       margin              : 0px;
207     }
208   
209   .double-box-top > .db-internal-box
210     {
211       border-top          : 1px solid ThreeDDarkShadow;
212     }          
213     
214   /* all round */    
215   .double-box
216     {
217       -moz-binding          : url("chrome://global/skin/classicBindings.xml#double-box");
218       border-left           : 1px solid ThreeDShadow;
219       border-top            : 1px solid ThreeDShadow;
220       border-bottom         : 1px solid ThreeDHighlight;
221       border-right          : 1px solid ThreeDHighlight;
222       background-color      : #FFFFFF;
223       margin                : 0px;
224     }
225   
226   .double-box > .db-internal-box
227     {
228       border                : 1px solid ThreeDDarkShadow;
229     }   
230 
231   .caption-text
232     {
233       margin: 0px 2px 0px 1px !important;
234     }
235 
236 /* class for text with a 'link' appearance */
237 .text-link {
238   color: blue;
239   text-decoration: underline;
240 }
241 
242 .text-link:focus {
243   color: red;
244   /* Don't specify the outline-color, we should always use initial value. */
245   outline: 1px dotted;
246 }
247 
248 .text-link:hover {
249   cursor: pointer;
250 }
251 
252 .text-link:hover:active {
253   color: red;
254 }
255 
256 .text-link[visited="true"] {
257   color: purple;
258 }
259