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

   1 @import 'mw.rcfilters.mixins';
   2
   3 .mw-rcfilters-ui-filterItemHighlightButton {
   4
   5         .oo-ui-buttonWidget.oo-ui-popupButtonWidget .oo-ui-buttonElement-button > &-circle {
   6                 display: inline-block;
   7                 vertical-align: middle;
   8                 background-image: none;
   9                 margin-right: 0.2em;
  10
  11                 &-color {
  12                         &-c1 {
  13                                 // These values duplicate the sizing of the icon
  14                                 // width/height 1.875em
  15                                 .mw-rcfilters-mixin-circle( @highlight-c1, 1.875em, 0.2em 0 );
  16                         }
  17                         &-c2 {
  18                                 .mw-rcfilters-mixin-circle( @highlight-c2, 1.875em, 0.2em 0 );
  19                         }
  20                         &-c3 {
  21                                 .mw-rcfilters-mixin-circle( @highlight-c3, 1.875em, 0.2em 0 );
  22                         }
  23                         &-c4 {
  24                                 .mw-rcfilters-mixin-circle( @highlight-c4, 1.875em, 0.2em 0 );
  25                         }
  26                         &-c5 {
  27                                 .mw-rcfilters-mixin-circle( @highlight-c5, 1.875em, 0.2em 0 );
  28                         }
  29                 }
  30         }
  31 }