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 {
22 vertical-align: text-bottom;
24 & > .oo-ui-buttonElement-button {
26 // Override OOUI's definitions for button
27 border-color: transparent;
49 .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
56 .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {