var appName = window.navigator.appName;
if (appName == "Microsoft Internet Explorer")
  document.write("<link rel=\"stylesheet\" type=\"text\/css\" href=\"docs\/main_ie.css\" \/>");
else
  document.write("<link rel=\"stylesheet\" type=\"text\/css\" href=\"docs\/main.css\" \/>");