From 3f711f335674ecf9fa49041e03137ff0ef917bce Mon Sep 17 00:00:00 2001
From: Gael Guennebaud <g.gael@free.fr>
Date: Wed, 11 Apr 2018 11:31:17 +0200
Subject: [PATCH] extend doxygen splitter for huge screens (grafted from
 79266fec75a78a31126efbbfd603d8459660350d )

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

diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index 6274e6c70..9a036d215 100644
--- a/doc/eigendoxy.css
+++ b/doc/eigendoxy.css
@@ -214,3 +214,8 @@ h3.version {
 td.width20em p.endtd {
   width:  20em;
 }
+
+/* needed for huge screens */
+.ui-resizable-e {
+  background-repeat: repeat-y;
+}
\ No newline at end of file