<!--
// @@@
// @@ Author: Marco Houtman
// @@ Date: 2007-11-21
// @@ Last change: 2007-11-21
// @@ Version: 1
// @@ Revision: 0
// @@ Copyright: Ecommany B.V.
// @@ Description: javascript tbv de algemene opmaak / werking
// @@$

// @@*
// @@ Var: timeOutID
// @@ Type: String
// @@ Description: variabele voor het onthouden van het timeout id zodat dit gecanceled kan worden
var timeOutID;


// @@*
// @@ Function: setUpHeights
// @@ Description: functie voor het netjes instellen van de hoogtes van de drie onderste kolommen
function setUpHeights() {
	// bepaal de hoogte en breedte van het scherm
	if (document.all) {
		// ie specifieke code: let op! omdat ie als het goed is in strict mode draait moet hier documentElement staan!
		// in quirks mode moet documentElement door body vervangen worden
		iHoogteScherm = document.documentElement.clientHeight;
	} else {
		// standards compliant browsers
		iHoogteScherm = window.innerHeight;
//		iHoogteScherm = document.body.offsetHeight;
	} // if
	iHoogteScherm = iHoogteScherm - 40; // margin top en bottom
	
	
	// als de hoogte van de content div kleiner is dan de hoogte van het scherm, dan de hoogte aanpassen
	obj = document.getElementById('main_container');
	
	if (obj.offsetHeight < iHoogteScherm) {
		// stel de hoogte van de container in (breedte is reeds gedaan middels stylesheet)
		obj.style.height = iHoogteScherm + 'px';
		
	} // if
} // setUpHeights

// @@*
// @@ Function: onWindowResize
// @@ Description: functie die wordt gebruikt als men het scherm resized (nodig ivm timeout voor IE want
// @@--> die crasht als de setUpHeights functie direct aan window.onresize gehangen wordt)
function onWindowResize() {
        clearTimeout(timeOutID);
        timeOutID = setTimeout('setUpHeights()', 100);
} // onWindowResize

// stel de hoogte van de drie onderste kolommen af (monteuse selectie, verticale scheiding en koppelscherm)
setUpHeights();

// bij het resizen van het scherm opnieuw de hoogtes instellen
window.onresize = onWindowResize;