1 @namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);
3 /*============ tabpanels widget =============*/
9 /* we give all tabpanel types a full border
10 tabpanel is the box in which contents show up */
14 border: 1px outset #CCD0DD;
18 tabbox[orient="vertical"] > tabpanels {
19 border: 1px outset #CCD0DD;
23 tabbox[orient="horizontal"] > tabs + tabpanels {
24 border: 1px outset #CCD0DD;
28 tabbox[orient="horizontal"] > tabpanels {
29 border: 1px outset #CCD0DD;
32 /* border on bottom only, no padding (used in search) */
35 border-bottom: 1px outset #CCD0DD;
39 .tabpanels-inner-box {
42 /* tabs-spacer ========================== */
45 tabbox[orient="vertical"] > tabs > .tabs-spacer {
49 tabbox[orient="vertical"] > tabpanels + tabs > .tabs-spacer {
53 tabbox[orient="horizontal"] > tabs > .tabs-spacer {
57 tabbox[orient="horizontal"] > tabpanels + tabs > .tabs-spacer {
60 /*============ tab widget ============*/
61 /* NOTE: there should be code in here for indenting the first tab
62 by two pixels, however, this needs to be done with a spacer to
63 fill in the border, but current attempts to use said spacer
64 result in said spacer not rendering. Will revisit. - JRH */
66 /* tabs is the strip showing the tabs, while tab is the tab (switcher) itself */
69 border: 1px outset #CCD0DD;
73 tab > .tab-box > .tab-text {
74 border: 1px solid transparent;
75 padding: 0px 1px 0px 1px;
78 tab:focus > .tab-box > .tab-text {
79 border: 1px dotted #9999CC;
84 padding: 1px 3px 1px 3px !important;
88 tabs tab[first-tab="true"] {
95 /* -moz-border-radius: 4px 4px 0px 0px; */
99 /* -moz-border-radius: 4px 4px 0px 0px; */
103 tabpanels + tabs > tab {
107 /* -moz-border-radius: 0px 0px 4px 4px; */
108 padding: 1px 5px 3px 5px;
111 tabpanels + tabs > tab > .tab-box {
112 /* -moz-border-radius: 0px 0px 4px 4px; */
116 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab[first-tab="true"] {
120 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab {
123 /* -moz-border-radius: 4px 0px 0px 4px; */
126 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab > .tab-box {
127 /* -moz-border-radius: 4px 0px 0px 4px; */
131 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab {
135 /* -moz-border-radius: 0px 4px 4px 0px !important; */
138 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab > .tab-box {
139 /* -moz-border-radius: 0px 4px 4px 0px !important; */
142 /* selected tabs ============================= */
144 tab[selected="true"] {