jenkins-bot has submitted this change and it was merged.
Change subject: Remove Arial fontfamily style for buttons
......................................................................
Remove Arial fontfamily style for buttons
This came from Agora button styles. Explicit font style for buttons
prevent them to inherit font family style from parents.
Change-Id: I81833273ea7f7f865d04d56d2156df0852373110
---
M resources/css/ext.uls.css
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
KartikMistry: Looks good to me, but someone else must approve
Nikerabbit: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/css/ext.uls.css b/resources/css/ext.uls.css
index cfe1848..ad73afc 100644
--- a/resources/css/ext.uls.css
+++ b/resources/css/ext.uls.css
@@ -115,7 +115,8 @@
button.button {
display: inline-block;
padding: 0.4065em 1.2195em 0.4065em;
- font: bold 0.813em Arial, sans-serif;
+ font-size: 0.813em;
+ font-weight: bold;
line-height: 1;
color: #252525;
text-align: center;
--
To view, visit https://gerrit.wikimedia.org/r/71577
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I81833273ea7f7f865d04d56d2156df0852373110
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UniversalLanguageSelector
Gerrit-Branch: master
Gerrit-Owner: Santhosh <[email protected]>
Gerrit-Reviewer: KartikMistry <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Pginer <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
