Delayed expanding the HTML navigation tree until after the page has loaded

src/navtree.js

@@ -464,7 +464,9 @@ function initNavTree(toroot,relpath)
     navSync.click(function(){ toggleSyncButton(relpath); });
   }
 
-  navTo(o,toroot,window.location.hash,relpath);
+  $(window).load(function(){
+    navTo(o,toroot,window.location.hash,relpath);
+  });
 
   $(window).bind('hashchange', function(){
      if (window.location.hash && window.location.hash.length>1){

src/navtree_js.h

@@ -464,7 +464,9 @@
 "    navSync.click(function(){ toggleSyncButton(relpath); });\n"
 "  }\n"
 "\n"
-"  navTo(o,toroot,window.location.hash,relpath);\n"
+"  $(window).load(function(){\n"
+"    navTo(o,toroot,window.location.hash,relpath);\n"
+"  });\n"
 "\n"
 "  $(window).bind('hashchange', function(){\n"
 "     if (window.location.hash && window.location.hash.length>1){\n"