update to suite default status of 2009-01-30: bug 474807 - replace margin/padding...
[themes.git] / EarlyBlue / global / tabbox.css
index 2a397e1f416b23ba108e4919bffed9faac38b7a0..566a6cc27738b1f7b20835194d3c9eec55e6b51e 100644 (file)
@@ -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;
+  -moz-padding-end: 5px;
+  -moz-padding-start: 5px;
 }
 */