function displayBox(id) {
    if (currentPop != "" && currentPop != id) {
        hideBox(currentPop);
    }
    el = document.getElementById(id+"-infos");
    nb = el.className.substr(-1);
    el.className="infos"+nb;
    currentPop = id;
}
function hideBox(id) {
    el = document.getElementById(id+"-infos");
    nb = el.className.substr(-1);
    el.className="hidden"+nb;
}

function setActiveStyleSheet(title) {
    var i, a, main;
    for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
        if(a.getAttribute("rel").indexOf("style") != -1
            && a.getAttribute("title")) {
            a.disabled = true;
            if(a.getAttribute("title") == title) a.disabled = false;
        }
   }
}

ieAvertText = "Microsoft Internet Explorer users : You are using an obsolete browser that hasn't been updated for years. That's why you won't be able to display this page correctly. If you want to get access to what's better on the web we invite you to download an alternative browser such as <a href=\"http://www.mozilla-europe.org\">Mozilla Firefox</a>.";