[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: NWE: Fix padding in Vector

2018-01-21 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/405260 )

Change subject: NWE: Fix padding in Vector
..


NWE: Fix padding in Vector

Bug: T185299
Change-Id: Iea8e61654608259ddc90286aef59014a37e4f44d
---
M resources/modules/ve-cm/ve.ui.CodeMirror.init.less
1 file changed, 3 insertions(+), 2 deletions(-)

Approvals:
  jenkins-bot: Verified
  Jforrester: Looks good to me, approved



diff --git a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less 
b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
index b7c42aa..33accbc 100644
--- a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
+++ b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
@@ -18,9 +18,10 @@
 
// Skin specific paddings
.skin-vector & {
-   padding: 0 1.14286em; /* 1/0.875 */
+   padding: 0 1.2em;
+
@media screen and ( min-width: 982px ) {
-   padding: 0 1.71429em; /* surface-margin-left 
(1.5em) / (mw-body-content font-size) 0.875em */
+   padding: 0 1.8em;
}
}
 

-- 
To view, visit https://gerrit.wikimedia.org/r/405260
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iea8e61654608259ddc90286aef59014a37e4f44d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Esanders 
Gerrit-Reviewer: Jforrester 
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...CodeMirror[master]: NWE: Fix padding in Vector

2018-01-19 Thread Esanders (Code Review) 
Esanders has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/405260 )

Change subject: NWE: Fix padding in Vector
..

NWE: Fix padding in Vector

Bug: T185299
Change-Id: Iea8e61654608259ddc90286aef59014a37e4f44d
---
M resources/modules/ve-cm/ve.ui.CodeMirror.init.less
1 file changed, 3 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeMirror 
refs/changes/60/405260/1

diff --git a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less 
b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
index b7c42aa..33accbc 100644
--- a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
+++ b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
@@ -18,9 +18,10 @@
 
// Skin specific paddings
.skin-vector & {
-   padding: 0 1.14286em; /* 1/0.875 */
+   padding: 0 1.2em;
+
@media screen and ( min-width: 982px ) {
-   padding: 0 1.71429em; /* surface-margin-left 
(1.5em) / (mw-body-content font-size) 0.875em */
+   padding: 0 1.8em;
}
}
 

-- 
To view, visit https://gerrit.wikimedia.org/r/405260
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iea8e61654608259ddc90286aef59014a37e4f44d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Esanders 

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