Merge "registration: Only allow one extension to set a specific config setting"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterMenuOptionWidget.less
1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3
4 .mw-rcfilters-ui-filterMenuOptionWidget {
5 &.oo-ui-flaggedElement-muted {
6 &:not( .oo-ui-optionWidget-selected ) {
7 // Namespaces are muted 'the other way around' when they
8 // are also inverted, so if they are also selected, we
9 // should make sure the selected background is shown rather
10 // than the muted one
11 background-color: @colorGray15;
12 }
13
14 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
15 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
16 color: @colorGray5;
17 }
18
19 &.oo-ui-optionWidget-highlighted {
20 // Copying over styles from OOUI, since it must
21 // override our 'muted' state
22 background-color: @colorGray14;
23 color: @colorGray1;
24 }
25 }
26
27 }