From fae57a5868d39bcb710fd03c0edf8f9983a5cc53 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Mon, 4 Nov 2019 18:05:08 +0530
Subject: [PATCH] Website: Add a scrollbar to the sidebar if needed

---
 docs/_static/custom.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_static/custom.css b/docs/_static/custom.css
index a3d4aa9ab..d93818df9 100644
--- a/docs/_static/custom.css
+++ b/docs/_static/custom.css
@@ -78,6 +78,8 @@ body div.document {
 div.sphinxsidebar {
     font-size: inherit;
     line-height: inherit;
+    max-height: 100%;
+    overflow-y: auto;
 }
 
 #sidebartoc li {