resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemHighlightButton.less

   1 @import 'mw.rcfilters.mixins';
   2 @import 'mw.rcfilters.variables';
   3
   4 .mw-rcfilters-ui-filterItemHighlightButton {
   5         .oo-ui-buttonWidget.oo-ui-popupButtonWidget .oo-ui-buttonElement-button > &-circle {
   6                 background-image: none;
   7                 display: inline-block;
   8                 vertical-align: middle;
   9                 // Override OOUI rule on frameless icons
  10                 opacity: 1;
  11                 .mw-rcfilters-circle( @min-size-circle, @size-circle, @margin-circle 0 );
  12
  13                 &-color {
  14                         &-c1 {
  15                                 .mw-rcfilters-circle-color( @highlight-c1 );
  16                         }
  17                         &-c2 {
  18                                 .mw-rcfilters-circle-color( @highlight-c2 );
  19                         }
  20                         &-c3 {
  21                                 .mw-rcfilters-circle-color( @highlight-c3 );
  22                         }
  23                         &-c4 {
  24                                 .mw-rcfilters-circle-color( @highlight-c4 );
  25                         }
  26                         &-c5 {
  27                                 .mw-rcfilters-circle-color( @highlight-c5 );
  28                         }
  29                 }
  30         }
  31 }