function estilo(arquivo) {
    document.getElementById('estilo').href=arquivo;
}