wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Use pixel dimensions for education dots"

Browse source
This commit is contained in:
jenkins-bot 2019-01-18 21:26:05 +00:00 committed by Gerrit Code Review
parent a9a02b88ae ec1a940616
commit 65fd3de442
1 changed files with 9 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
modules/ve-mw/ui/styles/tools/ve.ui.MWEducationPopupTool.css
View file

@ -20,10 +20,10 @@
}
.ve-ui-pulsatingDot {
width: 2.5em;
height: 2.5em;
margin-bottom: -1.25em;
margin-left: -1.25em;
width: 36px;
height: 36px;
margin-bottom: -18px;
margin-left: -18px;
opacity: 0;
-webkit-animation: pulse 3s ease-out;
-moz-animation: pulse 3s ease-out;
@ -34,10 +34,11 @@
}
.ve-ui-stillDot {
width: 0.8em;
height: 0.8em;
margin-bottom: -0.4em;
margin-left: -0.4em;
/* Use whole pixel values to improve rendering (T214203) */
width: 12px;
height: 12px;
margin-bottom: -6px;
margin-left: -6px;
}
.ve-ui-educationPopup-shield {