@import 'mediawiki.mixins';
+@import 'mediawiki.ui/variables';
.mw-rcfilters-ui-filterMenuOptionWidget {
&.oo-ui-flaggedElement-muted {
// 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: #f8f9fa; // Base90 AAA
+ 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;
}
}