diff options
Diffstat (limited to 'documentation/conf.py')
-rw-r--r-- | documentation/conf.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/documentation/conf.py b/documentation/conf.py index f25c53cb68..643bd7cbc9 100644 --- a/documentation/conf.py +++ b/documentation/conf.py | |||
@@ -54,4 +54,10 @@ html_theme = 'sphinx_rtd_theme' | |||
54 | # Add any paths that contain custom static files (such as style sheets) here, | 54 | # Add any paths that contain custom static files (such as style sheets) here, |
55 | # relative to this directory. They are copied after the builtin static files, | 55 | # relative to this directory. They are copied after the builtin static files, |
56 | # so a file named "default.css" will overwrite the builtin "default.css". | 56 | # so a file named "default.css" will overwrite the builtin "default.css". |
57 | html_static_path = ['_static'] | 57 | html_static_path = ['sphinx-static'] |
58 | |||
59 | html_context = { | ||
60 | 'css_files': [ | ||
61 | '_static/theme_overrides.css', | ||
62 | ], | ||
63 | } | ||