EarlyBlue icons for new addons manager

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

diff --git a/EarlyBlue/global/tabbox.css b/EarlyBlue/global/tabbox.css
index 9d5547e73148342bf3bf4b126e45d15818394dfc..8017a7d8a85e04ff2bba42b45a5f8c1b76e37dbe 100644 (file)
--- a/EarlyBlue/global/tabbox.css
+++ b/EarlyBlue/global/tabbox.css
@@ -78,7 +78,6 @@ tab {
 }
 
 tab[selected="true"] {
-  -moz-user-focus: normal;
   font-weight: bold;
   background-color: #EDF1FF;
 }
@@ -87,7 +86,7 @@ tab:hover {
   color: #336699;
 }
 
-tab:focus > .tab-middle {
+tab:-moz-focusring > .tab-middle {
   /* Don't specify the outline-color, we should always use initial value. */
   outline: 1px dotted;
 }