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

