Custom CSS

_static/css/custom.css

@@ -0,0 +1,3 @@
+div.wy-menu.rst-pro {
+  display: none !important;
+}

conf.py

@@ -284,3 +284,8 @@ texinfo_documents = [
 
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #texinfo_no_detailmenu = False
+
+# -- Custom setup ---------------------------------------------------------
+
+def setup(app):
+    app.add_stylesheet('css/custom.css')