fixing crasher with resource bindings
[themes.git] / LCARStrek / skin / LCARStrek / global / tabbox.css
1 /* ***** BEGIN LICENSE BLOCK *****
2  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
3  *
4  * The contents of this file are subject to the Mozilla Public License Version
5  * 1.1 (the "License"); you may not use this file except in compliance with
6  * the License. You may obtain a copy of the License at
7  * http://www.mozilla.org/MPL/
8  *
9  * Software distributed under the License is distributed on an "AS IS" basis,
10  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
11  * for the specific language governing rights and limitations under the
12  * License.
13  *
14  * The Original Code is "Classic" theme of mozilla.org code.
15  *
16  * The Initial Developer of the Original Code is
17  * the Mozilla Organization.
18  * Portions created by the Initial Developer are Copyright (C) 1998-2001
19  * the Initial Developer. All Rights Reserved.
20  *
21  * Contributor(s):
22  *   Robert Kaiser <KaiRo@KaiRo.at>
23  *
24  * Alternatively, the contents of this file may be used under the terms of
25  * either the GNU General Public License Version 2 or later (the "GPL"), or
26  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
27  * in which case the provisions of the GPL or the LGPL are applicable instead
28  * of those above. If you wish to allow use of your version of this file only
29  * under the terms of either the GPL or the LGPL, and not to allow others to
30  * use your version of this file under the terms of the MPL, indicate your
31  * decision by deleting the provisions above and replace them with the notice
32  * and other provisions required by the GPL or the LGPL. If you do not delete
33  * the provisions above, a recipient may use your version of this file under
34  * the terms of any one of the MPL, the GPL or the LGPL.
35  *
36  * ***** END LICENSE BLOCK ***** */
37
38 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
39
40 /*============ tabpanels widget =============*/
41
42 tabpanels {
43   padding: 5px;
44 }
45
46 /* we give all tabpanel types a full border
47    tabpanel is the box in which contents show up */
48
49 /* top tabs */
50 tabs + tabpanels {
51   -moz-border-radius: 5px;
52   border: 1px solid #9C9CFF;
53   padding: 5px;
54 }
55
56 /* bottom tabs */
57 tabbox > tabpanels {
58   -moz-border-radius: 5px;
59   border: 1px solid #9C9CFF;
60   padding: 5px;
61 }
62
63 /* left tabs */
64 tabbox[orient="horizontal"] > tabs + tabpanels {
65   -moz-border-radius: 5px;
66   border: 1px solid #9C9CFF;
67   padding: 5px;
68 }
69
70 /* right tabs */
71 tabbox[orient="horizontal"] > tabpanels {
72   -moz-border-radius: 5px;
73   border: 1px solid #9C9CFF;
74   padding: 5px;
75 }
76
77 /* border on bottom only, no padding (used in search) */
78 tabpanels.light {
79   border: none;
80   border-bottom: 1px solid #9C9CFF;
81   padding: 0px;
82 }
83
84 .tabpanels-inner-box {
85 }
86
87 /* tabs-spacer ========================== */
88
89 /* top tabs */
90 tabbox > tabs > .tabs-spacer {
91 }
92
93 /* bottom tabs */
94 tabbox > tabpanels + tabs > .tabs-spacer {
95 }
96
97 /* left tabs */
98 tabbox[orient="horizontal"] > tabs > .tabs-spacer {
99 }
100
101 /* right tabs */
102 tabbox[orient="horizontal"] > tabpanels + tabs > .tabs-spacer {
103 }
104
105 /*============ tab widget ============*/
106 /* NOTE: there should be code in here for indenting the first tab
107    by two pixels, however, this needs to be done with a spacer to
108    fill in the border, but current attempts to use said spacer 
109    result in said spacer not rendering.  Will revisit.  - JRH */
110
111 /* tabs is the strip showing the tabs, while tab is the tab (switcher) itself */
112    
113 tab {
114   -moz-border-radius: 3px 3px 0px 0px;
115   border: 1px solid #9C9CFF;
116   color: #FF9F00; 
117 }
118
119 tab > .tab-box > .tab-text {
120   border: 1px solid transparent;
121   padding: 0px 1px 0px 1px;
122 }
123
124 tab:focus > .tab-box > .tab-text {
125   border: 1px dotted #008484;
126 }
127
128 .tab-box {
129   margin: 0px;
130   padding: 1px 3px 1px 3px !important;
131 }
132
133 /* top tabs */
134 tabs tab[first-tab="true"]  { 
135   margin-left: 2px;
136 }
137
138 tabs tab  { 
139   margin-top: 2px;
140   border-bottom: none;
141   -moz-border-radius: 8px 8px 0px 0px;
142 }
143
144 tabs tab > .tab-box { 
145 /*  -moz-border-radius: 4px 4px 0px 0px; */
146 }
147
148 /* bottom tabs */
149 tabpanels + tabs > tab { 
150   margin-top: 0px;
151   margin-bottom: 2px;
152   border-top: none;
153   -moz-border-radius: 0px 0px 8px 8px;
154   padding: 1px 5px 3px 5px;
155 }
156
157 tabpanels + tabs > tab > .tab-box { 
158 /*  -moz-border-radius: 0px 0px 4px 4px; */
159 }
160
161 /* left tabs */
162 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab[first-tab="true"]  { 
163   margin-top: 2px;
164 }
165
166 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab  { 
167   margin-left: 2px;
168   border-right: none;
169   -moz-border-radius: 8px 0px 0px 8px;
170 }
171
172 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab > .tab-box  { 
173 /*  -moz-border-radius: 4px 0px 0px 4px; */
174 }
175
176 /* right tabs */
177 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab { 
178   margin-right: 2px;
179   margin-left: 0px;
180   border-left: none;
181   -moz-border-radius: 0px 8px 8px 0px !important;
182 }
183
184 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab > .tab-box { 
185 /*  -moz-border-radius: 0px 4px 4px 0px !important; */
186 }
187
188 /* selected tabs ============================= */
189
190 tab[selected="true"]  {
191   font-weight: bold;
192 }
193
194 tab[selected="true"] {
195         font-weight: bold;
196         background-color: #008484;
197 }
198
199 tab:hover { 
200   background-color: #FFCF00;
201   color: #000000;
202   text-decoration: underline;
203 }
204
205 tab:hover:active { 
206   text-decoration: none;
207 }