1 files changed, 1 insertions, 2 deletions
diff --git a/doc/eigendoxy.css b/doc/eigendoxy.css
index b64c49ae9..949a1368a 100644
--- a/doc/eigendoxy.css
+++ b/doc/eigendoxy.css
@@ -452,12 +452,11 @@ A.top:hover, A.logo:hover {
   background-color: transparent;font-weight : bolder;
 }
 SPAN.note {
-  font-size: 7pt;
+  font-size: 8.5pt;
 }
 
 DIV.navigation {
   min-height    : 64px;
-/*   background    : url("Eigen_Silly_Professor_64x64.png") no-repeat left; */
   padding-left  : 80px;
   padding-top   : 5px;
 }