if ((navigator.appName).indexOf("Microsoft")!=-1) {
  document.write('<link rel="stylesheet" href="css/manualsIE.css" type="text/css">');
}
else {
  document.write('<link rel="stylesheet" href="css/manuals.css" type="text/css">');
}