diff --git a/docs/conf.py b/docs/conf.py index 6b2ad7f1bdc63d9f1e4eefc5189f65f6d75937a5..bebcec74007e5f4605bf1c59f9081c2c0ef9732a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -1,7 +1,6 @@ #import sphinx_rtd_theme - -#html_theme = 'sphinx_rtd_theme' -html_theme = 'default' +html_theme = "sphinx_rtd_theme" +#html_theme = 'default' html_static_path = ['_static'] html_logo = "img/openBIS.png" html_theme_options = {