Update toc styles to make toc menu always accessible without scrolling

1 files changed, 6 insertions, 1 deletions

diff --git a/public/css/extra.css b/public/css/extra.css
index 96cdac3d..9d29cf9a 100644
--- a/public/css/extra.css
+++ b/public/css/extra.css
@@ -130,11 +130,16 @@
     padding-right: 10px;
     max-width: 45vw;
     width: 25vw;
-    max-height: 65vh;
+    max-height: 70vh;
     overflow: auto;
     text-align: inherit;
 }
 
+.ui-toc-dropdown > .toc {
+    max-height: calc(70vh - 100px);
+    overflow: auto;
+}
+
 .ui-toc-dropdown[dir='rtl'] .nav {
     padding-right: 0;
     letter-spacing: 0.0029em;