//// Función que cambia el tamaño del texto
function cambiarTexto(id, tamano) {
document.getElementById(id).style.fontSize = (tamano);
}

//// Función que muestra el menú flotante
function control_menu(showHideDiv) {
        var ele = document.getElementById(showHideDiv);
        if(ele.style.display == "block") {
                ele.style.display = "none";
        }
        else {
                ele.style.display = "block";
        }
}