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