SCSS: adding scrollbar to side navigation (TOC)

Fix #936.
AdaCore · Oct 20, 2023 · 3ff23de · 3ff23de
1 parent 2a873f4
commit 3ff23de
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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 {