}
tab[selected="true"] {
- -moz-user-focus: normal;
font-weight: bold;
background-color: #008484;
}
color: #000000;
}
-tab:focus > .tab-middle {
+tab:-moz-focusring > .tab-middle {
/* Don't specify the outline-color, we should always use initial value. */
outline: 1px dotted;
}
/*
-tab[first-tab="true"][selected="true"] {
+tab:first-of-type[selected="true"] {
-moz-padding-end: 5px;
-moz-padding-start: 5px;
}