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

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