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

Inspector box shadow was a bit too dramatic, adjusted styles.

Browse source 
Change-Id: Ie0f066f62b363df645c072ee174000991258574e
This commit is contained in:
Rob Moen 2012-07-25 12:47:04 -07:00
parent d9a2a9a181
commit 99ff0d5f6c
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/ve/ui/styles/ve.ui.Inspector.css
View file

@ -14,9 +14,9 @@
-o-border-radius: 0.25em;
border-radius: 0.25em;
background-color: rgba(255,255,255,0.95);
-webkit-box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
-moz-box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
-webkit-box-shadow: 0 .15em .5em 0 rgba(0, 0, 0, 0.2);
-moz-box-shadow: 0 .15em .5em 0 rgba(0, 0, 0, 0.2);
box-shadow: 0 .15em .5em 0 rgba(0, 0, 0, 0.2);
padding: 0.75em;
padding-top: 2.5em;
min-width: 15em;