wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 19:26:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use pixel dimensions for education dots

Browse source 
Bug: T214203
Change-Id: I02410b09d490c6a6ebd71cafa998f09c8cd1033f
This commit is contained in:
Ed Sanders 2019-01-18 21:00:56 +00:00
parent ca03c085a2
commit ec1a940616
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 {