A simple HTML editor.