var old_onload, old_onresize, L, R, maxH;

if (document.getElementById)
{
	old_onload = null;
	if (typeof window.onload == "function")
	{
		old_onload = window.onload;
	}
	window.onload = setH;

	old_onresize = null;
	if (typeof window.onresize == "function")
	{
		old_onresize = window.onresize;
	}
	window.onresize = setH;
}

function setH()
{
	if (old_onload)
	{
		old_onload();
		old_onload = null;
	}
	if (old_onresize)
	{
		old_onresize();
		old_onresize = null;
	}
	L = document.getElementById('navigation');
	R = document.getElementById('contenu');
	L.style.height = 'auto';
	R.style.height = 'auto';
	adjust();
}

function adjust()
{
	maxH = Math.max(L.offsetHeight,R.offsetHeight);
	L.style.height = maxH + 'px';
	R.style.height = maxH + 'px';
}