VolkerE has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/336366 )
Change subject: MediaWiki theme: Remove unnecessary `font-weight` property
......................................................................
MediaWiki theme: Remove unnecessary `font-weight` property
Removing unnecessary `font-weight: 500;` property. As `500` falls
back to `normal` when the font doesn't support it, and neither
Arial nor Helvetica does as `sans-serif` default, setting it is
of no use currently
Change-Id: Ia26a51b7784de9bdf46b180c67d85ab4641b3e16
---
M src/themes/mediawiki/tools.less
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/66/336366/1
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index d1e8ce9..21441b9 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -4,7 +4,6 @@
&-bar {
background-color: @background-color-toolbar;
color: @color-default;
- font-weight: 500;
.oo-ui-toolbar-position-top > & {
border-bottom: @border-toolbar;
--
To view, visit https://gerrit.wikimedia.org/r/336366
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia26a51b7784de9bdf46b180c67d85ab4641b3e16
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
