Make TOC scrollable when too many subheadings

2022-03-10 10:13:04 +01:00
parent 373876a1a3
commit e27be9f081
1 changed files with 4 additions and 0 deletions
--- a/docs/css/customstyles.css
+++ b/docs/css/customstyles.css
@ -29,6 +29,8 @@ body {
        margin-top: 60px;
        margin-left: -15px;
        margin-right: 15px;
+        height: 80%;
+        overflow: auto;
    }
    .container {
        margin-left: 15px;
@ -49,6 +51,8 @@ body {
        margin-top: 60px;
        margin-left: -15px;
        margin-right: 15px;
+        height: 80%;
+        overflow: auto;
    }
    .container {
        margin-left: 15px;