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 {
12 .box-sizing( border-box );
13 display: inline-block;
20 &.oo-ui-buttonElement {
21 vertical-align: text-bottom;
23 & > .oo-ui-buttonElement-button {
25 // Override OOUI's definitions for button
26 border-color: transparent;
48 .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
55 .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {