Hello all!

I've been looking for a reviewer for the fix of the wrong font-size in the New Wikitext Editor with Timeless skin for >2 months. Somebody who favors the Timeless skin could look at it?

Patch to be merged: https://gerrit.wikimedia.org/r/c/mediawiki/skins/Timeless/+/578568

This - second - fix applies to both 2010 and 2017 WTE and adjusts the monospace font-size appropriately to be compatible with sans and serif fonts. Test results: https://phabricator.wikimedia.org/T247325#6049054

My first fix only applied to the 2010 wikitext editor (aka. editing toolbar). See test results: https://phabricator.wikimedia.org/T247325#6034393

Thank you in advance, if you invest the time to improve this part of the user experience.

Demian