/* This just fixes some IE-specific anomolies */
if (navigator.appName.indexOf("Microsoft") != -1) {
	document.write("<link rel=\"stylesheet\" type=\"text/css\" href=\"styleIE.css\" />");
}