wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix margins after they were broken in 9d988924"

Browse source
This commit is contained in:
jenkins-bot 2014-02-12 21:12:02 +00:00 committed by Gerrit Code Review
parent 84f7d9f3b0 79082ebf82
commit 25276e2a5a
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -6,5 +6,5 @@
*/
.ve-init-mw-viewPageTarget-toolbar {
margin: -1.25em -1.5em 1.25em -1.75em;
margin: -1.25em -1.5em 1.5em -1.5em;
}

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

@ -19,7 +19,7 @@
}
.ve-init-mw-viewPageTarget-toolbar {
margin: -1.25em -1.5em 1.5em -1.5em;
margin: -1em -1em 1em -1em;
-webkit-transition: margin 200ms ease-out;
-moz-transition: margin 200ms ease-out;
-o-transition: margin 200ms ease-out;