function initTabs()
{
	var nav = document.getElementById("nav");
	var line = document.getElementById("grey-line");
	if ( nav && line )
	{
		line.style.height = nav.offsetHeight - 1 + "px";
	}
}

if (window.addEventListener)
	window.addEventListener("load", initTabs, false);
else if (window.attachEvent && !window.opera)
	window.attachEvent("onload", initTabs);