@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: @colorGray14;
+ color: @colorGray1;
}
}
+
}