Changed html_theme unicode strings.