// Firefox 3 on mac, the font sizes render slightly differently than firefox 2
if (navigator.appVersion.indexOf("Macintosh")!=-1 && navigator.userAgent.indexOf("Firefox/3")!=-1) {
	document.write("<link rel=\"stylesheet\" href=\"http://www.libraries.wvu.edu/css/macFirefox3Home.css\" type=\"text/css\" />");
}