Increase docs sidebar width

diff --git a/docs/source/themes/mg/static/mg.css b/docs/source/themes/mg/static/mg.css
index 3fa842cd6bde987c4a3c18b34163694284e56292..b9355a5df324a6f07000504e04d9ee989c6d6284 100644 (file)
--- a/docs/source/themes/mg/static/mg.css
+++ b/docs/source/themes/mg/static/mg.css
@@ -123,6 +123,10 @@ div.footer {
     font-size: 75%;
 }
 
+div.sphinxsidebar {
+  width: 240px;
+}
+
 div.sphinxsidebarwrapper {
   padding: 10px 5px 0 30px;
 }