1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.variables';
5 .mw-rcfilters-ui-filterMenuHeaderWidget {
9 padding: 0.75em 0 0.75em 0.5em;
16 .transform( translateY( -50% ) );
20 border-bottom: 1px solid @colorGray12;
21 background-color: @colorGray15;
26 vertical-align: middle;
27 // Using the same padding that the filter item
28 // uses, so the button is aligned with the highlight
29 // buttons for the filters
30 padding-right: 12 / @font-size-system-ui / @font-size-vector;
35 vertical-align: middle;
37 .mw-rcfilters-ui-filterMenuHeaderWidget-backButton:first-child {
38 // Overwrite `.oo-ui-buttonElement-frameless.oo-ui-iconElement:first-child`
46 vertical-align: middle;