// JavaScript Document
// v1.1 safari font size

var uAgent = window.navigator.userAgent ;

if ( ( uAgent.indexOf("Firefox") != -1) && ( uAgent.indexOf("Mac") != -1) ) {
	document.write ("<style type='text/css'><!-- html { font-size:12pt; } --></style>");
}

if ( ( uAgent.indexOf("Safari") != -1) && ( uAgent.indexOf("Mac") != -1) ) {
	document.write ("<style type='text/css'><!-- html { font-size:12pt; } --></style>");
}