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