.mw-rcfilters-ui-filterItemHighlightButton {
.oo-ui-buttonWidget.oo-ui-popupButtonWidget .oo-ui-buttonElement-button > &-circle {
+ background-image: none;
display: inline-block;
vertical-align: middle;
- background-image: none;
margin-right: 0.2em;
+ // Override OOUI rule on frameless icons
+ opacity: 1;
&-color {
&-c1 {
height: 1.5em;
// By eye, this is centered horizontally for the color circle
margin-left: -0.1em;
+ // Override OOUI rule on frameless icons
+ opacity: 1;
}
&-none {
}
.mw-rcfilters-mixin-circle( @highlight-none, 2em, 0.5em, true );
- // Override border to dashed
- border: 1px dashed @colorGray5;
+ // Override `border-style` to `dashed`
+ border-style: dashed;
&.oo-ui-buttonOptionWidget.oo-ui-buttonElement-active,
&.oo-ui-buttonOptionWidget.oo-ui-optionWidget-pressed,