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;
8 padding-right: 12 / @font-size-system-ui / @font-size-vector;
11 &.oo-ui-flaggedElement-muted {
12 &:not( .oo-ui-optionWidget-selected ) {
13 // Namespaces are muted 'the other way around' when they
14 // are also inverted, so if they are also selected, we
15 // should make sure the selected background is shown rather
17 background-color: @colorGray15;
20 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
21 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
25 &.oo-ui-optionWidget-highlighted {
26 // Copying over styles from OOUI, since it must
27 // override our 'muted' state
28 background-color: @colorGray14;
33 // Override OOUI's pretty specific
34 // `.oo-ui-fieldLayout.oo-ui-labelElement.oo-ui-fieldLayout-align-inline > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header`
36 .mw-rcfilters-ui-itemMenuOptionWidget-itemCheckbox > .oo-ui-fieldLayout > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
39 padding-left: 12 / @font-size-system-ui / @font-size-vector;