if(navigator.platform.substr(0,3) != "Win"){
	if(navigator.userAgent.indexOf("Opera") == -1){
		document.write("<style type='text/css' media='screen'><!--\nbody{ font-size:12px; }\nul.menuul li{ letter-spacing:0; }\n-->\n</style>\n");
	}
}