Only use wedc script when on RTD
parent
a52654b7f1
commit
a389f91708
|
@ -125,10 +125,11 @@ if not on_rtd:
|
|||
import sphinx_rtd_theme
|
||||
html_theme = 'sphinx_rtd_theme'
|
||||
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
|
||||
|
||||
|
||||
def setup(app):
|
||||
app.add_stylesheet('custom.css')
|
||||
app.add_javascript('wedc.js')
|
||||
app.add_stylesheet('custom.css')
|
||||
if on_rtd:
|
||||
app.add_javascript('wedc.js')
|
||||
|
||||
#html_theme = 'default'
|
||||
|
||||
|
|
Loading…
Reference in New Issue