@import 'mediawiki.mixins';
+@import 'mediawiki.ui/variables';
.mw-rcfilters-ui-filterMenuOptionWidget {
&.oo-ui-flaggedElement-muted {
- background-color: #f8f9fa; // Base90 AAA
+ &:not( .oo-ui-optionWidget-selected ) {
+ // Namespaces are muted 'the other way around' when they
+ // are also inverted, so if they are also selected, we
+ // should make sure the selected background is shown rather
+ // than the muted one
+ background-color: @colorGray15;
+ }
.mw-rcfilters-ui-itemMenuOptionWidget-label-title,
.mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
- color: #54595d; // Base20 AAA
+ color: @colorGray5;
}
&.oo-ui-optionWidget-highlighted {
// Copying over styles from OOUI, since it must
// override our 'muted' state
- background-color: #eaecf0;
- color: #000;
+ background-color: @colorGray14;
+ color: @colorGray1;
}
}