From 39be60687ed3573fb90dcdb0d3d4f6918ca83300 Mon Sep 17 00:00:00 2001 From: Antoine Nguyen Date: Tue, 14 May 2013 19:16:10 +0200 Subject: [PATCH] RTD compatibility. --- doc/conf.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index dc51c6114..e601c5eae 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -91,7 +91,12 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'nature' + +on_rtd = os.environ.get('READTHEDOCS', None) == 'True' +if on_rtd: + html_theme = 'default' +else: + html_theme = 'nature' # 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