make menubar hiding work correctly in FF4

[themes.git] / LCARStrek / global / tabbox.css

diff --git a/LCARStrek/global/tabbox.css b/LCARStrek/global/tabbox.css
index 5557fd3290cb1c04c8d57b23e7c5708a83216d22..b6a54a4974c6d98c0e0cbe26a150451ecda1297d 100644 (file)
--- a/LCARStrek/global/tabbox.css
+++ b/LCARStrek/global/tabbox.css
@@ -35,12 +35,12 @@
  *
  * ***** END LICENSE BLOCK ***** */
 
-@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
-
 /* ===== tabbox.css =================================================
   == Styles used by XUL tab-related elements.
   ======================================================================= */
 
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
+
 /* ::::: tabs ::::: */
 
 .tabs-left,
@@ -56,49 +56,54 @@
 /* tabpanel is the box in which contents show up */
 
 tabpanels {
-  -moz-border-radius: 5px;
+  border-radius: 5px;
   border: 1px solid #9C9CFF;
   padding: 5px;
   background-color: #000000;
   color: #FF9F00;
-  -moz-user-focus: normal;
 }
 
 /* ::::: tab ::::: */
 
 tab {
-  -moz-border-radius: 8px 8px 0px 0px;
+  border-radius: 8px 8px 0px 0px;
   margin-top: 2px;
   border: 1px solid #9C9CFF;
   border-bottom: none;
-  padding: 1px 4px 2px 4px;
+  padding: 1px 4px 2px;
   background-color: #000000;
-  color: #FF9F00; 
+  color: #FF9F00;
 }
 
 .tab-text {
   margin: 0 !important;
 }
 
-tab[selected="true"]  {
+tab[selected="true"] {
   font-weight: bold;
   background-color: #008484;
 }
 
-tab:hover { 
+tab:hover {
   background-color: #FFCF00;
   color: #000000;
-  text-decoration: underline;
 }
 
-tab:hover:active { 
-  text-decoration: none;
+tab:hover:active {
+  background-color: #FF9F00;
+  color: #000000;
+}
+
+tab:-moz-focusring > .tab-middle {
+  /* Don't specify the outline-color, we should always use initial value. */
+  outline: 1px dotted;
+  -moz-outline-radius: 3px 3px 0px 0px;
 }
 
 /*
-tab[first-tab="true"][selected="true"] {
-  padding-right: 5px;
-  padding-left: 5px;
+tab:first-of-type[selected="true"] {
+  -moz-padding-end: 5px;
+  -moz-padding-start: 5px;
 }
 */
 
@@ -108,12 +113,12 @@ tab[first-tab="true"][selected="true"] {
    ::::: */
 
 .tab-bottom {
-  -moz-border-radius: 0px 0px 8px 8px;
+  border-radius: 0px 0px 8px 8px;
   margin-top: 0;
   margin-bottom: 2px;
   border: 1px solid #9C9CFF;
   border-top: none;
-  padding: 2px 4px 1px 4px;
+  padding: 2px 4px 1px;
 }
 
 /* ::::: tabs-bottom ::::: */