1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.variables';
5 .mw-rcfilters-ui-menuSelectWidget {
9 &.oo-ui-menuSelectWidget-invisible {
15 padding: 12 / @font-size-system-ui / @font-size-vector;
23 background-color: @colorGray15;
24 border-top: 1px solid @colorGray12;
25 padding: 12 / @font-size-system-ui / @font-size-vector;