I received reports about problem with the text size in the input window. It looks, that the character type and size depends on local settings (OS, browser, ?) and in some cases it is so small that not readable.
This image depicts how much the characters are smaller compared to the normal character size used on the page. (The same characters are relative bigger for me, but still one size smaller than the normal character size on the page. And instead of sans, I see it with serif characters; which I like.)
Do we have an influence on this?
Proposed solution and patches in: T245476: [SPIKE] How to make source editors' font-size responsive