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 | } | ||
