function makeNavTree(e,t,n){for(var r=[],o=0;on+1?i.children.push(l):i.doc=l}else null!=e&&(e.doc=l)}for(o=0;ot.doc.order?1:0}),r}function outputNavBarTree(e){document.writeln("")}function genNavBarTree(e){var t=makeNavTree(null,e,0);outputNavBarTree(t)}function outputSectionNavTree(e){document.writeln("")}function genSectionNavTree(e){var t=makeNavTree(null,e,0);document.writeln("
"),outputSectionNavTree(t),document.writeln("
")}