-tabcontrol {\r
- margin: 1px 5px 2px 5px;\r
-}\r
-\r
-/********** Tab widget *********/\r
-tab { \r
- border-top: 1px solid white;\r
- border-bottom: 1px solid #666699;\r
- border-left: 1px solid white;\r
- border-right: 1px solid #666699;\r
- color: black; \r
- padding: 3px 5px 3px 5px;\r
-}\r
-\r
-/* when a tab is selected this is how it should look */\r
-tab[selected="true"] {\r
- font-weight: bold;\r
-}\r
-\r
-tab:hover { \r
- color: #003366;\r
- text-decoration: underline;\r
-}\r
-\r
-tab:hover:active { \r
- border-top: 1px solid #666699;\r
- border-bottom: 1px solid white;\r
- border-left: 1px solid #666699;\r
- border-right: 1px solid white;\r
- text-decoration: none;\r
-}\r
-\r
-tabbox {\r
- padding: 0px 2px 0px 2px;\r
-}\r
-\r
- /* top tabs */\r
-tabcontrol[align="vertical"] tabbox[align="horizontal"] tab { \r
- border-bottom: none;\r
- -moz-border-radius: 8px 8px 0px 0px;\r
- padding-bottom: 1px;\r
- margin: 1px 2px 1px 2px;\r
-}\r
-\r
- /* bottom tabs */\r
-tabcontrol[align="vertical"] tabpanel + tabbox[align="horizontal"] tab { \r
- border-top: none;\r
- border-bottom: 1px solid #666699;\r
- border-left: 1px solid white;\r
- border-right: 1px solid #666699;\r
- -moz-border-radius: 0px 0px 8px 8px;\r
- padding: 1px 5px 3px 5px;\r
- margin: 1px 2px 1px 2px;\r
-}\r
-\r
- /* left tabs */\r
-tabcontrol[align="horizontal"] tabbox[align="vertical"] tab { \r
- border-right: none;\r
- -moz-border-radius: 8px 0px 0px 8px;\r
- padding-right: 1px;\r
- margin: 2px 1px 2px 1px;\r
-}\r
-\r
- /* right tabs */\r
-tabcontrol[align="horizontal"] tabpanel + tabbox[align="vertical"] tab { \r
- border-top: 1px solid white;\r
- border-bottom: 1px solid #666699;\r
- border-left: none;\r
- border-right: 1px solid #666699;\r
- -moz-border-radius: 0px 8px 8px 0px;\r
- padding: 3px 5px 1px 5px;\r
- margin: 2px 1px 2px 1px;\r
-}\r
-\r
-tabcontrol { \r
- border: none; \r
-}\r
-\r
-/* border on bottom only, no padding (used in search) */\r
-tabpanel.light {\r
- border: none;\r
- border-bottom: 1px outset #CCD0DD;\r
- padding: 0px;\r
-}\r
-\r
-tabpanel {\r
- border-top: 1px solid white;\r
- border-bottom: 1px solid #666699;\r
- border-left: 1px solid white;\r
- border-right: 1px solid #666699;\r
- padding: 5px;\r
-}\r
-\r
+tabbox {
+ margin: 1px 5px 2px 5px;
+}
+
+/********** Tab widget *********/
+tab {
+ border-top: 1px solid white;
+ border-bottom: 1px solid #666699;
+ border-left: 1px solid white;
+ border-right: 1px solid #666699;
+ color: black;
+ padding: 3px 5px 3px 5px;
+}
+
+/* when a tab is selected this is how it should look */
+tab[selected="true"] {
+ font-weight: bold;
+}
+
+tab:hover {
+ color: #003366;
+ text-decoration: underline;
+}
+
+tab:hover:active {
+ border-top: 1px solid #666699;
+ border-bottom: 1px solid white;
+ border-left: 1px solid #666699;
+ border-right: 1px solid white;
+ text-decoration: none;
+}
+
+tabs {
+ padding: 0px 2px 0px 2px;
+}
+
+ /* top tabs */
+tabbox[align="vertical"] tabs[align="horizontal"] tab {
+ border-bottom: none;
+ -moz-border-radius: 8px 8px 0px 0px;
+ padding-bottom: 1px;
+ margin: 1px 2px 1px 2px;
+}
+
+ /* bottom tabs */
+tabbox[align="vertical"] tabpanels + tabs[align="horizontal"] tab {
+ border-top: none;
+ border-bottom: 1px solid #666699;
+ border-left: 1px solid white;
+ border-right: 1px solid #666699;
+ -moz-border-radius: 0px 0px 8px 8px;
+ padding: 1px 5px 3px 5px;
+ margin: 1px 2px 1px 2px;
+}
+
+ /* left tabs */
+tabbox[align="horizontal"] tabs[align="vertical"] tab {
+ border-right: none;
+ -moz-border-radius: 8px 0px 0px 8px;
+ padding-right: 1px;
+ margin: 2px 1px 2px 1px;
+}
+
+ /* right tabs */
+tabbox[align="horizontal"] tabpanels + tabs[align="vertical"] tab {
+ border-top: 1px solid white;
+ border-bottom: 1px solid #666699;
+ border-left: none;
+ border-right: 1px solid #666699;
+ -moz-border-radius: 0px 8px 8px 0px;
+ padding: 3px 5px 1px 5px;
+ margin: 2px 1px 2px 1px;
+}
+
+tabbox {
+ border: none;
+}
+
+/* border on bottom only, no padding (used in search) */
+tabpanels.light {
+ border: none;
+ border-bottom: 1px outset #CCD0DD;
+ padding: 0px;
+}
+
+tabpanels {
+ border-top: 1px solid white;
+ border-bottom: 1px solid #666699;
+ border-left: 1px solid white;
+ border-right: 1px solid #666699;
+ padding: 5px;
+}
+
+