Huge letters in Ajax editor

I don't know. You're probably not using the UI features, missing out on some great CSS.