]> scripts.mit.edu Git - autoinstalls/mediawiki.git/blob - resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuOptionWidget.less
MediaWiki 1.30.2
[autoinstalls/mediawiki.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterMenuOptionWidget.less
1 @import 'mediawiki.mixins';
2
3 .mw-rcfilters-ui-filterMenuOptionWidget {
4         &.oo-ui-flaggedElement-muted {
5                 &:not( .oo-ui-optionWidget-selected ) {
6                         // Namespaces are muted 'the other way around' when they
7                         // are also inverted, so if they are also selected, we
8                         // should make sure the selected background is shown rather
9                         // than the muted one
10                         background-color: #f8f9fa; // Base90 AAA
11                 }
12
13                 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
14                 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
15                         color: #54595d; // Base20 AAA
16                 }
17
18                 &.oo-ui-optionWidget-highlighted {
19                         // Copying over styles from OOUI, since it must
20                         // override our 'muted' state
21                         background-color: #eaecf0;
22                         color: #000;
23                 }
24         }
25
26 }