// Fix om alle kolommen dezelfde hoogte te krijgen.
// Deze fix is niet nodig als de stylesheet uit staat,
// dus daar moet eerst op gecontroleerd worden.

function copyheight()
{
  if (document.getElementById)
  {
	een  = document.getElementById('linkerkolom');
	twee = document.getElementById('middenkolom');
	drie = document.getElementById('rechterkolom');

	// Staat stylesheet wel aan? Zo ja, dan zijn de kolommen niet even breed.
	if (een.offsetWidth != twee.offsetWidth)
	{
		h1 = een.offsetHeight;
		h2 = twee.offsetHeight;
		h3 = drie.offsetHeight;

		maxheight = getMax(getMax(h1,h2),h3);

		// IE 5.5 en Mozilla doen het automatisch al goed met height="100%"
		// als de linkerkolom de langste is.
		// Daarom alleen de hoogte veranderen als-ie niet klopt:

		if (h1 < maxheight) een.style.height  = maxheight + 'px';
		if (h2 < maxheight) twee.style.height = maxheight + 'px';
		if (h3 < maxheight) drie.style.height = maxheight + 'px';

		return true;
	}
  }
}

function getMax(x,y) {
	return Math.max(x,y)
}

function toggleSubmenu(menuid, submenuid)
{
	var stijl = document.getElementById(submenuid).style;

	if (stijl.display == "block") {
		stijl.display = "none";
		menuid.className = '';
	}
	else {
		stijl.display = "block";
		menuid.className = 'selected';
	}

	return false;
}

// functie ook aanroepen als het window verandert.
window.onresize = copyheight;