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% ) );
19 border-bottom: 1px solid @colorGray12;
20 background-color: @colorGray15;
25 vertical-align: middle;
26 // Using the same padding that the filter item
27 // uses, so the button is aligned with the highlight
28 // buttons for the filters
34 vertical-align: middle;
41 vertical-align: middle;