// JavaScript Document
var min=8;
var max=18;
function fct_text_size(value) {
	var varContentTxt = document.getElementById("contentTxt");
	if(varContentTxt.style.fontSize) {
		var s = parseInt(varContentTxt.style.fontSize.replace("px",""));
	} else {
		var s = 12;
	}
	if(s!=max && value == "larger") {
		s += 1;
	} else if (s!=min && value == "smaller") {
		s -= 1;
	}
	varContentTxt.style.fontSize = s+"px";
}