// -----------------------------------------------------------------------------
// Hide the TOC by default
// (c) 2005 Sam Hocevar <sam@zoy.org>
// $Id: hidetoc.js 799 2005-03-20 13:45:49Z sam $
// -----------------------------------------------------------------------------

function DisableToc() {
  if (document.getElementById && document.getElementById('toctitle'))
    toggleToc();
}

if (window.addEventListener)
  window.addEventListener("load", DisableToc, false);
else if (window.attachEvent)
  window.attachEvent("onload", DisableToc);