Editor - Options - Font

Here the font family and -size that is used in the Editor can be changed.