css fix

jpn-- · Jan 2, 2015 · ceacd69 · ceacd69
1 parent 0ead931
commit ceacd69
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/doc/conf.py b/doc/conf.py
@@ -180,6 +180,15 @@ def __getattr__(cls, name):
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+#html_context = {
+#    'css_files': [
+#        '_static/elm_doc_style.css',  # overrides for wide tables in RTD theme
+#        ],
+#    }
+
+def setup(app):
+	app.add_stylesheet("elm_doc_style")
+
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
 html_last_updated_fmt = '%b %d, %Y'