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                 background-color: #f8f9fa; // Base90 AAA
   6                 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
   7                 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
   8                         color: #54595d; // Base20 AAA
   9                 }
  10         }
  11 }