1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.variables';
5 .mw-rcfilters-ui-filterMenuSectionOptionWidget {
6 background-color: @colorGray14;
7 padding-bottom: 8 / @font-size-system-ui / @font-size-vector;
8 padding-left: 12 / @font-size-system-ui / @font-size-vector;
9 padding-right: 12 / @font-size-system-ui / @font-size-vector;
11 &-header-title.oo-ui-labelElement-label {
13 display: inline-block;
19 &.oo-ui-buttonElement > .oo-ui-buttonElement-button {
20 border: 0; // Override OOUI `border` needed for frameless keyboard focus
42 .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
48 &-active .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {