diff options
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index c40f127180..4e9cb0b8be 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -104,8 +104,9 @@ html_theme_options = { # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, # so a file named "default.css" will overwrite the builtin "default.css". -html_static_path = ['specs/'] +html_static_path = ['specs/', '_static'] +html_style = 'css/theme_override.css' # -- Options for HTMLHelp output ------------------------------------------ |