1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.variables';
5 .mw-rcfilters-ui-filterMenuOptionWidget {
6 .mw-rcfilters-ui-filterMenuSectionOptionWidget ~ & {
7 padding-left: 12 / @font-size-system-ui / @font-size-vector;
10 &.oo-ui-flaggedElement-muted {
11 &:not( .oo-ui-optionWidget-selected ) {
12 // Namespaces are muted 'the other way around' when they
13 // are also inverted, so if they are also selected, we
14 // should make sure the selected background is shown rather
16 background-color: @colorGray15;
19 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
20 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
24 &.oo-ui-optionWidget-highlighted {
25 // Copying over styles from OOUI, since it must
26 // override our 'muted' state
27 background-color: @colorGray14;
32 // Override OOUI's pretty specific
33 // `.oo-ui-fieldLayout.oo-ui-labelElement.oo-ui-fieldLayout-align-inline > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header`
35 .mw-rcfilters-ui-itemMenuOptionWidget-itemCheckbox > .oo-ui-fieldLayout > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
38 padding-left: 12 / @font-size-system-ui / @font-size-vector;