2 margin: 1px 5px 2px 5px;
5 /********** Tab widget *********/
7 border-top: 1px solid white;
8 border-bottom: 1px solid #666699;
9 border-left: 1px solid white;
10 border-right: 1px solid #666699;
12 padding: 3px 5px 3px 5px;
15 /* when a tab is selected this is how it should look */
16 tab[selected="true"] {
22 text-decoration: underline;
26 border-top: 1px solid #666699;
27 border-bottom: 1px solid white;
28 border-left: 1px solid #666699;
29 border-right: 1px solid white;
30 text-decoration: none;
34 padding: 0px 2px 0px 2px;
38 tabbox[align="vertical"] tabs[align="horizontal"] tab {
40 -moz-border-radius: 8px 8px 0px 0px;
42 margin: 1px 2px 1px 2px;
46 tabbox[align="vertical"] tabpanels + tabs[align="horizontal"] tab {
48 border-bottom: 1px solid #666699;
49 border-left: 1px solid white;
50 border-right: 1px solid #666699;
51 -moz-border-radius: 0px 0px 8px 8px;
52 padding: 1px 5px 3px 5px;
53 margin: 1px 2px 1px 2px;
57 tabbox[align="horizontal"] tabs[align="vertical"] tab {
59 -moz-border-radius: 8px 0px 0px 8px;
61 margin: 2px 1px 2px 1px;
65 tabbox[align="horizontal"] tabpanels + tabs[align="vertical"] tab {
66 border-top: 1px solid white;
67 border-bottom: 1px solid #666699;
69 border-right: 1px solid #666699;
70 -moz-border-radius: 0px 8px 8px 0px;
71 padding: 3px 5px 1px 5px;
72 margin: 2px 1px 2px 1px;
79 /* border on bottom only, no padding (used in search) */
82 border-bottom: 1px outset #CCD0DD;
87 border-top: 1px solid white;
88 border-bottom: 1px solid #666699;
89 border-left: 1px solid white;
90 border-right: 1px solid #666699;