1 @import 'mediawiki.mixins';
3 .mw-rcfilters-ui-filterMenuHeaderWidget {
7 padding: 0.75em 0 0.75em 0.5em;
8 // TODO: Unify colors with official design palette
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 #c8ccd1;
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;