jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/346439 )
Change subject: Use pixel values instead of ems for stillDot size
......................................................................
Use pixel values instead of ems for stillDot size
This will make the dot render circular rather than get squished due
to browser "helpfully" rounding values.
Bug: T151006
Change-Id: Ied5d2d910a8bdaff0b82334defb3235dc618c29f
---
M modules/rcfilters-highlight-tour.less
1 file changed, 8 insertions(+), 8 deletions(-)
Approvals:
Sbisson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/rcfilters-highlight-tour.less
b/modules/rcfilters-highlight-tour.less
index af7eacc..0e72e1a 100644
--- a/modules/rcfilters-highlight-tour.less
+++ b/modules/rcfilters-highlight-tour.less
@@ -23,13 +23,13 @@
}
.rcfilters-tour-highlight-pulsatingDot {
- width: 2.5em;
- height: 2.5em;
+ min-width: 40px;
+ min-height: 40px;
border-radius: 50%;
background-color: #36c;
position: absolute;
- bottom: -1.25em;
- left: ~"calc(50% - 1.25em)";
+ bottom: -20px;
+ left: ~"calc(50% - 20px)";
opacity: 0;
/* stylelint-disable no-unsupported-browser-features */
-webkit-animation: pulse 3s ease-out;
@@ -42,13 +42,13 @@
}
.rcfilters-tour-highlight-stillDot {
- width: 0.8em;
- height: 0.8em;
+ min-width: 12px;
+ min-height: 12px;
border-radius: 50%;
background-color: #36c;
position: absolute;
- bottom: -0.4em;
- left: ~"calc(50% - 0.4em)";
+ bottom: -6px;
+ left: ~"calc(50% - 6px)";
}
@-webkit-keyframes pulse {
--
To view, visit https://gerrit.wikimedia.org/r/346439
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ied5d2d910a8bdaff0b82334defb3235dc618c29f
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/extensions/WikimediaMessages
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <[email protected]>
Gerrit-Reviewer: Sbisson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
