From f768e901eab28e12a7829867b7540638a62064d9 Mon Sep 17 00:00:00 2001
From: spollard <public@stephentpollard.com>
Date: Tue, 21 Apr 2020 15:08:49 -0600
Subject: [PATCH] Remove a few submenu scroll bars on docs site

Remove the scroll bars for the "Topics" and "Tutorial" submenus on the website. Previously, unnecessary scroll bars appeared in Firefox and Chrome. Applying this change allows "Community" and "API Guide" submenues to still have scroll bars as necessary.
---
 docs_theme/css/default.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs_theme/css/default.css b/docs_theme/css/default.css
index e9d7f23bf..992bc60a4 100644
--- a/docs_theme/css/default.css
+++ b/docs_theme/css/default.css
@@ -6,7 +6,7 @@ pre {
 
 .dropdown .dropdown-menu {
   display: none;
-  overflow-y: scroll;
+  overflow-y: auto;
 }
 
 .dropdown.open .dropdown-menu {