Merge "Fix and make some types in PHPDoc and JSDoc tags more specific"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.SaveFiltersPopupButtonWidget.less
index 272909d..ec4954c 100644 (file)
@@ -1,6 +1,7 @@
 .mw-rcfilters-ui-saveFiltersPopupButtonWidget {
        &-popup {
-               &-layout {
+               &-layout,
+               &-options {
                        padding-bottom: 1.5em;
                }