1 @import 'mw.rcfilters.mixins';
3 .mw-rcfilters-ui-filterItemHighlightButton {
4 .oo-ui-buttonWidget.oo-ui-popupButtonWidget .oo-ui-buttonElement-button > &-circle {
6 vertical-align: middle;
7 background-image: none;
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 );
17 .mw-rcfilters-mixin-circle( @highlight-c2, 1.875em, 0.2em 0 );
20 .mw-rcfilters-mixin-circle( @highlight-c3, 1.875em, 0.2em 0 );
23 .mw-rcfilters-mixin-circle( @highlight-c4, 1.875em, 0.2em 0 );
26 .mw-rcfilters-mixin-circle( @highlight-c5, 1.875em, 0.2em 0 );