diff options
-rw-r--r-- | Documentation/conf.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index bd2532f7..89ba3d78 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -100,7 +100,14 @@ cdoc_srcdir = '..' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'classic' +try: + html_theme = 'sphinx_rtd_theme' + import sphinx_rtd_theme + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +except: + sys.stderr.write("Warning: theme '%s' not found\n" % html_theme) + html_theme = 'classic' + # html_theme_options = {} # Add any paths that contain custom static files (such as style sheets) here, |