jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki theme: Address sub-pixel rendering issues of RadioInputWidgets ......................................................................
MediaWiki theme: Address sub-pixel rendering issues of RadioInputWidgets Replace fixed `em` value with computed one based on OOjs UI's root default font-size. Bug: T148941 Change-Id: I8e073e0a21c8e0f55724089323e76a54d8246c9d --- M src/themes/mediawiki/common.less 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Jforrester: Looks good to me, approved jenkins-bot: Verified diff --git a/src/themes/mediawiki/common.less b/src/themes/mediawiki/common.less index 3553a94..60f14ca 100644 --- a/src/themes/mediawiki/common.less +++ b/src/themes/mediawiki/common.less @@ -124,7 +124,7 @@ // Binary Input Widgets (CheckboxInput, RadioInput, ToggleSwitch) @background-color-input-binary-active: @color-progressive-active; @background-color-input-binary-on: @color-progressive; -@size-input-binary: 1.6em; +@size-input-binary: 20 / @oo-ui-font-size-browser / @oo-ui-font-size-default; // equals `1.5625em`≈`20px` at base `font-size: 12.8px` @border-input-binary: @border-width-default solid @border-color-input-binary; @border-color-input-binary: @border-color-default-active; @border-color-input-binary-active: @color-progressive-active; -- To view, visit https://gerrit.wikimedia.org/r/324848 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8e073e0a21c8e0f55724089323e76a54d8246c9d Gerrit-PatchSet: 1 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: VolkerE <volke...@wikimedia.org> Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Prtksxna <psax...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
