diff options
Diffstat (limited to 'eigen/doc/eigendoxy.css')
| -rw-r--r-- | eigen/doc/eigendoxy.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/eigen/doc/eigendoxy.css b/eigen/doc/eigendoxy.css index 6274e6c..9a036d2 100644 --- a/eigen/doc/eigendoxy.css +++ b/eigen/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 |