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