From 32fbc335b7ea2eecc5927572a71cbc752603e20b Mon Sep 17 00:00:00 2001
From: dmitrydao <dmitrydaopro@gmail.com>
Date: Tue, 27 Apr 2021 17:19:40 +0400
Subject: [PATCH] make navigation scrollable fixes #30

---
 _src/docs.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/_src/docs.css b/_src/docs.css
index 6dc2f779210..9ed241f57a8 100644
--- a/_src/docs.css
+++ b/_src/docs.css
@@ -121,9 +121,14 @@ a:hover,
 }
 navigation {
   padding: 24px 8px 0 16px;
-  width: calc(250px + 32px + 8px);
+  min-width: calc(250px + 32px + 8px);
   margin-top: 20px;
   border-right: 1px solid #ccc;
+  height: 100%;
+  max-height: 100vh;
+  overflow: auto;
+  position: sticky;
+  top: 0;
 }
 navigation a {
   display: block;