function isWindows() {
	return (navigator.appVersion.indexOf("Win") != -1)
	}
function isLevel4Enabled() {
	return (navigator.appVersion.charAt(0) >= 4)
	}
function isNetscape() {
	return (navigator.appName == "Netscape")
	}
if (isLevel4Enabled() && isWindows()) {
	document.write("<STYLE TYPE=\"text/css\">")
	// I'd love to turn this on for Netscape also, but there are too many
	// layout bugs if I do
	if (!isNetscape()) {
    	document.write("P { line-height:0.85 }")
    	document.write("TD { line-height: 0.85 }")
    	document.write("LI { line-height: 0.85 }")
	}
    document.write("</STYLE>")
}