making tooltips smaller
[themes.git] / EarlyBlue / global / skin / formatting.css
... / ...
CommitLineData
1/* colors */\r
2\r
3.color-dialog\r
4 {\r
5 background-color : #CCD0DD;\r
6 color : #000000;\r
7 }\r
8 \r
9.color-window\r
10 {\r
11 background-color : #FFFFFF;\r
12 color : #000000;\r
13 }\r
14\r
15/* inset areas */\r
16.inset\r
17 {\r
18 border : 1px inset #CCD0DD;\r
19 margin : 0px 5px 5px 5px;\r
20 }\r
21 \r
22/* formatting */\r
23.groove-top\r
24 {\r
25 border-top : 2px groove #CCD0DD; \r
26 }\r
27 \r
28.groove-right\r
29 {\r
30 border-right : 2px groove #CCD0DD;\r
31 }\r
32 \r
33.groove-left\r
34 {\r
35 border-left : 2px groove #CCD0DD;\r
36 }\r
37 \r
38.groove-bottom\r
39 {\r
40 border-bottom : 2px groove #CCD0DD;\r
41 }\r
42 \r
43.outset\r
44 {\r
45 border : 1px outset #CCD0DD;\r
46 } \r
47 \r
48/** separator rules **/\r
49/* standard separators */\r
50 separator, separator[orient="horizontal"] \r
51 {\r
52 height: 1.5em;\r
53 }\r
54 \r
55 separator[orient="vertical"] \r
56 {\r
57 width: 1.5em;\r
58 }\r
59\r
60/* thinner separators (50% size) */\r
61 separator.thin, separator.thin[orient="horizontal"] \r
62 {\r
63 height: 0.5em;\r
64 }\r
65 \r
66 separator.thin[orient="vertical"] \r
67 {\r
68 width: 0.5em;\r
69 }\r
70\r
71/* groove separators (50% size) */\r
72 separator.groove,\r
73 separator.groove[orient="horizontal"] \r
74 {\r
75 border-top: 2px groove #CCD0DD;\r
76 height: 0px;\r
77 margin-top: 0.4em;\r
78 margin-bottom: 0.4em;\r
79 }\r
80 \r
81 separator.groove[orient="vertical"] \r
82 {\r
83 border-left: 2px groove #CCD0DD;\r
84 margin-left: 0.4em;\r
85 margin-right: 0.4em;\r
86 }\r
87 \r
88/* groove separators (0 padding, for dividing effects) */ \r
89 separator.groove-thin \r
90 {\r
91 border-top: 2px groove #CCD0DD;\r
92 height: 0px;\r
93 }\r
94 \r
95 separator[orient="vertical"].groove-thin \r
96 {\r
97 border-left: 2px groove #CCCCCC;\r
98 }\r
99\r
100/** text formatting rules **/\r
101/* label (with margins) */\r
102 text.label \r
103 {\r
104 margin : 1px 5px 2px 5px;\r
105 }\r
106 \r
107 text[disabled="true"] \r
108 {\r
109 color : #9999CC;\r
110 } \r
111 \r
112 html\r
113 {\r
114 margin : 1px 5px 4px 5px;\r
115 cursor : default;\r
116 }\r
117\r
118 .header \r
119 {\r
120 font-weight : bold;\r
121 }\r
122 \r
123 .indent\r
124 {\r
125 margin-left : 20px;\r
126 }\r
127\r
128 .icon-dropmarker\r
129 {\r
130 list-style-image : url("chrome://global/skin/scroll-down.gif");\r
131 }\r
132 \r
133 .box-padded\r
134 {\r
135 padding : 5px;\r
136 } \r
137 \r
138 .spaced\r
139 {\r
140 margin : 3px 5px 4px 5px;\r
141 }