This extension change the font size of the google apps script editor.

Extension that lets the user customize the font text size, font type, font color and background color on a page.