mirror of
https://github.com/Rapptz/discord.py.git
synced 2025-04-22 16:51:59 +00:00
Proper RTD detection.
This commit is contained in:
parent
1652539d40
commit
c26797d808
2
docs/_templates/layout.html
vendored
2
docs/_templates/layout.html
vendored
@ -27,7 +27,7 @@
|
||||
</div>
|
||||
{% endif %}
|
||||
|
||||
{%- if readthedocs %}
|
||||
{%- if ON_READTHEDOCS %}
|
||||
<script>
|
||||
if (typeof READTHEDOCS_DATA !== 'undefined') {
|
||||
if (!READTHEDOCS_DATA.features) {
|
||||
|
@ -142,6 +142,10 @@ 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.
|
||||
|
Loading…
x
Reference in New Issue
Block a user