Thread:Project:Support desk/Controlling the size of text in the edit box/reply

I think you can use CSS to set the font properties of the edit box. The relevant id is #wpTextbox1.