DLynch has uploaded a new change for review.
https://gerrit.wikimedia.org/r/284481
Change subject: OutlineOptionWidget mediawiki theme: icons the correct size
......................................................................
OutlineOptionWidget mediawiki theme: icons the correct size
Icons get blurry when scaled. Undo the scaling that was applied -- which was
minimal anyway, so there's almost no visual difference besides removing the
blur.
Bug: T132864
Change-Id: Ia70ff3db3ba36258650a67197a27ec37c2f34e87
---
M src/themes/mediawiki/widgets.less
1 file changed, 6 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/81/284481/1
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 351e2bd..4254747 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -911,6 +911,12 @@
font-size: 1.1em;
padding: 0.75em;
+ .oo-ui-iconElement-icon {
+ // Undoes the parent change, because the theme's icons expect
to be
+ // 24px, and don't scale incredibly well.
+ font-size: 90%;
+ }
+
&.oo-ui-indicatorElement .oo-ui-labelElement-label {
padding-right: 1.5em;
}
--
To view, visit https://gerrit.wikimedia.org/r/284481
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia70ff3db3ba36258650a67197a27ec37c2f34e87
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: DLynch <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
