Scratch pad font

Hello,

is possible to change the font (bigger) in the Scratch pad font ?

Thanks

Most fonts are set up in the Appearance options tab (Tools menu).