extend doxygen splitter for huge screens

(grafted from 79266fec75 )
2018-04-11 11:31:17 +02:00 · 2018-04-11 11:31:17 +02:00 · 3f711f3356
commit 3f711f3356
parent b02ab76847
1 changed files with 5 additions and 0 deletions
--- 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;
+}