From 75f3c1a86d63c3d59dd2b5d480b44de8fd3c0611 Mon Sep 17 00:00:00 2001
From: David Flack <davidscottflack@gmail.com>
Date: Fri, 24 Jul 2020 10:52:07 -0600
Subject: [PATCH] Fix scrolling bug in side nav

---
 website/static/css/docs.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/website/static/css/docs.css b/website/static/css/docs.css
index 7aeb8e2106a..66a3e448620 100644
--- a/website/static/css/docs.css
+++ b/website/static/css/docs.css
@@ -178,6 +178,7 @@ figcaption {
 /* Right side navigation */
 .onPageNav {
   overflow: visible;
+  overflow-y: auto;
 }
 
 .onPageNav a,