HTML Editor deault font

Hi to everybody!,
i need to set the default font and dimensions of the font of the HTML Editor
How can i do that?

Thanks a lot.

Michele

🚀 Scriptcase 9.12 is now available! Check out the new features here 👉🚀 Next Monday (02/24), Scriptcase 9.12 will be released! Check out the new features before anyone else 👉