From bbdfe42628cc324904a49d472230c8cbbfd9e1d5 Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Wed, 16 Jan 2019 11:45:13 +0100
Subject: update eigen

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

(limited to 'eigen/doc/eigendoxy.css')

diff --git a/eigen/doc/eigendoxy.css b/eigen/doc/eigendoxy.css
index 9a036d2..225f5d3 100644
--- a/eigen/doc/eigendoxy.css
+++ b/eigen/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 {
-- 
cgit v1.2.3