wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 04:06:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Moved embed statement where it does something"

Browse source
This commit is contained in:
jenkins-bot 2013-07-05 18:41:37 +00:00 committed by Gerrit Code Review
parent 614a1a3d9c 96b7dbacb5
commit 3456c7c441
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve/ui/styles/ve.ui.Toolbar.css
View file

@ -16,8 +16,8 @@
.ve-ui-toolbar-bar { .ve-ui-toolbar-bar {
border-bottom: solid 1px #ccc; border-bottom: solid 1px #ccc;
position: relative; position: relative;
/* @embed */
background-color: white; background-color: white;
/* @embed */
background-image: url(images/fade-up.png); background-image: url(images/fade-up.png);
background-position: left bottom; background-position: left bottom;
background-repeat: repeat-x; background-repeat: repeat-x;