// JavaScript Document

if  ((navigator.appName == "Microsoft Internet Explorer") && (navigator.userAgent.indexOf ("Opera") == -1))  {
	document.write ('<link href="style_ie.css" rel="stylesheet" type="text/css" media="screen" />');
};