//document.body.innerHTML = document.body.innerHTML.replace(" (-at-) ","@");

//window.onresize = SetPaddingTop;
//SetPaddingTop();

function SetPaddingTop () {

	var Hoehe = Fensterhoehe() - 480;
	var PadTop = Hoehe * 0.13;
	
	if (PadTop < 0) {PadTop = 0;}
	document.getElementById("Master").style.paddingTop = PadTop + "px";
}