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