if (navigator.platform=='Win32') {
		document.getElementById('body').style.fontFamily = "'Courier New', Courier, mono";
		document.getElementById('footer').style.fontSize = "11px";
	}