Change font size in editor

The font size in the editor can be changed via the left-hand menu. To open the menu, click the menu button in the top-left-hand corner of the screen.

From here, scroll down to find the 'Font Size' option to change the font size in the editor.