improved html_editor styling