diff options
author | rlacko <backup.rlacko@gmail.com> | 2014-05-15 10:34:44 +0200 |
---|---|---|
committer | rlacko <backup.rlacko@gmail.com> | 2014-05-15 10:34:44 +0200 |
commit | ff02d0b90c3f0db69dae2d3f8668116485729479 (patch) | |
tree | c24f8014c532911c7eaac09945f7035254b7c689 /docs | |
parent | 1d3869e1538698f9a90d4790d2b8d6708e211a92 (diff) |
Use sphinx_rtd_theme in ReST documentation
Diffstat (limited to 'docs')
-rw-r--r-- | docs/conf.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index c92de2e92..0af22dbcb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -108,6 +108,15 @@ html_theme = 'default' # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] +# on_rtd is whether we are on readthedocs.org +on_rtd = os.environ.get('READTHEDOCS', None) == 'True' + +if not on_rtd: + # only import and set the theme if we're building docs locally + import sphinx_rtd_theme + html_theme = 'sphinx_rtd_theme' + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] + # The name for this set of Sphinx documents. If None, it defaults to # "<project> v<release> documentation". #html_title = None |