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

Merge "Add padding support for other skins"

Browse source
This commit is contained in:
jenkins-bot 2017-08-21 20:02:47 +00:00 committed by Gerrit Code Review
parent fee338e719 29680aceb7
commit fc5eec669b
1 changed files with 18 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -13,9 +13,24 @@
box-sizing: border-box;
pointer-events: none;
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 */
// 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;
}
}