1 @import 'mediawiki.mixins';
3 .mw-rcfilters-ui-filterMenuHeaderWidget {
7 // TODO: Unify colors with official design palette
12 border-bottom: 1px solid #c8ccd1;
18 vertical-align: middle;
19 // Using the same padding that the filter item
20 // uses, so the button is aligned with the highlight
21 // buttons for the filters
27 vertical-align: middle;
33 vertical-align: middle;