def get_html_theme_path() -> str: ...