From fb96ca12d25dcf321a84a2e159fb681206171b97 Mon Sep 17 00:00:00 2001
From: Joel Einbinder <joel.einbinder@gmail.com>
Date: Thu, 16 Apr 2020 15:17:05 -0700
Subject: [PATCH] fix: don't show an unnecessary scrollbar (#3)

---
 src/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/style.css b/src/style.css
index 5b0c8d2327502..c91591b5febe5 100644
--- a/src/style.css
+++ b/src/style.css
@@ -81,7 +81,7 @@ documentation-sidebar {
   display: flex;
   padding-right: 15px;
   overflow-x: hidden;
-  overflow-y: scroll;
+  overflow-y: auto;
 }
     documentation-sidebar sidebar-divider {
       display: flex;
@@ -110,7 +110,7 @@ documentation-view {
   right: 0;
 
   overflow-x: hidden;
-  overflow-y: scroll;
+  overflow-y: auto;
 
   padding-top: 16px;
 }