making tabbox widget work again, fixing crasher

[themes.git] / EarlyBlue / global / skin / tabbox.css

diff --git a/EarlyBlue/global/skin/tabbox.css b/EarlyBlue/global/skin/tabbox.css
new file mode 100755 (executable)
index 0000000..4f33619
--- /dev/null
+++ b/EarlyBlue/global/skin/tabbox.css
@@ -0,0 +1,86 @@
+@namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul); 
+
+/*============ tabpanels widget =============*/
+
+tabpanels {
+  padding: 5px;
+}
+
+/********** Tab widget *********/
+tab { 
+
+  border: 1px outset #CCD0DD;
+  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: 1px inset #CCD0DD;
+  text-decoration: none;
+}
+
+tabs {
+/*  padding: 0px 2px 0px 2px; */
+}
+
+    /* top tabs */
+tabbox[orient="vertical"] > tabs[orient="horizontal"] tab  { 
+  border-bottom: none;
+/*  -moz-border-radius: 8px 8px 0px 0px; */
+  padding-bottom: 1px;
+/*  margin: 1px 2px 1px 2px; */
+}
+
+       /* bottom tabs */
+tabbox[orient="vertical"] > tabpanels + tabs[orient="horizontal"] > tab { 
+  border-top: none;
+/*  -moz-border-radius: 0px 0px 8px 8px; */
+  padding: 1px 5px 3px 5px;
+/*  margin: 1px 2px 1px 2px; */
+}
+
+       /* left tabs */
+tabbox[orient="horizontal"] > tabs[orient="vertical"] tab  { 
+  border-right: none;
+/*  -moz-border-radius: 8px 0px 0px 8px; */
+  padding-right: 1px;
+/*  margin: 2px 1px 2px 1px; */
+}
+
+       /* right tabs */
+tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab { 
+  border-left: none;
+/*  -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: 1px outset #CCD0DD;
+  padding: 5px;
+}
+
+
+
+