VolkerE has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/324848

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/48/324848/1

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: newchange
Gerrit-Change-Id: I8e073e0a21c8e0f55724089323e76a54d8246c9d
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

Reply via email to