if (navigator.userAgent.indexOf("Safari")!=-1) {
	document.write("<link rel=\"stylesheet\" href=\"http://development.lib.wvu.edu/css/safariMenubar.css\" type=\"text/css\" />");
}