From e5548492971ef4f3dfb8bf335e633a2b704bb56e Mon Sep 17 00:00:00 2001
From: Nate Prewitt <nate.prewitt@gmail.com>
Date: Mon, 6 Sep 2021 13:57:21 -0700
Subject: [PATCH] Don't hide navigation on mobile webpage

---
 docs/_static/custom.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index 52824dbe8d..030347a04d 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -7,7 +7,6 @@ div.document {width: 1008px;}
 div.highlight pre {padding: 11px 14px;}
 
 @media screen and (max-width: 1008px) {
-  div.sphinxsidebar {display: none;}
   div.document {width: 100%!important;}
   div.highlight pre {margin-right: -30px;}
 }