Editor - Optionen - Schrift

Hier kann die Schriftart und -größe im Editor geändert werden.