From 369da72f2fa46e7cd5dd647f79c0c6202bd4d57c Mon Sep 17 00:00:00 2001
From: Josh <josh.ja.butt@gmail.com>
Date: Sun, 28 Jun 2020 17:42:14 +1000
Subject: [PATCH] Fix sidebar scrolling on mobile

---
 docs/_static/style.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/_static/style.css b/docs/_static/style.css
index 7f70997b9..85fbabe6d 100644
--- a/docs/_static/style.css
+++ b/docs/_static/style.css
@@ -300,6 +300,9 @@ aside {
   background-color: var(--mobile-nav-background);
   color: var(--mobile-nav-text);
   z-index: 2;
+  max-height: 100vh;
+  overflow-y: auto;
+  overscroll-behavior-y: contain;
 }
 
 aside h3 {
@@ -318,7 +321,7 @@ aside h3 {
 }
 
 .sidebar-toggle {
-  display: initial !important;
+  display: unset !important;
 }
 
 #sidebar {
@@ -987,6 +990,9 @@ div.code-block-caption {
     position: initial;
     background-color: var(--nav-background);
     color: var(--nav-text);
+    max-height: unset;
+    overflow-y: unset;
+    overscroll-behavior-y: unset;
   }
 
   aside h3 {