function stylechange(tag)
{
var taille
			switch(tag)
			{
				
				case "p":
						if(parseInt(document.getElementById('styletxt').style.fontSize)<18)
						{
						taille = parseInt(document.getElementById('styletxt').style.fontSize)
						taille = taille+1
						document.getElementById('styletxt').style.fontSize=taille + 'px';
						}
						break;
						
				case "m":
						if(parseInt(document.getElementById('styletxt').style.fontSize)>9)
						{
						taille = parseInt(document.getElementById('styletxt').style.fontSize)
						taille = taille-1
							document.getElementById('styletxt').style.fontSize=taille + 'px';
						}
					break;
			}
}