diff options
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/conf.py | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index affa9073..b696f671 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -21,7 +21,7 @@ import datetime # -- General configuration ------------------------------------------------ -needs_sphinx = '1.7' +needs_sphinx = '1.8' # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom @@ -115,12 +115,6 @@ except: # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['sphinx/static'] -html_context = { - 'css_files': [ - '_static/theme_overrides.css', - ], -} - # Custom sidebar templates, must be a dictionary that maps document names # to template names. # |