X-Git-Url: https://git.heureux-cyclage.org/?a=blobdiff_plain;ds=sidebyside;f=resources%2Fsrc%2Fmediawiki%2Fhtmlform%2Fooui.styles.less;h=920cd9debfa61bcd488fe8365db0856634c278d0;hb=10fe5be4d4695337eeac9408f4bb6ed35c4be5c1;hp=1607489df9483892b20f2370bb2384bbb73b7798;hpb=a15bb6bb4fbc7617ed58e0bb9b73172f45b4e437;p=lhc%2Fweb%2Fwiklou.git

diff --git a/resources/src/mediawiki/htmlform/ooui.styles.less b/resources/src/mediawiki/htmlform/ooui.styles.less
index 1607489df9..920cd9debf 100644
--- a/resources/src/mediawiki/htmlform/ooui.styles.less
+++ b/resources/src/mediawiki/htmlform/ooui.styles.less
@@ -1,13 +1,19 @@
-/* OOUIHTMLForm styles */
+// OOUIHTMLForm styles
+@ooui-font-size-browser: 16; // assumed browser default of `16px`
+@ooui-font-size-base: 0.875em; // equals `14px` at browser default of `16px`
+
+@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-wrapper.oo-ui-panelLayout-padded {
-	padding: 1em 1.25em 1.25em;
+	padding: @ooui-spacing-medium @ooui-spacing-large @ooui-spacing-large;
 }
 
 .mw-htmlform-ooui {
 	line-height: 1.4; // Override MediaWiki's default of `1.6`
 
 	.oo-ui-fieldLayout.oo-ui-labelElement > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
-		line-height: 1.143; // equals `16px`
+		line-height: 16 / @ooui-font-size-browser / @ooui-font-size-base;
 	}
 
 	.mw-htmlform-field-HTMLCheckMatrix {
@@ -43,16 +49,16 @@
 	}
 }
 
-/* Flatlist styling for PHP widgets... */
+// Flatlist styling for PHP widgets...
 .mw-htmlform-flatlist .oo-ui-fieldLayout-align-inline,
-/* ...and for JS widgets */
+// ...and for JS widgets
 .mw-htmlform-flatlist .oo-ui-radioOptionWidget,
 .mw-htmlform-flatlist .oo-ui-checkboxMultioptionWidget {
 	display: inline-block;
-	margin-right: 1em;
+	margin-right: @ooui-spacing-medium;
 }
 
 .mw-htmlform-ooui .htmlform-tip,
 .mw-htmlform-ooui .mw-htmlform-submit-buttons {
-	margin-top: 1em;
+	margin-top: @ooui-spacing-medium;
 }