From 4616de202407236f922dc8356f4f14cd21d5608a Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 17 Jun 2017 18:23:39 +0530
Subject: [PATCH] User Manual: Make the sidebar grow its own scrollbar if its
 content is longer than the available height

---
 manual/resources/custom.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/manual/resources/custom.css b/manual/resources/custom.css
index ccbbaab07a..f9c2c1f738 100644
--- a/manual/resources/custom.css
+++ b/manual/resources/custom.css
@@ -12,6 +12,12 @@
     }
 }
 
+@media screen and (min-width: 876px) {
+    div.related { height: 25px; display: flex; align-items: center; }
+    div.related > ul { flex-grow: 10; }
+    div.sphinxsidebar { overflow-y: auto; max-height: calc(100vh - 25px) }
+}
+
 .float-left-img { float: left; margin-right: 1em; margin-bottom: 1em }
 
 .float-right-img { float: right; margin-left: 1em; margin-bottom: 1em }