ToC

/*Copyright DevHost Ltd. 2006 : v2.023*/ 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\n\nToC\n\n\n\n\n\n"); for (k=0; k ");} toc.document.write(""); 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); } } } // End of loop over the tocTab var scrollY=0, addScroll=tocScroll; for (i=1; i= nextLevel) ? "topic.gif" : ((toDisplay[i+1]) ? "open.gif" : "closed.gif"); } else img = "topic.gif"; 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; } toc.document.writeln("

" + tocTab[0][1] + "

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

\n"); toc.document.writeln("\n\r\n\r
\n\r

\n\r

\n\r Copyright 2007 by BinaryBoy.com\n\r

\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; }