function estilo(archivo) {
    document.getElementById('estilo').href=archivo;
}
function guarda_estilo(archivo) {
	//document.getElementById('estilo').href=archivo;
	$.post("/cachear.php",{file:archivo},function(){
	
	})
    
}