// JavaScript Document

function boostFont(sens){
	
	var taille=parseInt(document.getElementById('contenu').style.fontSize) 
	if (sens=='up'){
		taille++;
		}
	else {taille--;}
	taille+='px'
	document.getElementById('contenu').style.fontSize = taille;
 }