diff options
Diffstat (limited to 'Documentation/conf.py')
-rw-r--r-- | Documentation/conf.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 792b6338ef19..f35748b4bc26 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py | |||
@@ -176,7 +176,14 @@ except ImportError: | |||
176 | # Add any paths that contain custom static files (such as style sheets) here, | 176 | # Add any paths that contain custom static files (such as style sheets) here, |
177 | # relative to this directory. They are copied after the builtin static files, | 177 | # relative to this directory. They are copied after the builtin static files, |
178 | # so a file named "default.css" will overwrite the builtin "default.css". | 178 | # so a file named "default.css" will overwrite the builtin "default.css". |
179 | #html_static_path = ['_static'] | 179 | |
180 | html_static_path = ['sphinx-static'] | ||
181 | |||
182 | html_context = { | ||
183 | 'css_files': [ | ||
184 | '_static/theme_overrides.css', | ||
185 | ], | ||
186 | } | ||
180 | 187 | ||
181 | # Add any extra paths that contain custom files (such as robots.txt or | 188 | # Add any extra paths that contain custom files (such as robots.txt or |
182 | # .htaccess) here, relative to this directory. These files are copied | 189 | # .htaccess) here, relative to this directory. These files are copied |