/** * This prints the switch to toggle the Table of Contents */ function showTocToggle(showtxt,hidetxt) { if(document.getElementById) { show = ''; hide = ''; document.writeln('