ADD: added other eigen lib

2022-12-21 16:19:04 +01:00
parent a570766dc6
commit 9e56c7f2c0
832 changed files with 36586 additions and 20006 deletions
--- a/libs/eigen/doc/eigendoxy.css
+++ b/libs/eigen/doc/eigendoxy.css
@@ -160,9 +160,7 @@ div.toc {
  margin:0;
  padding: 0.3em 0 0 0;
  width:100%;
-  float:none;
-  position:absolute;
-  bottom:0;
+  float: none;
  border-radius:0px;
  border-style: solid none none none;
  max-height:50%;