function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}


var taille=12;

function diminue(z){
var elem = document.getElementById(z);

if ((taille>12) && (taille>1)){

taille=taille-1;
pixel=taille+"px";
elem.style.fontSize = pixel;
}

}

function augmente(z){
var elem = document.getElementById(z);

if ((taille<16) && (taille<50)){
taille++;
pixel=taille+"px";
elem.style.fontSize = pixel;
}
}