var browser=navigator.appName
var b_version=navigator.appVersion
var version=parseFloat(b_version)
//alert(browser + "   " + b_version + "   " + version)

function cambiacss(id,value) {
	if(value==1){valor=11};
	if(value==2){valor=13};
	if(value==3){valor=15};

	if(id==0){name="csstext"};
	
	for(i=0;i<=39;i++) {
		changeall(name+i,valor);
	}
}
function changeall(id,value) {
	if(document.getElementById(id)) {
		with(document.getElementById(id).style) {
			fontfamily = "Verdana";
			fontSize = value;
		}
	}
}