var fontSize = 11;
var lineHeight = 16;

function setFaceSize()
	{
	lineHeight = fontSize+Math.round(.3*fontSize);

		obj = document.getElementById("contenu");
		obj.style.fontSize = fontSize+"px";
		obj.style.lineHeight = lineHeight+"px"
	}

function FontLarger()
	{
	if (fontSize < 26) {
	fontSize = fontSize+2;
	setFaceSize();
	}
	}
	
function FontSmaler()
	{
	if (fontSize > 11) {
	fontSize = fontSize-2
	setFaceSize();
	}
	}
	
	


function FocusText(BoxName)
{
if (BoxName.value == BoxName.defaultValue)
{
BoxName.value = '';
}
}
function BlurText(BoxName)
{
if (BoxName.value == '')
{
BoxName.value = BoxName.defaultValue;
}
}