wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-09-24 18:58:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

NWE: Fix padding in Vector

Browse source 
Bug: T185299
Change-Id: Iea8e61654608259ddc90286aef59014a37e4f44d
This commit is contained in:
Ed Sanders 2018-01-19 10:10:40 +00:00
parent 15e7946415
commit e795883f0d
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
resources/modules/ve-cm/ve.ui.CodeMirror.init.less
View file

@ -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;
}
}