function setFontSize(f_disable) {
	var exists = false;
	for(var i=0; li=document.getElementsByTagName("link")[i]; i++) {
		if(li.getAttribute("rel").indexOf("style") != -1 && li.getAttribute("title")) {
			if(li.getAttribute("title").indexOf("bigfontsize") !=-1) {
				exists = 1;
				if(f_disable == void(0)) {
					f_disable = (li.disabled == true) ? false : true;
				}
				li.disabled = f_disable;
			}
		}
	}
	// Si le lien vers la css n'existe pas, on le cree
	if(!exists) {
		try {
			var link 	= document.createElement('link');
			link.rel 	= "stylesheet";
			link.type	= "text/css";
			link.href 	= "/css/bigfontsize.css";
			link.title	= "bigfontsize";
			document.body.parentNode.firstChild.appendChild(link);
			link.disabled = true;
		} catch(err) { alert(err); }
	}
}