jenkins-bot has submitted this change and it was merged. (
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(-)
Approvals:
jenkins-bot: Verified
Andrew-WMDE: Looks good to me, approved
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: merged
Gerrit-Change-Id: I1cbdf94d7f21eeb0f56d5a809adce8a88ee8f1fa
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TwoColConflict
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Andrew-WMDE <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
