diff --git a/polly/docs/conf.py b/polly/docs/conf.py index 699cc7c543cc..735a802647d8 100644 --- a/polly/docs/conf.py +++ b/polly/docs/conf.py @@ -92,7 +92,13 @@ pygments_style = 'friendly' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'haiku' +try: + import sphinx_rtd_theme + html_theme = "sphinx_rtd_theme" + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +except ModuleNotFoundError: + html_theme = 'haiku' + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the