You may want to download and install CKEditor. Works much better than the standard HTML editor. Installation is straight forward.