|  |  | 
|  | // generate a table of contents in the side-nav based on the h1/h2 tags of the current page. | 
|  | function generate_autotoc() { | 
|  | var headers = $("h1, h2"); | 
|  | if(headers.length > 1) { | 
|  | var toc = $("#side-nav").append('<div id="nav-toc" class="toc"><h3>Table of contents</h3></div>'); | 
|  | toc = $("#nav-toc"); | 
|  | var footerHeight = footer.height(); | 
|  | toc = toc.append('<ul></ul>'); | 
|  | toc = toc.find('ul'); | 
|  | var indices = new Array(); | 
|  | indices[0] = 0; | 
|  | indices[1] = 0; | 
|  |  | 
|  | var h1counts = $("h1").length; | 
|  | headers.each(function(i) { | 
|  | var current = $(this); | 
|  | var levelTag = current[0].tagName.charAt(1); | 
|  | if(h1counts==0) | 
|  | levelTag--; | 
|  | var cur_id = current.attr("id"); | 
|  |  | 
|  | indices[levelTag-1]+=1; | 
|  | var prefix = indices[0]; | 
|  | if (levelTag >1) { | 
|  | prefix+="."+indices[1]; | 
|  | } | 
|  |  | 
|  | // Uncomment to add number prefixes | 
|  | // current.html(prefix + "   " + current.html()); | 
|  | for(var l = levelTag; l < 2; ++l){ | 
|  | indices[l] = 0; | 
|  | } | 
|  |  | 
|  | if(cur_id == undefined) { | 
|  | current.attr('id', 'title' + i); | 
|  | current.addClass('anchor'); | 
|  | toc.append("<li class='level" + levelTag + "'><a id='link" + i + "' href='#title" + | 
|  | i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>"); | 
|  | } else { | 
|  | toc.append("<li class='level" + levelTag + "'><a id='" + cur_id + "' href='#title" + | 
|  | i + "' title='" + current.prop("tagName") + "'>" + current.text() + "</a></li>"); | 
|  | } | 
|  | }); | 
|  | resizeHeight(); | 
|  | } | 
|  | } | 
|  |  | 
|  |  | 
|  | var global_navtree_object; | 
|  |  | 
|  | // Overloaded to remove links to sections/subsections | 
|  | function getNode(o, po) | 
|  | { | 
|  | po.childrenVisited = true; | 
|  | var l = po.childrenData.length-1; | 
|  | for (var i in po.childrenData) { | 
|  | var nodeData = po.childrenData[i]; | 
|  | if((!nodeData[1]) ||  (nodeData[1].indexOf('#')==-1)) // <- we added this line | 
|  | po.children[i] = newNode(o, po, nodeData[0], nodeData[1], nodeData[2], i==l); | 
|  | } | 
|  | } | 
|  |  | 
|  | // Overloaded to adjust the size of the navtree wrt the toc | 
|  | function resizeHeight() | 
|  | { | 
|  | var header  = $("#top"); | 
|  | var sidenav = $("#side-nav"); | 
|  | var content = $("#doc-content"); | 
|  | var navtree = $("#nav-tree"); | 
|  | var footer  = $("#nav-path"); | 
|  | var toc     = $("#nav-toc"); | 
|  |  | 
|  | var headerHeight = header.outerHeight(); | 
|  | var footerHeight = footer.outerHeight(); | 
|  | var tocHeight    = toc.height(); | 
|  | var windowHeight = $(window).height() - headerHeight - footerHeight; | 
|  | content.css({height:windowHeight + "px"}); | 
|  | navtree.css({height:(windowHeight-tocHeight) + "px"}); | 
|  | sidenav.css({height:windowHeight + "px"}); | 
|  | } | 
|  |  | 
|  | // Overloaded to save the root node into global_navtree_object | 
|  | function initNavTree(toroot,relpath) | 
|  | { | 
|  | var o = new Object(); | 
|  | global_navtree_object = o; // <- we added this line | 
|  | o.toroot = toroot; | 
|  | o.node = new Object(); | 
|  | o.node.li = document.getElementById("nav-tree-contents"); | 
|  | o.node.childrenData = NAVTREE; | 
|  | o.node.children = new Array(); | 
|  | o.node.childrenUL = document.createElement("ul"); | 
|  | o.node.getChildrenUL = function() { return o.node.childrenUL; }; | 
|  | o.node.li.appendChild(o.node.childrenUL); | 
|  | o.node.depth = 0; | 
|  | o.node.relpath = relpath; | 
|  | o.node.expanded = false; | 
|  | o.node.isLast = true; | 
|  | o.node.plus_img = document.createElement("img"); | 
|  | o.node.plus_img.src = relpath+"ftv2pnode.png"; | 
|  | o.node.plus_img.width = 16; | 
|  | o.node.plus_img.height = 22; | 
|  |  | 
|  | if (localStorageSupported()) { | 
|  | var navSync = $('#nav-sync'); | 
|  | if (cachedLink()) { | 
|  | showSyncOff(navSync,relpath); | 
|  | navSync.removeClass('sync'); | 
|  | } else { | 
|  | showSyncOn(navSync,relpath); | 
|  | } | 
|  | navSync.click(function(){ toggleSyncButton(relpath); }); | 
|  | } | 
|  |  | 
|  | navTo(o,toroot,window.location.hash,relpath); | 
|  |  | 
|  | $(window).bind('hashchange', function(){ | 
|  | if (window.location.hash && window.location.hash.length>1){ | 
|  | var a; | 
|  | if ($(location).attr('hash')){ | 
|  | var clslink=stripPath($(location).attr('pathname'))+':'+ | 
|  | $(location).attr('hash').substring(1); | 
|  | a=$('.item a[class$="'+clslink+'"]'); | 
|  | } | 
|  | if (a==null || !$(a).parent().parent().hasClass('selected')){ | 
|  | $('.item').removeClass('selected'); | 
|  | $('.item').removeAttr('id'); | 
|  | } | 
|  | var link=stripPath2($(location).attr('pathname')); | 
|  | navTo(o,link,$(location).attr('hash'),relpath); | 
|  | } else if (!animationInProgress) { | 
|  | $('#doc-content').scrollTop(0); | 
|  | $('.item').removeClass('selected'); | 
|  | $('.item').removeAttr('id'); | 
|  | navTo(o,toroot,window.location.hash,relpath); | 
|  | } | 
|  | }) | 
|  |  | 
|  | $(window).load(showRoot); | 
|  | } | 
|  |  | 
|  | // return false if the the node has no children at all, or has only section/subsection children | 
|  | function checkChildrenData(node) { | 
|  | if (!(typeof(node.childrenData)==='string')) { | 
|  | for (var i in node.childrenData) { | 
|  | var url = node.childrenData[i][1]; | 
|  | if(url.indexOf("#")==-1) | 
|  | return true; | 
|  | } | 
|  | return false; | 
|  | } | 
|  | return (node.childrenData); | 
|  | } | 
|  |  | 
|  | // Modified to: | 
|  | // 1 - remove the root node | 
|  | // 2 - remove the section/subsection children | 
|  | function createIndent(o,domNode,node,level) | 
|  | { | 
|  | var level=-2; // <- we replaced level=-1 by level=-2 | 
|  | var n = node; | 
|  | while (n.parentNode) { level++; n=n.parentNode; } | 
|  | if (checkChildrenData(node)) { // <- we modified this line to use checkChildrenData(node) instead of node.childrenData | 
|  | var imgNode = document.createElement("span"); | 
|  | imgNode.className = 'arrow'; | 
|  | imgNode.style.paddingLeft=(16*level).toString()+'px'; | 
|  | imgNode.innerHTML=arrowRight; | 
|  | node.plus_img = imgNode; | 
|  | node.expandToggle = document.createElement("a"); | 
|  | node.expandToggle.href = "javascript:void(0)"; | 
|  | node.expandToggle.onclick = function() { | 
|  | if (node.expanded) { | 
|  | $(node.getChildrenUL()).slideUp("fast"); | 
|  | node.plus_img.innerHTML=arrowRight; | 
|  | node.expanded = false; | 
|  | } else { | 
|  | expandNode(o, node, false, false); | 
|  | } | 
|  | } | 
|  | node.expandToggle.appendChild(imgNode); | 
|  | domNode.appendChild(node.expandToggle); | 
|  | } else { | 
|  | var span = document.createElement("span"); | 
|  | span.className = 'arrow'; | 
|  | span.style.width   = 16*(level+1)+'px'; | 
|  | span.innerHTML = ' '; | 
|  | domNode.appendChild(span); | 
|  | } | 
|  | } | 
|  |  | 
|  | // Overloaded to automatically expand the selected node | 
|  | function selectAndHighlight(hash,n) | 
|  | { | 
|  | var a; | 
|  | if (hash) { | 
|  | var link=stripPath($(location).attr('pathname'))+':'+hash.substring(1); | 
|  | a=$('.item a[class$="'+link+'"]'); | 
|  | } | 
|  | if (a && a.length) { | 
|  | a.parent().parent().addClass('selected'); | 
|  | a.parent().parent().attr('id','selected'); | 
|  | highlightAnchor(); | 
|  | } else if (n) { | 
|  | $(n.itemDiv).addClass('selected'); | 
|  | $(n.itemDiv).attr('id','selected'); | 
|  | } | 
|  | if ($('#nav-tree-contents .item:first').hasClass('selected')) { | 
|  | $('#nav-sync').css('top','30px'); | 
|  | } else { | 
|  | $('#nav-sync').css('top','5px'); | 
|  | } | 
|  | expandNode(global_navtree_object, n, true, true); // <- we added this line | 
|  | showRoot(); | 
|  | } | 
|  |  | 
|  |  | 
|  | $(document).ready(function() { | 
|  |  | 
|  | generate_autotoc(); | 
|  |  | 
|  | (function (){ // wait until the first "selected" element has been created | 
|  | try { | 
|  |  | 
|  | // this line will triger an exception if there is no #selected element, i.e., before the tree structure is complete. | 
|  | document.getElementById("selected").className = "item selected"; | 
|  |  | 
|  | // ok, the default tree has been created, we can keep going... | 
|  |  | 
|  | // expand the "Chapters" node | 
|  | if(window.location.href.indexOf('unsupported')==-1) | 
|  | expandNode(global_navtree_object, global_navtree_object.node.children[0].children[2], true, true); | 
|  | else | 
|  | expandNode(global_navtree_object, global_navtree_object.node.children[0].children[1], true, true); | 
|  |  | 
|  | // Hide the root node "Eigen" | 
|  | $(document.getElementsByClassName('index.html')[0]).parent().parent().css({display:"none"}); | 
|  |  | 
|  | } catch (err) { | 
|  | setTimeout(arguments.callee, 10); | 
|  | } | 
|  | })(); | 
|  |  | 
|  | $(window).load(resizeHeight); | 
|  | }); | 
|  |  |