wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-18 02:50:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "RealtimePreview: Add drop shadow to floating button"

Browse source
This commit is contained in:
jenkins-bot 2024-03-13 23:55:07 +00:00 committed by Gerrit Code Review
parent f31fc338ed aab2a44fd9
commit b7a78685ef
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/realtimepreview/RealtimePreview.less
View file

@ -71,6 +71,7 @@
top: 8px; top: 8px;
right: 15px; right: 15px;
z-index: 5; z-index: 5;
box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.25 );
} }
&:hover .ext-WikiEditor-reloadButton { &:hover .ext-WikiEditor-reloadButton {

12
modules/realtimepreview/monobook.less
View file

@ -11,3 +11,15 @@
padding: 0 3px 0 0; padding: 0 3px 0 0;
} }
} }
.ext-WikiEditor-twopanes-pane2 {
.ext-WikiEditor-reloadButton {
opacity: 0;
transition: opacity 100ms;
position: absolute;
top: 8px;
right: 15px;
z-index: 5;
box-shadow: 0 0.2em 1em rgba( 0, 0, 0, 0.3 );
}
}