// preload CSS images
var pre1 = new Image();
pre1.src = 'images/button_graybg2.gif';
var pre2 = new Image();
pre2.src = 'images/button_redbg2.gif';
// detect macs so the nav can look good
var ismac = navigator.platform.indexOf('Mac') + 1;
window.onload = function() {
	if (ismac) {
		var dom = (document.getElementById);
		if (dom) document.getElementById('topnav').className = 'mac';
	}
}