From: Ed Sanders Date: Thu, 1 Feb 2018 12:25:00 +0000 (+0100) Subject: Fix width of OOUI TextInputWidget with .mw-editfont-... classes X-Git-Tag: 1.34.0-rc.0~5628^2 X-Git-Url: https://git.cyclocoop.org/%7B%24www_url%7Dadmin/compta/banques/ajouter.php?a=commitdiff_plain;ds=sidebyside;h=9a1aa2557df616343ddb59c48173f3c3bcd3997f;p=lhc%2Fweb%2Fwiklou.git Fix width of OOUI TextInputWidget with .mw-editfont-... classes Bug: T192373 Change-Id: I6a6757874a3502b42cff0a3edb55115a305ad609 --- diff --git a/resources/Resources.php b/resources/Resources.php index 0595bb031c..308ff86ed5 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1411,7 +1411,7 @@ return [ 'targets' => [ 'desktop', 'mobile' ], ], 'mediawiki.editfont.styles' => [ - 'styles' => 'resources/src/mediawiki/mediawiki.editfont.css', + 'styles' => 'resources/src/mediawiki/mediawiki.editfont.less', 'targets' => [ 'desktop', 'mobile' ], ], 'mediawiki.visibleTimeout' => [ diff --git a/resources/src/mediawiki/mediawiki.editfont.css b/resources/src/mediawiki/mediawiki.editfont.css deleted file mode 100644 index fe7f3240df..0000000000 --- a/resources/src/mediawiki/mediawiki.editfont.css +++ /dev/null @@ -1,19 +0,0 @@ -/* Edit font preference */ -.mw-editfont-monospace { - font-family: monospace, monospace; -} - -.mw-editfont-sans-serif { - font-family: sans-serif; -} - -.mw-editfont-serif { - font-family: serif; -} - -/* Standardize font size for edit areas using edit-fonts T182320 */ -.mw-editfont-monospace, -.mw-editfont-sans-serif, -.mw-editfont-serif { - font-size: 13px; -} diff --git a/resources/src/mediawiki/mediawiki.editfont.less b/resources/src/mediawiki/mediawiki.editfont.less new file mode 100644 index 0000000000..b8e127a26d --- /dev/null +++ b/resources/src/mediawiki/mediawiki.editfont.less @@ -0,0 +1,30 @@ +/* Edit font preference */ +.mw-editfont-monospace { + font-family: monospace, monospace; +} + +.mw-editfont-sans-serif { + font-family: sans-serif; +} + +.mw-editfont-serif { + font-family: serif; +} + +/* Standardize font size for edit areas using edit-fonts T182320 */ +.mw-editfont-monospace, +.mw-editfont-sans-serif, +.mw-editfont-serif { + font-size: 13px; + + /* For OOUI TextInputWidget, the parent
element uses normal font size, and only + the