An editor on the web using HTML5 content editable and localStorage