HTML edititor (textarea) should be same size wysiwyg editor

Removed the size reduction. Don't know why the textarea size was
specified as smaller than the wysiwyg editor, maybe a hack for some
browser bug?