From a4cfb3180d31fcb470d28be135c51c1108772691 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Sat, 8 Sep 2018 14:33:59 +0100
Subject: [PATCH] Special:Preferences OOUI: Reduce width of number inputs to
 10em

Bug: T181844
Change-Id: I23e2e98a389a609145fa451902e62ca53b83c72e
---
 .../src/mediawiki.special.preferences.styles.ooui.less      | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/resources/src/mediawiki.special.preferences.styles.ooui.less b/resources/src/mediawiki.special.preferences.styles.ooui.less
index f83dcb03ca..57e9e073d2 100644
--- a/resources/src/mediawiki.special.preferences.styles.ooui.less
+++ b/resources/src/mediawiki.special.preferences.styles.ooui.less
@@ -142,6 +142,12 @@
 	}
 }
 
+/* Compact number inputs, used at "Display options" on "Recent changes" */
+.mw-htmlform-field-HTMLFloatField,
+.mw-htmlform-field-HTMLIntField {
+	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,
-- 
2.20.1