// JavaScript Document
var colorSelector = 0;
var colors = [ "#0000ff",  /* bleu */
			   "#a3008f", /* violet */
			   "#a0a0a0"]; /* gris */
function changeBannerColor() {
    myObj = document.getElementById("banner");
    // myObj.style.font = "Tahoma";
    myObj.style.color = colors[colorSelector];

    colorSelector = (colorSelector + 1) % colors.length;
}

setInterval("changeBannerColor()", 1500);