wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use ems for mobile surface font sizes, and add top/bottom spacing"

Browse source
This commit is contained in:
jenkins-bot 2017-02-28 18:30:22 +00:00 committed by Gerrit Code Review
parent 8a12dfd2ee 5ca02bae09
commit 0070838981
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ve-mw/init/styles/ve.init.mw.MobileArticleTarget.css
View file

@ -9,6 +9,10 @@
-webkit-overflow-scrolling: touch;
}
.ve-init-mw-target-surface {
padding: 1em 0;
}
.ve-init-mw-target-surface .ve-ce-documentNode,
.ve-init-mw-target-surface .ve-ui-surface-placeholder {
padding: 0;

4
modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
View file

@ -6,11 +6,11 @@
*/
.ve-ui-mwWikitextSurface .ve-ce-documentNode {
font-size: 13.3333px;
font-size: 1.17216em; /*(13.3333/11.375)*/
/* Inherit mw-editfont setting instead of default source mode setting */
font-family: inherit;
}
.ve-ui-mwWikitextSurface .ve-ce-paragraphNode {
line-height: 20px;
line-height: 1.5em;
}