/* #mainheader */
function adjustHeader()
{
	var headerElement = document.getElementById('mainheader');

		headerElement.style.marginTop = "-" + headerElement.clientHeight + "px";
		headerElement.className = "jsActivated";
}

/* Check elements */
function init()
{

	/* check for main header */
	if (document.getElementById("mainheader") != null)
	{
		adjustHeader();
	}

}

/* onload run init function */
window.onload = init;