1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
4 .mw-rcfilters-ui-filterMenuSectionOptionWidget {
5 background: @colorGray14;
10 // Use a high specificity to override OOUI
11 .oo-ui-optionWidget.oo-ui-labelElement &-title.oo-ui-labelElement-label {
13 .box-sizing( border-box );
14 display: inline-block;
21 &.oo-ui-buttonElement > .oo-ui-buttonElement-button {
23 border: 0; // Override OOUI `border` needed for frameless keyboard focus
44 .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
51 .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {