diff --git a/_static/css/custom.css b/_static/css/custom.css
new file mode 100644
index 000000000..ee869c6da
--- /dev/null
+++ b/_static/css/custom.css
@@ -0,0 +1,3 @@
+div.wy-menu.rst-pro {
+  display: none !important;
+}
diff --git a/conf.py b/conf.py
index bcc453897..8479fd301 100644
--- a/conf.py
+++ b/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')