Merge pull request #4560 from marmelab/doc-right-menu-height

Fix right menu : Allow to scroll when too hight
marmelab · Mar 23, 2020 · 90d579a · 90d579a
2 parents 24b5f64 + 3386422
commit 90d579a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/docs/css/style-v4.css b/docs/css/style-v4.css
@@ -94,6 +94,11 @@ ul.sidenav code {
     font-size: 0.9em;
 }
 
+.table-of-contents {
+    overflow-y: auto;
+    height: calc( 100% - 75px);
+}
+
 .table-of-contents a.active {
     font-weight: 500;
     padding-left: 14px;