Make documentation pages wider.

aibasel · Sep 12, 2020 · 78220d9 · 78220d9
1 parent 64fb521
commit 78220d9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/docs/_static/custom.css b/docs/_static/custom.css
@@ -0,0 +1,4 @@
+/* Make page wider (https://stackoverflow.com/a/57840173/1277298). Default: 800px */
+.wy-nav-content {
+    max-width: 1000px !important;
+}
diff --git a/docs/conf.py b/docs/conf.py
@@ -133,7 +133,9 @@
 # Add any paths that contain custom static files (such as style sheets) here,
 # 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_static_path = ['_static']
+
+html_css_files = ["custom.css"]
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.