From 0dfa466c093f342c2f418ab179e86169a4b7d852 Mon Sep 17 00:00:00 2001 From: Dmitrii Kuvaiskii Date: Mon, 15 May 2023 00:50:17 -0700 Subject: [PATCH] [Docs] Add scrollbar to side navigation menu when content overflows Co-authored-by: Deb Taylor Co-authored-by: Paul Cartee Co-authored-by: Benny Fuhry Signed-off-by: Dmitrii Kuvaiskii Signed-off-by: Deb Taylor Signed-off-by: Paul Cartee Signed-off-by: Benny Fuhry --- Documentation/_static/css/gramine.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Documentation/_static/css/gramine.css b/Documentation/_static/css/gramine.css index 3e6922a2b7..cf886be892 100644 --- 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; +}