ToC

/*------------------------------------------------------------------- Author's Statement: This script is based on ideas of the author. You may copy, modify and use it for any purpose. The only condition is that if you publish web pages that use this script you point to its author at a suitable place and don't remove this Statement from it. It's your responsibility to handle possible bugs even if you didn't modify anything. I cannot promise any support. Dieter Bungers GMD (www.gmd.de) and infovation (www.infovation.de) --------------------------------------------------------------------*/ /* v2.1 Modified by Neale Morison March 2002 */ if (navigator.appName.toLowerCase().indexOf("explorer") > -1) { var mdi=textSizes[1], sml=textSizes[2]; } else { var mdi=textSizes[3], sml=textSizes[4]; } function reDisplay(currentNumber,currentIsExpanded) { toc.document.open(); toc.document.write("\n\nToC\n\n\n\n"); var currentNumArray = currentNumber.split("."); var currentLevel = currentNumArray.length-1; var scrollY=0, addScroll=true, theHref="", theTarget=""; for (i=0; i 0) { for (j=0; jcurrentLevel)?false:toDisplay && (thisNumArray[j] == currentNumArray[j]); } } thisIsExpanded = toDisplay && (thisNumArray[thisLevel] == currentNumArray[thisLevel]) if (currentIsExpanded) { toDisplay = toDisplay && (thisLevel<=currentLevel); if (isCurrentNumber) thisIsExpanded = false; } if (toDisplay) { if (i==0) { toc.document.writeln("\n"); for (k=0; k "); } toc.document.write(""); } else { if (addScroll) scrollY+=((thisLevel<2)?mdi:sml)*25; if (isCurrentNumber) addScroll=false; var isLeaf = (i==tocTab.length-1) || (thisLevel >= tocTab[i+1][0].split(".").length-1); img = (isLeaf)?"leaf":(thisIsExpanded)?"minus":"plus"; toc.document.writeln(""); for (k=1; k<=thisLevel; k++) { toc.document.writeln(""); } toc.document.writeln(""); } } } toc.document.writeln("

" + tocTab[i][1] + "

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

\n"); toc.document.close(); toc.scroll(0,scrollY); if (theHref != ""){ if (theTarget == "_top"){ document.location.href = theHref; } else if (theTarget == "_blank") { window.open(theHref,''); } else { content.location.href = theHref; } } }