/* -----------------------------------------------
   Menu tree opener - v.1
   (c) 2006 www.haan.net
   contact: jeroen@haan.net
   You may use this script but please leave the credits on top intact.
   Please inform us of any improvements made.
   When usefull we will add your credits.
  ------------------------------------------------ */
function showhideTree(toc)
{
	if (document.getElementById)
	{
		var el = document.getElementById(toc);
		if (el && el.className)
		{
			el.className = (el.className == 'navOpened') ? 'navClosed' : 'navOpened';
		}
	}
}
window.onload = function()
{
	//showhideTree('toc_1');
	//showhideTree('toc_2');
	//showhideTree('toc_3');
}