ToC

var isIE = navigator.appName.toLowerCase().indexOf("explorer") > -1; var mdi = (isIE) ? textSizes[1]:textSizes[3]; var sml = (isIE) ? textSizes[2]:textSizes[4]; var oldCurrentNumber = "", oldLastVisitNumber = ""; var toDisplay = new Array(); for (ir=0; ir\n\nToC\n\n\n\n\n\n"); /* Moved to bottom but could be modified to work in line above */ var currentNumArray = currentNumber.split("."); var currentLevel = currentNumArray.length-1; var currentIndex = null; for (i=0; i currentLevel && toDisplay[currentIndex+1]; } else currentIsExpanded = false; theHref = (noLink) ? "" : tocTab[currentIndex][2]; theTarget = tocTab[currentIndex][3]; for (i=1; i 0) { for (j=0; jcurrentLevel) ? false : isOnPath && (thisNumArray[j] == currentNumArray[j]); } } toDisplay[i] = (tocChange == 1) ? isOnPath : (isOnPath || toDisplay[i]); if (thisNumber.indexOf(currentNumber+".")==0 && thisLevel > currentLevel) { if (currentIsExpanded) toDisplay[i] = false; else toDisplay[i] = (thisLevel == currentLevel+1); } } } var scrollY=0, addScroll=tocScroll; for (i=1; i= nextLevel) ? "leaf" : ((toDisplay[i+1]) ? "minus" : "plus"); } else img = "leaf"; if (addScroll) scrollY+=((thisLevel<2)?mdi:sml)*25; if (isCurrent) addScroll=false; if (noLink) thisTextColor = (thisNumber==oldCurrentNumber) ? currentColor:((thisNumber==oldLastVisitNumber) ? lastVisitColor:normalColor); else thisTextColor = (thisNumber==currentNumber) ? currentColor:((thisNumber==oldCurrentNumber) ? lastVisitColor:normalColor); toc.document.writeln(""); for (k=1; k<=thisLevel; k++) { toc.document.writeln(""); } toc.document.writeln(""); } } if (!noLink) { oldLastVisitNumber = oldCurrentNumber; oldCurrentNumber = currentNumber; } /* *** START *** Moved here from top with modifications */ toc.document.write(""); for (k=0; k "); } toc.document.write(""); /* *** END *** Moved here from top with modifications */ toc.document.writeln("

" + tocTab[0][1] + "
		" + ((showNumbers)?(thisNumber+" "):"") + tocTab[i][1] + "

\n"); toc.document.close(); if (tocScroll) toc.scroll(0,scrollY); if (theHref) if (theTarget=="top") top.location.href = theHref; else if (theTarget=="parent") parent.location.href = theHref; else if (theTarget=="blank") open(theHref,""); else content.location.href = theHref; }