// Zorgt er voor dat de juiste tab gehighlight is
function setSelectedTab(tab)
{
	document.getElementById(tab).style.background = 'url(img/tab_selected.jpg)';

}

// Functie die de bovenste tab juist aanpast
function setSelectedTopTab(tab)
{
	document.getElementById(tab).style.background = 'url(img/tab_top_selected.jpg)';
}

// IE / FF compliant methode om de style waarde van een bepaald element
// en een bepaald style eigenschap te krijgen.
function getStyle(el, prop)
{
	var el = document.getElementById(el);
	if (el.currentStyle)
		var val = el.currentStyle[prop];
	else if (window.getComputedStyle)
		var val = parseInt(document.defaultView.getComputedStyle(el,null).getPropertyValue(prop)) + 2;
	
	return val;
}

// Zorgt voor de juiste spacer hoogte onder aan het tab-menu
function fixSpacer() 
{
	// Reset spacer hoogte:
	document.getElementById('spacer').style.height = '0';
	
	var menuH = 254;
	var contentH = parseInt(getStyle('contentArea', 'height')) - 39;

	// Zelfde geldt hier als bij contentH hierboven	
	if(isNaN(contentH))
		contentH = parseInt(document.getElementById('contentArea').offsetHeight) - 37;				
	
	if(menuH > contentH)
		var spacerH = 0;
	else
		var spacerH = contentH - menuH;
		
	document.getElementById('spacer').style.height = spacerH;

	// Bij 2 pixels is het verschil niet duidelijk
 	if(parseInt(spacerH) <= 2)
		document.getElementById('spacer').style.display = 'none';
 	else
 		document.getElementById('spacer').style.display = ''; 	
}

// Functie die de eigenschappen van de tabContainer zet (rowspan etc)
function setContainerProperties(tabNummer)
{
		// Rowspan van de container moet juist zijn
		document.getElementById('contentArea').rowSpan = tabNummer;					
		
		// Zorg dat na het creeren van alle html de functie aangeroepen wordt.
		if(parseInt(document.getElementById('contentArea').offsetHeight) == 0)		
			window.onload = fixSpacer;
		else
			fixSpacer();
}

// Standaard tab:
last_tab = 'text';

// Functie die de tab met tab_name laat zien en de vorige verbergt
function show(tab_name) 
{
	document.getElementById(last_tab).style.display = 'none';
	document.getElementById(tab_name).style.display = '';

	// Highlight de juiste tab en 'unhighlight' de oude tab
	document.getElementById(last_tab + 'Tab').style.background = 'url(img/subtab.jpg)';
	document.getElementById(tab_name + 'Tab').style.background = 'url(img/subtab_sel.jpg)';
	
	last_tab = tab_name;
	
	// Roep de functie 'fixSpacer()' aan 
	fixSpacer();
}