Page MenuHomePhabricator

mediawiki.ui: Replace `em` based sizing in favor of `px` based
Open, MediumPublic

Description

With T220671 in and basically no negative feedback except one broken customization in CX so far, mediawiki.ui needs to be put on par with OOUI.
Replace em based values on most box-sizing properties that have no direct impact on user font-size setting proportions, like margin, padding etc.

Event Timeline

Volker_E created this task.Feb 11 2020, 3:41 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 11 2020, 3:41 AM

Change 571405 had a related patch set uploaded (by VolkerE; owner: VolkerE):
[mediawiki/core@master] mediawiki.ui: Replace em with px values

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

Volker_E triaged this task as Medium priority.Feb 11 2020, 4:29 AM
Volker_E moved this task from Unsorted to mediawiki.ui on the UI-Standardization board.

Change 571405 merged by jenkins-bot:
[mediawiki/core@master] mediawiki.ui: Replace em with px values

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

Change 604989 had a related patch set uploaded (by VolkerE; owner: VolkerE):
[mediawiki/core@master] Replace em values px where applicable

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

Change 604989 merged by jenkins-bot:
[mediawiki/core@master] Replace em values px where applicable

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