JavaScript is disabled on your browser.

Editor - Options - Font

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