Merge "mediawiki.notification: Use data-mw-foo instead of data-mw.foo"

[lhc/web/wiklou.git] / resources / src / mediawiki.special.preferences.styles.ooui.less

diff --git a/resources/src/mediawiki.special.preferences.styles.ooui.less b/resources/src/mediawiki.special.preferences.styles.ooui.less
index fac53f3..23cca21 100644 (file)
--- a/resources/src/mediawiki.special.preferences.styles.ooui.less
+++ b/resources/src/mediawiki.special.preferences.styles.ooui.less
@@ -110,6 +110,10 @@
                &:first-child {
                        margin-top: 0.85714286em;
                }
+
+               .oo-ui-panelLayout-framed:first-child {
+                       margin-top: 0;
+               }
        }
 
        > .oo-ui-panelLayout > .oo-ui-fieldsetLayout > .oo-ui-fieldsetLayout-header {
@@ -138,6 +142,14 @@
        }
 }
 
+/* Compact number inputs, used at "Display options" on "Recent changes" */
+.mw-htmlform-field-HTMLFloatField,
+.mw-htmlform-field-HTMLIntField {
+       .oo-ui-inputWidget {
+               max-width: 10em;
+       }
+}
+
 /* Expand the dropdown and textfield of "Time zone" field to the */
 /* usual maximum width and display them on separate lines. */
 #wpTimeCorrection .oo-ui-dropdownInputWidget,