// Gestion de la taille du texte
function setBodyTextSize(size) {
	if (document.cookie) {
		document.body.className=size;
		btns = new Array('s','m','l');
		for (i=0; i<3; i++) {
			document.getElementById(btns[i]).className = 'textbtn';
		}
		document.getElementById(size).className = 'textbtn select';
		document.cookie = "textsize=" + size + "; path=/;";
		return false;
	} else {
		// no cookie, use real URL
		return true;
	}
}