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
   7                 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
   8                 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
   9                         color: #54595d; // Base20 AAA
  10                 }
  11
  12                 &.oo-ui-optionWidget-highlighted {
  13                         // Copying over styles from OOUI, since it must
  14                         // override our 'muted' state
  15                         background-color: #eaecf0;
  16                         color: #000;
  17                 }
  18         }
  19
  20 }