mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 23:04:48 +08:00
Fixed RTD theme now. Really. (Hopefully.)
This commit is contained in:
@@ -167,7 +167,7 @@ html_static_path = ['_static']
|
||||
# Output file base name for HTML help builder.
|
||||
htmlhelp_basename = 'Jedidoc'
|
||||
|
||||
html_style = '' # Force usage of default template on RTD
|
||||
html_style = '/default.css' # Force usage of default template on RTD
|
||||
|
||||
|
||||
# -- Options for LaTeX output --------------------------------------------------
|
||||
|
||||
Reference in New Issue
Block a user