diff options
| -rw-r--r-- | docs/_templates/layout.html | 2 | ||||
| -rw-r--r-- | docs/conf.py | 4 |
2 files changed, 1 insertions, 5 deletions
diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html index 00686bd7..0ef7d54f 100644 --- a/docs/_templates/layout.html +++ b/docs/_templates/layout.html @@ -27,7 +27,7 @@ </div> {% endif %} - {%- if ON_READTHEDOCS %} + {%- if READTHEDOCS %} <script> if (typeof READTHEDOCS_DATA !== 'undefined') { if (!READTHEDOCS_DATA.features) { diff --git a/docs/conf.py b/docs/conf.py index 92f11c22..563febc2 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -143,10 +143,6 @@ html_experimental_html5_writer = True # a list of builtin themes. html_theme = 'basic' -html_context = { - 'ON_READTHEDOCS': bool(os.environ.get('READTHEDOCS')) -} - # 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 # documentation. |