.mw-rcfilters-ui-filterMenuOptionWidget {
.mw-rcfilters-ui-filterMenuSectionOptionWidget ~ & {
padding-left: 12 / @font-size-system-ui / @font-size-vector;
+ padding-right: 12 / @font-size-system-ui / @font-size-vector;
}
&.oo-ui-flaggedElement-muted {