wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add padding support for other skins

Browse source 
Change-Id: Ia7494545f2dda36bc2798c23ff8a2855212b77aa
This commit is contained in:
Ed Sanders 2017-08-13 11:13:36 -04:00
parent 659e0963f1
commit 29680aceb7
1 changed files with 18 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -13,12 +13,27 @@
box-sizing: border-box;
pointer-events: none;
// Core VE default padding
padding: 0.5em 1.5em;
// Skin specific paddings
.skin-vector & {
padding: 0 1.14286em; /* 1/0.875 */
@media screen and ( min-width: 982px ) {
padding: 0 1.71429em; /* surface-margin-left (1.5em) / (mw-body-content font-size) 0.875em */
}
}
.skin-monobook & {
padding: 0;
}
.skin-timeless & {
padding-left: 2em;
padding-right: 2em;
}
}
.CodeMirror pre,
.CodeMirror-lines {
padding: 0;