}
tab[selected="true"] {
- -moz-user-focus: normal;
font-weight: bold;
background-color: #EDF1FF;
}
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;
}