if ( is.win && is.ie && !is.opera) {
	/* Windows IE—p CSS */
	document.write('<link rel="stylesheet" type="text/css" href="/shared/css/win_ie.css" />');
	document.write('<link rel="stylesheet" type="text/css" href="css/win_ie.css" />');
	document.close();
}