1 @namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);
3 /*============ tabpanels widget =============*/
9 /********** Tab widget *********/
11 -moz-border-radius: 3px 3px 0px 0px;
12 border: 1px solid #9C9CFF;
14 padding: 3px 5px 3px 5px;
15 -moz-user-focus: normal;
18 /* when a tab is selected this is how it should look */
19 tab[selected="true"] {
21 background-color: #008484;
25 background-color: #FFCF00;
27 text-decoration: underline;
31 text-decoration: none;
34 tabs, tabs[orient="horizontal"] {
35 padding: 0px 4px 0px 4px;
38 tabs[orient="vertical"] {
39 padding: 4px 0px 4px 0px;
43 tabbox[orient="vertical"] > tabs[orient="horizontal"] tab {
45 -moz-border-radius: 8px 8px 0px 0px;
47 /* margin: 1px 2px 1px 2px; */
51 tabbox[orient="vertical"] > tabpanels + tabs[orient="horizontal"] > tab {
53 -moz-border-radius: 0px 0px 8px 8px;
54 padding: 1px 5px 3px 5px;
55 /* margin: 1px 2px 1px 2px; */
59 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab {
61 -moz-border-radius: 8px 0px 0px 8px;
63 /* margin: 2px 1px 2px 1px; */
67 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab {
69 -moz-border-radius: 0px 8px 8px 0px;
70 padding: 3px 5px 1px 5px;
71 /* margin: 2px 1px 2px 1px; */
78 /* border on bottom only, no padding (used in search) */
81 border-bottom: 1px solid #9C9CFF;
86 -moz-border-radius: 5px;
87 border: 1px solid #9C9CFF;