Fix documentation stylesheets for ReadTheDocs

See also readthedocs/readthedocs.org#2116.
mitre · Apr 4, 2018 · 27a60a1 · 27a60a1
1 parent 12e4f92
commit 27a60a1
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -96,11 +96,6 @@
 # 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 = ['_static']
-html_context = {
-    'css_files': [
-        '_static/theme_overrides.css',  # override wide tables in RTD theme
-    ],
-}
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
@@ -170,3 +165,7 @@
      author, 'MultiScanner', 'One line description of project.',
      'Miscellaneous'),
 ]
+
+
+def setup(app):
+    app.add_stylesheet('theme_overrides.css')