A Richer In-Page WYSIWYG HTML Editor for Web and Mobile