Limit the size of the toc

(grafted from dffd1e11de )
2018-11-09 13:52:34 +01:00 · 2018-11-09 13:52:34 +01:00 · 40ddac243e
commit 40ddac243e
parent 065c366b40
1 changed files with 2 additions and 0 deletions
--- 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 {