1 files changed, 13 insertions, 1 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index 825cc4fc1..b64c49ae9 100644
--- a/doc/eigendoxy.css
+++ b/doc/eigendoxy.css
@@ -451,10 +451,17 @@ A.top  {
 A.top:hover, A.logo:hover {
   background-color: transparent;font-weight : bolder;
 }
-P.note {
+SPAN.note {
   font-size: 7pt;
 }
 
+DIV.navigation {
+  min-height    : 64px;
+/*   background    : url("Eigen_Silly_Professor_64x64.png") no-repeat left; */
+  padding-left  : 80px;
+  padding-top   : 5px;
+}
+
 TABLE.noborder {
   border-bottom-style : none;
   border-left-style   : none;
@@ -496,5 +503,10 @@ TABLE.tutorial_code TD {
   vertical-align: middle;
 }
 
+DIV.eimainmenu {
+  text-align:     center;
+/*   border-top:     solid; */
+/*   border-bottom:  solid; */
+}