function showHideTOC(){ if (document.getElementById("tocShowHide").style.display!="none") { document.getElementById("tocShowHide").style.display="none"; document.getElementById("tocShowHideTitle").innerHTML="[show]"; } else { document.getElementById("tocShowHide").style.display="block"; document.getElementById("tocShowHideTitle").innerHTML="[hide]"; } }