jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/334442 )
Change subject: Make notification circle rounder
......................................................................
Make notification circle rounder
Bug: T152457
Change-Id: I9fa41cf246a15b7eda2b70650fcf0e71d58e81e4
---
M resources/skins.minerva.base.styles/ui.less
1 file changed, 7 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/resources/skins.minerva.base.styles/ui.less
b/resources/skins.minerva.base.styles/ui.less
index 2710363..5556926 100644
--- a/resources/skins.minerva.base.styles/ui.less
+++ b/resources/skins.minerva.base.styles/ui.less
@@ -340,15 +340,20 @@
text-align: center;
.circle {
- border-radius: @iconSize;
+ border-radius: 50%;
border: 2px solid @notificationColorRead;
box-sizing: border-box;
display: inline-block;
+ height: 100%;
min-width: @iconSize;
- padding: 0 5px;
+ padding: 0 2px;
span {
+ display: inline-block;
font-size: 13px;
+ height: 100%;
+ line-height: 13px;
+ vertical-align: middle;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/334442
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9fa41cf246a15b7eda2b70650fcf0e71d58e81e4
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: branding
Gerrit-Owner: Bmansurov <bmansu...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
