WMDE-Fisch has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/344596 )
Change subject: Avoid different font-size due to OS/Browser settings ...................................................................... Avoid different font-size due to OS/Browser settings Font size hase to be in synch between textarea and changes editor. e.g. IE10 uses font size from body/content css styles while Firefox and Chrome use custom styles influenced by OS settings. Change-Id: I1cbdf94d7f21eeb0f56d5a809adce8a88ee8f1fa --- M modules/ext.TwoColConflict.less 1 file changed, 2 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/TwoColConflict refs/changes/96/344596/1 diff --git a/modules/ext.TwoColConflict.less b/modules/ext.TwoColConflict.less index f956f70..a28b518 100644 --- a/modules/ext.TwoColConflict.less +++ b/modules/ext.TwoColConflict.less @@ -63,6 +63,7 @@ box-sizing: border-box; font: medium '-moz-fixed'; font: '-webkit-small-control'; + font-size: medium; font-family: monospace; text-rendering: auto; color: initial; @@ -98,6 +99,7 @@ .mw-twocolconflict-editor-col #wpTextbox1 { height: 400px; padding: 0 4px; + font-size: medium; } .mw-twocolconflict-lastuser, -- To view, visit https://gerrit.wikimedia.org/r/344596 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I1cbdf94d7f21eeb0f56d5a809adce8a88ee8f1fa Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/TwoColConflict Gerrit-Branch: master Gerrit-Owner: WMDE-Fisch <christoph.jau...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits