diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2019-01-16 11:45:13 +0100 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2019-01-16 11:45:13 +0100 |
| commit | bbdfe42628cc324904a49d472230c8cbbfd9e1d5 (patch) | |
| tree | 0ae6a380649af4a854c88245abb1c9fa3a571cc4 /eigen/doc/eigendoxy.css | |
| parent | 3e07e568a1ae478b89812d91438d75179c94ab35 (diff) | |
update eigen
Diffstat (limited to 'eigen/doc/eigendoxy.css')
| -rw-r--r-- | eigen/doc/eigendoxy.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/eigen/doc/eigendoxy.css b/eigen/doc/eigendoxy.css index 9a036d2..225f5d3 100644 --- a/eigen/doc/eigendoxy.css +++ b/eigen/doc/eigendoxy.css @@ -165,6 +165,8 @@ div.toc { bottom:0; border-radius:0px; border-style: solid none none none; + max-height:50%; + overflow-y: scroll; } div.toc h3 { |