finalize the 2.0 versions of the themes

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

diff --git a/EarlyBlue/global/tabbox.css b/EarlyBlue/global/tabbox.css
index 2a397e1f416b23ba108e4919bffed9faac38b7a0..9d5547e73148342bf3bf4b126e45d15818394dfc 100644 (file)
--- a/EarlyBlue/global/tabbox.css
+++ b/EarlyBlue/global/tabbox.css
@@ -68,7 +68,7 @@ tab {
   margin-top: 2px;
   border: 1px outset #CCD0DD;
   border-bottom: none;
-  padding: 1px 4px 2px 4px;
+  padding: 1px 4px 2px;
   background-color: #CCD0DD;
   color: #000000;
 }
@@ -88,13 +88,14 @@ tab:hover {
 }
 
 tab:focus > .tab-middle {
-  outline: 1px dotted invert;
+  /* Don't specify the outline-color, we should always use initial value. */
+  outline: 1px dotted;
 }
 
 /*
-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,7 +109,7 @@ tab[first-tab="true"][selected="true"] {
   margin-bottom: 2px;
   border: 1px outset #CCD0DD;
   border-top: none;
-  padding: 2px 4px 1px 4px;
+  padding: 2px 4px 1px;
 }
 
 /* ::::: tabs-bottom ::::: */