From 3ff23dea00f90999cbeb5d998ad133496c7b1903 Mon Sep 17 00:00:00 2001
From: gusthoff <gusthoff@gusthoff.com>
Date: Sat, 21 Oct 2023 01:24:55 +0200
Subject: [PATCH] SCSS: adding scrollbar to side navigation (TOC)

Fix #936.
---
 frontend/src/styles/learn.scss | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/frontend/src/styles/learn.scss b/frontend/src/styles/learn.scss
index 3004552bb..29953d754 100644
--- a/frontend/src/styles/learn.scss
+++ b/frontend/src/styles/learn.scss
@@ -24,6 +24,12 @@ a {
     }
 }
 
+// Add scrollbar to TOC (side navigation)
+.wy-side-scroll {
+    width: auto;
+    overflow-y: auto;
+}
+
 .wy-side-nav-search {
     background-color: $color-theme-bg-dark;
     a {