Don't use the HTML editor with Internet Explorer 7