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