var ops = navigator.userAgent;
if(ops.toLowerCase().indexOf("win") != -1){
	if(ops.indexOf("Windows NT") != -1){
		if(eval(ops.charAt(ops.indexOf("Windows NT") + 11)) > 5){
			document.write("<style type='text/css' media='screen'><!--\nbody{ font-size:78%; }\n-->\n</style>\n");
		}
	}
}else{
	document.write("<style type='text/css' media='screen'><!--\nbody{ font-size:12px; }\n.bigp{ font-size:14px; }\np.bigp span{ font-weight:bold; }\n#wakpr p a{ font-weight:bold; }\n-->\n</style>\n");
}