diff options
| -rw-r--r-- | doc/eigendoxy.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css index b99d7914a..427b128ba 100644 --- a/doc/eigendoxy.css +++ b/doc/eigendoxy.css @@ -219,3 +219,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 |