Just a suggestion if it would be possible to allow a custom font to be configured for the editor alongside the existing Editor Font Size setting?