1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
4 .mw-rcfilters-ui-filterMenuHeaderWidget {
8 padding: 0.75em 0 0.75em 0.5em;
15 .transform( translateY( -50% ) );
17 // HACK: Following overrides help icon size and centers it
18 &.oo-ui-widget.oo-ui-widget-enabled > .oo-ui-buttonElement-button {
19 box-sizing: content-box;
33 border-bottom: 1px solid @colorGray12;
34 background-color: @colorGray15;
39 vertical-align: middle;
40 // Using the same padding that the filter item
41 // uses, so the button is aligned with the highlight
42 // buttons for the filters
48 vertical-align: middle;
55 vertical-align: middle;