HTML editor styles (todo)