var agent = navigator.userAgent
var mac = agent.indexOf("Mac",0)

document.write("<style type='text/css'>");
if (mac != -1){ document.write(".Leadtext { font-size: 11px;	line-height: 140%;}");
	}
else { document.write(".Leadtext { font-size: 12px;	line-height: 140%;}");
	}
document.write("</style>");