function cambiarCSS(nuevo){
    //let css = true;
    //window.location.href = window.location.href + "?css=" + css;
    document.getElementById('estilo').setAttribute('href', nuevo);
}