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