+.devtools-tab > .radio-label-center-box > .radio-label-box {
+ padding: 0 6px;
+ border-radius: 8px 8px 0 0;
+}
+
+.devtools-tab > .radio-label-center-box > .radio-label-box > .radio-icon {
+ -moz-margin-end: 6px;
+}
+
+.devtools-tab:hover > .radio-label-center-box > .radio-label-box > .radio-icon {
+}
+
+.devtools-tab:active > .radio-label-center-box > .radio-label-box > .radio-icon,
+.devtools-tab[selected=true] > .radio-label-center-box > .radio-label-box > .radio-icon {