diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-06-24 16:15:02 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2021-06-24 16:15:02 +0200 |
commit | 01d62172c54b258a1072a42d25a39fd21a38c284 (patch) | |
tree | 1aea08aeceeb02a72caa8de50cc59da26238c2ee /src | |
parent | 845b02ff408eb50207165b8e11136e4b1888612a (diff) |
Use python_docs_theme. Dependency added in gudhi-deploy
Diffstat (limited to 'src')
-rwxr-xr-x | src/python/doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/python/doc/conf.py b/src/python/doc/conf.py index b06baf9c..46debd87 100755 --- a/src/python/doc/conf.py +++ b/src/python/doc/conf.py @@ -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 |