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

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.SaveFiltersPopupButtonWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.SaveFiltersPopupButtonWidget.less
index e19c246..ec4954c 100644 (file)
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.SaveFiltersPopupButtonWidget.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.SaveFiltersPopupButtonWidget.less
@@ -1,19 +1,27 @@
 .mw-rcfilters-ui-saveFiltersPopupButtonWidget {
        &-popup {
-               &-layout {
+               &-layout,
+               &-options {
                        padding-bottom: 1.5em;
                }
 
                > .oo-ui-popupWidget-popup > .oo-ui-popupWidget-head {
+                       height: auto;
+                       padding: 1em;
+                       // Icon width + icon left position (rounded to 0.5 to give a little extra margin)
+                       padding-right: 1.875em + 0.5em;
+
                        > .oo-ui-iconWidget {
-                               margin: 0.75em 0.5em;
-                               float: left;
+                               float: none;
+                               display: inline-block;
+                               margin: 0;
                        }
 
                        > .oo-ui-labelElement-label {
+                               float: none;
+                               display: inline;
                                font-size: 1.2em;
-                               padding: 0.3em;
-                               margin-left: 0;
+                               margin: 0;
                                font-weight: bold;
                        }
                }