Add ability to change font size in the editor

currently using a combination of chrome zoom and reading glasses :eyeglasses:

another forum topic https://support.glitch.com/t/any-way-to-change-the-indentation-in-the-code-editor/877/5 was to add support for .editorconfig but i couldn’t tell from a cursory glance if font size is a configurable attribute.

Font size isn’t an attribute in editorconfig (full list here: https://github.com/editorconfig/editorconfig/wiki/EditorConfig-Properties). What’s the problem with using browser zoom at the moment, you want the editable screen space to be maintained just with larger text?