tweaks for making devtools look nicer
[themes.git] / LCARStrek / global / datetimepicker.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 /* ===== datetimepicker.css =============================================
6   == Styles used by the XUL datepicker and timepicker 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");
11
12 datepicker, timepicker {
13   margin: 2px 4px;
14   padding: 0;
15   border: none;
16   background: none;
17   cursor: default;
18 }
19
20 .datetimepicker-input-box {
21   cursor: text;
22   -moz-margin-end: 2px;
23   border-radius: 3px;
24   border: 1px solid #9C9CFF;
25   padding: 2px 0 3px;
26   -moz-padding-start: 4px;
27   -moz-padding-end: 2px;
28   background-color: #000000;
29   color: #E7ADE7;
30 }
31
32 .datetimepicker-input-subbox {
33   width: 1.6em;
34 }
35
36 html|*.datetimepicker-input {
37   text-align: right;
38 }
39
40 .datetimepicker-separator {
41   margin: 0 !important;
42 }
43
44 .datetimepicker-year {
45   width: 3.2em;
46 }
47
48 datepicker[readonly="true"],
49 timepicker[readonly="true"] {
50   background-color: #000000;
51   color: #9C9CFF;
52 }
53
54 datepicker[disabled="true"],
55 timepicker[disabled="true"] {
56   cursor: default;
57   background-color: #000000;
58   color: #8050B0;
59 }
60
61 .datepicker-mainbox {
62   margin: 2px 4px;
63   border-radius: 3px;
64   border: 1px solid #9C9CFF;
65   background-color: #000000;
66   color: #FF9F00;
67 }
68
69 .datepicker-popupgrid > .datepicker-mainbox {
70   margin: 0;
71   border: none;
72 }
73
74 .datepicker-gridlabel, .datepicker-weeklabel {
75   text-align: center;
76 }
77
78 .datepicker-gridlabel[today="true"] {
79   background-color: #000000;
80   color: #008484;
81 }
82
83 .datepicker-gridlabel[selected="true"] {
84   background-color: #008484;
85   color: #000000;
86 }
87
88 .datepicker-button {
89   min-width: 8px;
90   padding: 0px;
91 }
92
93 .datepicker-previous {
94   list-style-image: url("chrome://global/skin/arrow/arrow-left.gif");
95 }
96
97 .datepicker-next {
98   list-style-image: url("chrome://global/skin/arrow/arrow-right.gif");
99 }
100
101 .datepicker-previous[disabled="true"] {
102   list-style-image: url("chrome://global/skin/arrow/arrow-left-disabled.gif");
103 }
104
105 .datepicker-next[disabled="true"] {
106   list-style-image: url("chrome://global/skin/arrow/arrow-right-disabled.gif");
107 }
108
109 .datepicker-previous:-moz-locale-dir(rtl) {
110   list-style-image: url("chrome://global/skin/arrow/arrow-right.gif");
111 }
112
113 .datepicker-next:-moz-locale-dir(rtl) {
114   list-style-image: url("chrome://global/skin/arrow/arrow-left.gif");
115 }
116
117 .datepicker-previous[disabled="true"]:-moz-locale-dir(rtl) {
118   list-style-image: url("chrome://global/skin/arrow/arrow-right-disabled.gif");
119 }
120
121 .datepicker-next[disabled="true"]:-moz-locale-dir(rtl) {
122   list-style-image: url("chrome://global/skin/arrow/arrow-left-disabled.gif");
123 }