// JavaScript Document



// modification de la hauteur du DIV 'box' afin de l'adapter à l'écran 

function getWindowHeight()
{
			var windowHeight = 0;
			if (typeof(window.innerHeight) == 'number') 
			{
				windowHeight = window.innerHeight;
			}
			else
			{
				if (document.documentElement && document.documentElement.clientHeight)
				{
					windowHeight = document.documentElement.clientHeight;
				}
				else
				{
							if (document.body && document.body.clientHeight)
							{
							windowHeight = document.body.clientHeight;
							}
				}
			}

			return windowHeight;
}



function setBoxHeight(elementname)
{
	var windowHeight = getWindowHeight() - 235 + 'px';
	document.getElementById(elementname).style.height=windowHeight;
}