Hi,
thanks for the cool module.
It would become better if you use textarea for body style and convert its name to body css style.
and change its comment to something like this.
"Set the css style of the htmlarea body or use your desire css file via @import url('/themes/themename/editor.css');"

Best Regards