[Docs] Add scrollbar to side navigation menu when content overflows

Co-authored-by: Deb Taylor <[email protected]> Co-authored-by: Paul Cartee <[email protected]> Co-authored-by: Benny Fuhry <[email protected]> Signed-off-by: Dmitrii Kuvaiskii <[email protected]> Signed-off-by: Deb Taylor <[email protected]> Signed-off-by: Paul Cartee <[email protected]> Signed-off-by: Benny Fuhry <[email protected]>
gramineproject · May 15, 2023 · 0dfa466 · 0dfa466
1 parent 7fc7268
commit 0dfa466
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Documentation/_static/css/gramine.css b/Documentation/_static/css/gramine.css
@@ -1,3 +1,9 @@
 .rst-content dl:not(.docutils)>dt {
     font-family: SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",Courier,monospace;
 }
+
+/* adds scrollbar to sidenav */
+.wy-side-scroll {
+    width: auto;
+    overflow-y: auto;
+}