// JavaScript Document
var taillefont=68.75;
function $(el){
	return document.getElementById(el);
}

function setInputVal(target, value) {
	if ($(target).value == "")
		$(target).value = value;
	else {
		if ($(target).value == value)
			$(target).value = "";
	}
}
function gestionFont(action){
	switch (action) { 
	case 'plus':
		if (taillefont<=130) taillefont+=10;
		break;
	case 'default': 
		taillefont=68.75;
		break;
	case 'moins': 
		if (taillefont>=50) taillefont-=10;
		break;
	} 
	
	var body2=document.getElementsByTagName("body");
	body2[0].style.fontSize= taillefont+"%";
}
function imprimer(){
	window.print();
}