Options - Font

Script editors / View menu

Font family / Font size

The family and size of the font in the editor can be modified here.