diff options
author | Gael Guennebaud <g.gael@free.fr> | 2018-04-11 11:31:17 +0200 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2018-04-11 11:31:17 +0200 |
commit | 79266fec75a78a31126efbbfd603d8459660350d (patch) | |
tree | 6c515bc4cf603b8dc3bd0196fd18027b0994c513 /doc | |
parent | 426052ef6e10714f6eb1179eee405bfa77ce0cc0 (diff) |
extend doxygen splitter for huge screens
Diffstat (limited to 'doc')
-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 |