-moz-border-end-width: 0;
}
-.devtools-sidebar-tabs > tabs > tab:first-of-type {
- -moz-margin-start: 0;
-}
-
.devtools-sidebar-tabs > tabs > tab {
}
.devtools-sidebar-tabs > tabs > tab[selected] + tab:hover:active {
}
-.devtools-sidebar-tabs > tabs > tab[selected] {
-}
-
-.devtools-sidebar-tabs > tabs > tab[selected]:hover {
-}
-
+.devtools-sidebar-tabs > tabs > tab[selected],
.devtools-sidebar-tabs > tabs > tab[selected]:hover:active {
}