From 40ddac243eb2257e1351fe28a62f831f8ece7555 Mon Sep 17 00:00:00 2001
From: Gael Guennebaud <g.gael@free.fr>
Date: Fri, 9 Nov 2018 13:52:34 +0100
Subject: [PATCH] Limit the size of the toc (grafted from
 dffd1e11de0aee3a871736c6b9551a5c464d3512 )

---
 doc/eigendoxy.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index 9a036d215..225f5d32e 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 {