1 @import 'mediawiki.mixins';
3 .mw-rcfilters-ui-filterMenuOptionWidget {
4 &.oo-ui-flaggedElement-muted {
5 background-color: #f8f9fa; // Base90 AAA
6 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
7 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
8 color: #54595d; // Base20 AAA