diff options
author | Gael Guennebaud <g.gael@free.fr> | 2018-11-09 13:52:34 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2018-11-09 13:52:34 +0100 |
commit | dffd1e11de0aee3a871736c6b9551a5c464d3512 (patch) | |
tree | 857dbdaa54559320c3099af6a1831abea3c2f425 | |
parent | a88e0a0e95e83bab36862fd6ccdbcbf7547a105a (diff) |
Limit the size of the toc
-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 { |