tweaks for making devtools look nicer
[themes.git] / LCARStrek / global / richlistbox.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 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
6
7 richlistbox {
8   border-radius: 5px;
9   border: 1px solid #9C9CFF;
10   margin: 2px 4px;
11   background-color: #000000;
12   color: #FF9F00;
13 }
14
15 richlistbox[disabled="true"] {
16   border: 1px solid #8050B0;
17   color: #8050B0;
18 }
19
20 richlistitem[selected="true"] {
21   background-color: #008484;
22   color: #000000;
23 }
24
25 richlistbox:focus > richlistitem[selected="true"] {
26   background-color: #008484;
27   color: #FFCF00;
28 }
29
30 richlistbox[seltype="multiple"]:-moz-focusring > richlistitem[current="true"] {
31   outline: 1px dotted #FF9F00;
32   outline-offset: -1px;
33 }
34
35 richlistbox[seltype="multiple"]:-moz-focusring > richlistitem[current="true"][selected="true"] {
36   outline: 1px dotted #FF9F00;
37 }
38