Get rid of scroll bars in docs

This makes things far easier to read. Workaround stolen from:
readthedocs/sphinx_rtd_theme#117

Author: tych0

docs/_static/no_scrollbars.css

@@ -0,0 +1,10 @@
+/* override table width restrictions */
+.wy-table-responsive table td, .wy-table-responsive table th {
+    /* !important prevents the common CSS stylesheets from
+       overriding this as on RTD they are loaded after this stylesheet */
+    white-space: normal !important;
+}
+
+.wy-table-responsive {
+    overflow: visible !important;
+}

docs/conf.py

@@ -281,3 +281,7 @@ def __getattr__(cls, name):
 
 
 graphviz_dot_args = ['-Lg']
+
+# A workaround for the responsive tables always having annoying scrollbars.
+def setup(app):
+    app.add_stylesheet("no_scrollbars.css")