mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-11 22:16:15 +00:00
69147ce3bc
In order to get the desired padding, the `em` values were pre-multiplied by the parent font-size, which was assumed to be `0.875em` for normal surfaces and `(13.3333/16)em` for wikitext surfaces. (That should have been `(13/16em)`, by the way, but that's a negligible difference.) Unfortunately, the font-size for wikitext surfaces is actually `13px`. Unlike `em`, `px` values are not affected by custom browser font-size, so when one was set, the final padding was all out of whack. Use `rem` units instead to respect the custom browser font-size, without getting problems due to the parent element font-size. We don't need separate rules for .ve-ui-mwWikitextSurface now. Bug: T222217 Change-Id: Ib7ffbf09d5aa23fddb894aa3b081ec993ddcee2d |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
tests | ||
themes | ||
ui | ||
ve.MWutils.js |