1 @import 'mediawiki.mixins';
3 .mw-rcfilters-ui-filterMenuSectionOptionWidget {
9 // Use a high specificity to override OOUI
10 .oo-ui-optionWidget.oo-ui-labelElement &-title.oo-ui-labelElement-label {
11 // TODO: Unify colors with official design palette
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 {