Mozilla Cross-Reference mozilla
mozilla/ toolkit/ themes/ pinstripe/ global/ 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       border-top: 1px solid #A3A3A3;
90       height: 0px;
91       margin-top: 0.4em;
92       margin-bottom: 0.4em;
93     }
94   
95   separator.groove[orient="vertical"] 
96     {
97       border-left: 1px solid #A3A3A3;
98       margin-left: 0.4em;
99       margin-right: 0.4em;
100     }
101   
102 /* groove separators (0 padding, for dividing effects) */  
103   separator.groove-thin 
104     {
105       border-top: 1px solid #A3A3A3;
106       height: 0px;
107     }
108   
109   separator[orient="vertical"].groove-thin 
110     {
111       border-left: 1px solid #A3A3A3;
112     }
113 
114 /** text formatting rules **/
115 /* label (with margins) */
116 
117 /** Reduced Margin for some UI **/
118   .small-margin
119     {
120       margin              : 1px 2px 1px 2px;
121     }
122     
123   .plain 
124     {
125       margin: 0px !important;
126       border: none;
127       padding: 0px;
128     }
129 
130   label[disabled="true"] 
131     {
132       color                 : GrayText;
133     }    
134 
135   description, label
136     {
137       cursor              : default;
138     }
139 
140   label
141     {
142       margin              : 1px 5px 2px 6px;
143     }
144 
145   .header 
146     {
147 
148 	margin-bottom: 6px;
149 	font-weight: bold;
150     }
151 
152   .larger-text 
153     {
154       font-size           : larger;
155     }
156 
157   .smaller-text 
158     {
159       font-size           : smaller;
160     }
161    
162   .monospace
163     {
164       font-family         : monospace;
165     }
166     
167   .indent
168     {
169       margin-left         : 23px;
170     }
171 
172   .box-padded
173     {
174       padding             : 5px;
175     }    
176 
177   .spaced
178     {
179       margin              : 3px 5px 4px 5px;
180     }    
181 
182   .wizard-box
183     {
184       padding             : 20px 44px 10px 44px;
185     }    
186 
187   .caption-text
188     {
189       margin: 0px 2px 0px 1px !important;
190     }
191 
192 #commonDialog #info\.title,
193 #commonDialog #info\.header,
194 #commonDialog #info\.body {
195   font: menu;
196   line-height: 16px;
197   margin-bottom: 6px;
198 }
199 
200 #commonDialog .dialogTitle {
201   font-weight: bold !important;
202 }
203 
204 /* class for text with a 'link' appearance */
205   .text-link
206     {
207       color                 : blue;
208       text-decoration       : underline;
209       border                : 1px solid transparent;
210     }
211   
212   .text-link:focus
213     {
214       color                 : red;
215       border                : 1px dotted -moz-DialogText;
216     }
217 
218   .text-link:hover
219     {
220       cursor                : pointer;
221     } 
222   
223   .text-link:hover:active
224     {
225       color                 : red;
226     } 
227 
228   .text-link[visited="true"]
229     {
230       color                 : purple;
231     }