Bmansurov has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/334442 )
Change subject: Make notification circle rounder
......................................................................
Make notification circle rounder
Per the Designer the horizontal padding is 7px, rather than 5px.
Bug: T152457
Change-Id: I9fa41cf246a15b7eda2b70650fcf0e71d58e81e4
---
M resources/skins.minerva.base.styles/ui.less
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/42/334442/1
diff --git a/resources/skins.minerva.base.styles/ui.less
b/resources/skins.minerva.base.styles/ui.less
index 2710363..845cc4e 100644
--- a/resources/skins.minerva.base.styles/ui.less
+++ b/resources/skins.minerva.base.styles/ui.less
@@ -345,7 +345,7 @@
box-sizing: border-box;
display: inline-block;
min-width: @iconSize;
- padding: 0 5px;
+ padding: 0 7px;
span {
font-size: 13px;
--
To view, visit https://gerrit.wikimedia.org/r/334442
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9fa41cf246a15b7eda2b70650fcf0e71d58e81e4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: branding
Gerrit-Owner: Bmansurov <bmansu...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
