style(format): reformat and reindent editor.html