<!--
  // als dit Internet Explorer is dan stylesheetIE inladen, anders stylesheetNotIE inladen
  
  // aan te passen regels
  var menustylesheetNotIE = '/css/mozmenu.css';
  var menustylesheetIE = '/css/iemenu.css';
  var stylesheetNotIE = '/css/mozstyle.css';
  var stylesheetIE = '/css/iestyle.css';
  // einde aan te passen regels


	if ( navigator.userAgent.indexOf('mac')==-1 ) // pc
  {
  	if (navigator.userAgent.indexOf('MSIE')!=-1)
  	{
   	 document.write('<link href="' + menustylesheetIE + '" rel="stylesheet" type="text/css">');
	 document.write('<link href="' + stylesheetIE + '" rel="stylesheet" type="text/css">');
  	}
  	else
  	{
   	 document.write('<link href="' + menustylesheetNotIE + '" rel="stylesheet" type="text/css">');
	 document.write('<link href="' + stylesheetNotIE + '" rel="stylesheet" type="text/css">');
  	}
  }

//-->


