tweaks for making devtools look nicer
[themes.git] / LCARStrek / global / scrollbars.css
1 /* This Source Code Form is subject to the terms of the Mozilla Public
2  * License, v. 2.0. If a copy of the MPL was not distributed with this
3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5 /* ===== scrollbars.css =================================================
6   == Styles used by XUL scrollbar-related elements.
7   ======================================================================= */
8
9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
10 @namespace html url("http://www.w3.org/1999/xhtml"); /* namespace for HTML elements */
11
12 /* ::::: scrollbar ::::: */
13
14 scrollbar {
15   -moz-binding: url("chrome://global/content/bindings/scrollbar.xml#scrollbar");
16   cursor: default;
17   background-color: #000000;
18   border-radius: 50%;
19 }
20
21 /* ::::: slider ::::: */
22
23 slider {
24   height: 13px;
25   background-color: #404048; /* #202024;*/
26 }
27
28 slider[orient="vertical"] {
29   width: 13px;
30 }
31
32 /* ::::: borders for thumb and buttons ::::: */
33
34 thumb,
35 scrollbarbutton {
36   border: none;
37   background: transparent 50% 50% no-repeat;
38   padding: 1px;
39   min-width: 13px;
40   min-height: 13px;
41 }
42
43 scrollbar:not([orient="vertical"]) > scrollbarbutton {
44   min-width: 16px;
45 }
46
47 scrollbar[orient="vertical"] > scrollbarbutton {
48   min-height: 16px;
49 }
50
51
52 /* ::::: thumb ::::: */
53
54 thumb {
55   background-color: #A09090;
56   background-image: url("chrome://global/skin/scrollbar/thumb-vert-grip.gif");
57 }
58
59 thumb[orient="horizontal"] {
60   background-image: url("chrome://global/skin/scrollbar/thumb-horiz-grip.gif");
61 }
62
63
64 thumb:active,
65 thumb:hover:active {
66    background-color: #008484;
67 }
68
69 thumb:hover {
70    background-color: #FFCF00;
71 }
72
73 thumb[disabled="true"] {
74   background-image: url("chrome://global/skin/scrollbar/thumb-vert-grip-disabled.gif");
75 }
76
77 thumb[orient="horizontal"][disabled="true"] {
78   background-image: url("chrome://global/skin/scrollbar/thumb-horiz-grip-disabled.gif");
79 }
80
81 /* ::::: scrollbar button ::::: */
82
83 scrollbarbutton {
84   background-color: #C09070;
85 }
86
87 scrollbarbutton:hover:active,
88 scrollbarbutton[active="true"] {
89   background-position: calc(50% + 1px) calc(50% + 1px);
90 }
91
92 scrollbarbutton:hover {
93   background-color: #FFCF00;
94 }
95
96 scrollbarbutton:hover:active {
97   background-color: #FF9F00;
98 }
99
100 scrollbarbutton[disabled="true"] {
101   background-color: #402858 !important;
102 }
103
104 /* XXX - scrollbar.xml always grabs the OS settings and we don't want that */
105 scrollbarbutton[sbattr="scrollbar-up-bottom"],
106 scrollbarbutton[sbattr="scrollbar-down-top"] {
107   display: none;
108 }
109
110 /* ::::: square at the corner of two scrollbars ::::: */
111
112 scrollcorner {
113   -moz-binding: url("chrome://global/content/bindings/scrollbar.xml#scrollbar-base");
114   cursor: default;
115   background-color: #000000;
116   width: 13px;
117 }
118
119 /* ..... increment .... */
120
121 scrollbarbutton[type="increment"] {
122   background-image: url("chrome://global/skin/scrollbar/arrow-right.png");
123   border-radius: 0 300px 300px 0;
124   -moz-border-start: 3px solid #000000;
125 }
126
127 scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
128   background-image: url("chrome://global/skin/scrollbar/arrow-down.png");
129   border-radius: 0 0 300px 300px;
130   -moz-border-start: none;
131   border-top: 3px solid #000000;
132 }
133
134 /* ..... decrement .... */
135
136 scrollbarbutton[type="decrement"] {
137   background-image: url("chrome://global/skin/scrollbar/arrow-left.png");
138   border-radius: 300px 0 0 300px;
139   -moz-border-end: 3px solid #000000;
140 }
141
142 scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
143   background-image: url("chrome://global/skin/scrollbar/arrow-up.png");
144   border-radius: 300px 300px 0 0;
145   -moz-border-end: none;
146   border-bottom: 3px solid #000000;
147 }
148
149 /* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
150 /* ::::::::::::::::::::: MEDIA PRINT :::::::::::::::::::::: */
151 /* :::::::::::::::::::::::::::::::::::::::::::::::::::::::: */
152 @media print {
153   /* ::::: scrollbar ::::: */
154
155   html|div scrollbar {
156     -moz-appearance: scrollbartrack-horizontal;
157     -moz-binding: url("chrome://global/content/bindings/scrollbar.xml#scrollbar");
158     cursor: default;
159     background: url("chrome://global/skin/scrollbar/slider.gif") scrollbar;
160   }
161
162   html|div scrollbar[orient="vertical"]
163   {
164      -moz-appearance: scrollbartrack-vertical;
165   }
166
167   /* ::::: borders for thumb and buttons ::::: */
168
169   html|div thumb,
170   html|div scrollbarbutton {
171     border: 2px solid;
172     -moz-border-top-colors: ThreeDLightShadow ThreeDHighlight;
173     -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;
174     -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;
175     -moz-border-left-colors: ThreeDLightShadow ThreeDHighlight;
176     background-color: -moz-Dialog;
177   }
178
179   /* ::::: thumb (horizontal) ::::: */
180
181   html|div thumb {
182     -moz-appearance: scrollbarthumb-vertical;
183     min-height: 8px;
184   }
185
186   html|div thumb[orient="horizontal"] {
187     -moz-appearance: scrollbarthumb-horizontal;
188     min-width: 8px;
189   }
190
191   /* ::::: scrollbar button ::::: */
192
193   html|div scrollbarbutton {
194     background: -moz-Dialog no-repeat 50% 50%;
195     min-width: 16px;
196     min-height: 16px;
197   }
198
199   html|div scrollbarbutton:hover:active,
200   html|div scrollbarbutton[active="true"] {
201     -moz-border-top-colors: ThreeDShadow -moz-Dialog;
202     -moz-border-right-colors: ThreeDShadow -moz-Dialog;
203     -moz-border-bottom-colors: ThreeDShadow -moz-Dialog;
204     -moz-border-left-colors: ThreeDShadow -moz-Dialog;
205     background-position: 60% 60%;
206   }
207
208   /* ..... increment .... */
209
210   html|div scrollbarbutton[type="increment"] {
211     -moz-appearance: scrollbarbutton-right;
212     background-image: url("chrome://global/skin/scrollbar/arrow-right.png")
213   }
214
215   html|div scrollbar[orient="vertical"] > scrollbarbutton[type="increment"] {
216     -moz-appearance: scrollbarbutton-down;
217     background-image: url("chrome://global/skin/scrollbar/arrow-down.png")
218   }
219
220   /* ..... decrement .... */
221
222   html|div scrollbarbutton[type="decrement"] {
223     -moz-appearance: scrollbarbutton-left;
224      background-image: url("chrome://global/skin/scrollbar/arrow-left.png")
225   }
226
227   html|div scrollbar[orient="vertical"] > scrollbarbutton[type="decrement"] {
228     -moz-appearance: scrollbarbutton-up;
229      background-image: url("chrome://global/skin/scrollbar/arrow-up.png")
230   }
231
232 }