@ooui-spacing-medium: 12 / @ooui-font-size-browser / @ooui-font-size-base; // equals `0.8571429em`≈`12px`
@ooui-spacing-large: 16 / @ooui-font-size-browser / @ooui-font-size-base; // equals `1.1428571em`≈`16px`
-.mw-htmlform-ooui .mw-htmlform-field-HTMLSizeFilterField,
.mw-htmlform-ooui .mw-htmlform-submit-buttons + div {
margin-top: @ooui-spacing-medium;
}