Remove TOC numbering, and minor improvement in overview.
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js
index 6b021c7..bd7e02b 100644
--- a/doc/eigen_navtree_hacks.js
+++ b/doc/eigen_navtree_hacks.js
@@ -26,7 +26,8 @@
         prefix+="."+indices[1];
       }
         
-      current.html(prefix + "   " + current.html());
+      // Uncomment to add number prefixes
+      // current.html(prefix + "   " + current.html());
       for(var l = levelTag; l < 2; ++l){
           indices[l] = 0;
       }