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

Merge "ve.init.mw.MobileArticleTarget: Simplify margin/padding for debug bar"

Browse source
This commit is contained in:
jenkins-bot 2018-09-18 10:58:08 +00:00 committed by Gerrit Code Review
parent 6b1003f1bd 165fe4ad45
commit 1917945588
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-mw/init/styles/ve.init.mw.MobileArticleTarget.less
View file

@ -28,7 +28,7 @@
}
.ve-ui-debugBar {
padding: 0.8em 16px;
padding-top: 0.8em;
border-top: 1px solid #c8ccd1;
box-shadow: 0 10px 10px -10px rgba( 0, 0, 0, 0.15 ) inset;
}