From 891f9abcb06f66bae4346b2cace05eff4b9df3bc Mon Sep 17 00:00:00 2001
From: robert <robert>
Date: Sat, 7 Jul 2001 17:36:37 +0000
Subject: [PATCH] making tabbox widget work again, fixing crasher

---
 EarlyBlue/global/skin/tabbox.css     | 86 +++++++++++++++++++++++++
 EarlyBlue/global/skin/tabcontrol.css | 94 ----------------------------
 EarlyBlue/global/skin/textbox.css    |  9 +--
 3 files changed, 91 insertions(+), 98 deletions(-)
 create mode 100755 EarlyBlue/global/skin/tabbox.css
 delete mode 100755 EarlyBlue/global/skin/tabcontrol.css

diff --git a/EarlyBlue/global/skin/tabbox.css b/EarlyBlue/global/skin/tabbox.css
new file mode 100755
index 00000000..4f33619e
--- /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;
+}
+
+
+
+
diff --git a/EarlyBlue/global/skin/tabcontrol.css b/EarlyBlue/global/skin/tabcontrol.css
deleted file mode 100755
index f62a0ba9..00000000
--- a/EarlyBlue/global/skin/tabcontrol.css
+++ /dev/null
@@ -1,94 +0,0 @@
-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;
-}
-
-
diff --git a/EarlyBlue/global/skin/textbox.css b/EarlyBlue/global/skin/textbox.css
index d3d37134..56991205 100755
--- a/EarlyBlue/global/skin/textbox.css
+++ b/EarlyBlue/global/skin/textbox.css
@@ -1,5 +1,5 @@
-@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* set default namespace to HTML */
-@namespace html url("http://www.w3.org/1999/xhtml"); /* namespace for XUL elements */
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* set default namespace to XUL */
+@namespace html url("http://www.w3.org/1999/xhtml"); /* namespace for HTML elements */
 
 /** generic text fields (in dialogs)
  **/
@@ -41,7 +41,7 @@
     }
   
 /* internal text widget */
-  .textbox-input, .textbox-textarea
+  html|*.textbox-input, html|*.textbox-textarea
     {
       border              : none !important;
       margin              : 0px;
@@ -76,7 +76,7 @@
     margin                : 0px !important;
   }
 
-.textbox-inline-edit > .textbox-internal-box > .textbox-input 
+.textbox-inline-edit > .textbox-internal-box > html|*.textbox-input 
   {
     border                : none !important;
     padding               : 0px !important;
@@ -92,3 +92,4 @@
 
   
 
+
-- 
2.43.0