diff options
-rw-r--r-- | doc/eigendoxy.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css index 427b128ba..6147c7154 100644 --- a/doc/eigendoxy.css +++ b/doc/eigendoxy.css @@ -165,6 +165,8 @@ div.toc { bottom:0; border-radius:0px; border-style: solid none none none; + max-height:50%; + overflow-y: scroll; } div.toc h3 { |