Unicode strings in _repr_html_