message: Use python_docs_theme. Dependency added in gudhi-deploy
diff: @@ -120,7 +120,7 @@ pygments_style = 'sphinx'
  # The theme to use for HTML and HTML Help pages. See the documentation for
  # a list of builtin themes.
  -html_theme = 'classic'
  +html_theme = 'python_docs_theme'
  # 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
  