@fmeyer Can look into it, but not anytime soon. Different fonts can cause all kinds of formatting issues and it would have to be something we thoroughly test before deciding if it's a good idea or not.