/* toc_display.js */
var toggleMenuId="toc",toggleMenu={textShow:"show",textHide:"hide",menu:findElementById(toggleMenuId)};toggleMenu.addControlButtons=function(a){addSpanLink("linker_top"," [","javascript:toggleToc()",toggleMenu.textHide,"]","","togglelink");if(!a){toggleToc()}};function toggleToc(){var g=findElementById("linker"),h=findElementById("linker_bottom"),b=findElementById("linker_top"),i=findElementById("random_photo_top"),j=findElementById("random_photo_bottom"),a=findElementById("random_photo_placeholder"),e=findElementById("main"),c=findElementById("page_title"),d=findElementById(toggleMenuId),f=findElementById("togglelink");if(g&&f&&g.style.display=="none"){changeText(f,toggleMenu.textHide);g.style.display="block";h.style.display="block";i.style.display="block";j.style.display="block";a.style.display="block";e.className="toc_width";c.className="toc_width";d.border="solid"}else{changeText(f,toggleMenu.textShow);g.style.display="none";h.style.display="none";b.style.borderBottomStyle="none";i.style.display="none";j.style.display="none";a.style.display="none";e.className="notoc_width";c.className="notoc_width";d.border="none"}};