if (navigator.userAgent.indexOf("MSIE") != -1)
	document.write("<link rel=\"stylesheet\" type=\"text/css\" media=\"screen\" href=\"style_screen_ie.css\" />");

if (navigator.userAgent.indexOf("Windows") != -1)
	document.write("<style type=\"text/css\">\nbody { font-size: 10pt; }\n</style>");