var agt=navigator.userAgent.toLowerCase();
var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
var is_win    = ((agt.indexOf("win")!=-1) || (agt.indexOf("16bit")!=-1) );
var is_mac    = (agt.indexOf("mac")!=-1);
var is_opera  = (agt.indexOf("opera") != -1);
var is_konq   = (agt.indexOf("konquer") != -1);

//SCRIPT OM BROWSERAFHANKELIJK CSS TE BEPALEN
if (is_ie) {
	var oHEAD=document.getElementsByTagName('HEAD').item(0);
	var nLink=document.createElement('LINK');
	nLink.rel="stylesheet";
	nLink.type="text/css";
	
	if (is_win) {
		var nCss2Style=document.getElementsByTagName('STYLE').item(1);
		nLink.href="benv_ie.css";
		oHEAD.replaceChild(nLink,nCss2Style);
	} 
	else if (is_mac) {
		nLink.href="ie_mac.css";
		document.styleSheets[1].disabled = true;
		document.write('<link rel="'+nLink.rel+'" type="'+nLink.type+'" href="'+nLink.href+'" />');
		
		window.onresize = setHeight;
	}
}

//SCRIPT OM HOOGTE TE BEPALEN VAN DIVS IN IEMAC
function setHeight (){
	subMarPad = 210; /* the total value of margins and padding to subtract from the body height */
	mainDiv = document.getElementById('main');
	mainDiv.style.top = (parseInt(document.body.clientHeight)/2 - subMarPad) + "px";
	mainDiv.style.visibility = "visible";
}