wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-24 02:38:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Divide surface margins by 0.8

Browse source 
Change-Id: Ic9a0b3f4d8e82127649bb5ac100e3cbf42001489
This commit is contained in:
Ed Sanders 2015-05-01 23:17:35 +01:00
parent f698593366
commit f95cebd8b1
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve-mw/init/styles/ve.init.mw.ViewPageTarget-vector.css
View file

@ -15,7 +15,8 @@
part of it instead of its parent, thus making it treat the area as part
of content editable.
*/
margin: 0.8em -1em 0 -1em;
/* 0.8/0.8, 1/0.8 */
margin: 1em -1.25em 0 -1.25em;
}
.ve-init-mw-viewPageTarget-surface .ve-ce-documentNode {
@ -90,7 +91,8 @@
/* High-definition-specific styles (because Vector adds 1em to the leftNav if width is 982px+ */
@media screen and (min-width: 982px) {
.ve-init-mw-viewPageTarget-surface {
margin: 0.8em -1.5em 0 -1.5em;
/* 0.8/0.8, 1.5/0.8 */
margin: 1em -1.875em 0 -1.875em;
}
.ve-init-mw-viewPageTarget-surface .ve-ce-documentNode {