function fix_space()
{
	var content_element = document.getElementById('navigation_header');
	var marginal_column = document.getElementById('marginal_column');

	element_height = content_element.offsetHeight;
	
	if (32 >= element_height)
	{
		marginal_column.style.marginTop = '-2em';
	}
	else
	{
		marginal_column.style.marginTop = '-' + element_height + 'px';	
	}
	window.setTimeout('fix_space()', 500);
}

addEvent(window, 'load', fix_space);
addEvent(window, 'resize', fix_space);