+@import 'mediawiki.ui/variables';
+
.mw-rcfilters-ui-viewSwitchWidget {
label.oo-ui-labelWidget {
- color: #54595d;
+ color: @colorGray5;
font-weight: bold;
}
&-buttons {
margin-top: 0.5em;
-
- .oo-ui-buttonWidget:not( :first-child ) {
- margin-left: 0.5em;
- }
}
}