/*
Script verschiebt die DIVs für die SUBMENU_ON_TOP, entsprechend der Bildschirmauflösung des besuchenden Rechners
*/


function reset_submenu_top(div)
	{
	var breite=screen.width;
	var margin;
	
	if (breite == 1280) {margin = -20;}
	if (breite == 1024) {margin = -100;}
	if (breite == 800) {margin = -130;}

	var div_vorhanden = document.getElementById(div);
	
	// Umpositionieren
	if (div!=0 && div_vorhanden != '')
		{
		document.getElementById(div).style.marginLeft = margin+"px";
		}
		
	}