[MediaWiki-commits] [Gerrit] mediawiki...TwoColConflict[master]: Avoid different font-size due to OS/Browser settings

2017-03-24 Thread jenkins-bot (Code Review) 
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 
Gerrit-Reviewer: Addshore 
Gerrit-Reviewer: Andrew-WMDE 
Gerrit-Reviewer: Tobias Gritschacher 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki...TwoColConflict[master]: Avoid different font-size due to OS/Browser settings

2017-03-24 Thread WMDE-Fisch (Code Review) 
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 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits