// Gestion des cookies
function InitializeText(id) {
	var size = GetCookie("TextSize");
    
	if (!((size == 11)||(size == 13)||(size == 15))) {
		size = 13;
	}
    
	var date = new Date;
	date.setMonth(date.getMonth()+12); // expire dans un an
	SetCookie("TextSize", size, date, "/");
    
	document.getElementById(id).style.fontSize = size + "px";
}

function ResizeText(id) {
	var size = GetCookie("TextSize");

	if (size == 11) {
		size = 13 ;
	} else if (size == 13) {
		size = 15 ;
	} else if (size == 15) {
		size = 11 ;
	} else {
		size = 13;
	}
       
	var date = new Date;
	date.setMonth(date.getMonth()+12); // expire dans un an
	SetCookie("TextSize", size, date, "/");

	document.getElementById(id).style.fontSize = size + "px";
}