var temp;

/* Deze functie doet de volgende dingen, maar alleen als de browser DHTML ondersteunt.
	- Als we op de sitemap-pagina zijn, voer initSitemap() uit
	- Bereken breedte en hoogte van het scherm en sla dit op in x,y
	- Zet theTop op x+10. Dit is de maximale hoogte waarop het pijltje mag staan. 
		Hierdoor is het nooit te zien als de pagina volledig naar boven is gescrold.
	- Als x groter dan 160 is EN de browser niet Netscape 4 is, 
		trek 130 van x af en maak dit de height van de linker td (met de navigatie erin)
		Doel: zorgen dat ook bij hele korte pagina's de linker td even lang als het
		scherm is.
	- Maak het pijltje onzichtbaar en zet het bovenaan. Kijk dan of er nog een timeout van
		movemenu() openstaat, zo ja cancel deze.
		Doel: als de functie na een resize wordt aangeroepen moet het pijltje verborgen
		worden. Het kan zijn dat het scherm groot genoeg is geworden om de hele pagina
		te laten zien (en dan moet het pijltje er dus niet staan).
	- Scroll de pagina 1 pixel naar beneden. 
	- Kijk dan of de y-coordinaat groter dan 0 is. Zo ja, dan kan de pagina scrollen en moeten
		we het pijltje tonen.
		Zet het pijltje op 50px van de rechterkant (250 in Netscape 4), zet het op zijn
		uitgangspositie 10 pixels onder de rand van het scherm en maak het zichtbaar. Roep
		dan movemenu() aan die de rest regelt.
		
*/

function init(flag)
{
	var DHTML = (document.getElementById || document.all || document.layers);
	if (!DHTML) return;
	if (self.innerHeight)
	{
		x = self.innerHeight;
		y = self.innerWidth;
	}
	else if (document.body)
	{
		x = document.body.clientHeight;
		y = document.body.clientWidth;		
	}
	theTop = old = x + 10;
	/*if (x>160 && !document.layers)
	{
		x -= 130;
		if (document.getElementById)
			document.getElementById('linkstd').style.height = x;
		else if (document.all)
			document.all['linkstd'].style.height = x;		
	}*/
	menu = new getObj('pijltje');
	menu.style.visibility = 'hidden';
	//menu.style.top = 0;
	if (temp) clearTimeout(temp);
	scroll(0,1);
	if(getPos() > 0)
	{
		menu.style.right = 5;
		if (document.layers) menu.style.left = y - 250;
		menu.style.bottom = 5;
		menu.style.visibility = 'visible';
		setTimeout('movemenu()',100);
	}
}

/*
   Roep init() aan onResize
*/

window.onresize = function () {init(true)};


/*
   Om het pijltje te regelen. 
   	- Kijk welke positie de pagina heeft. 
   	- Tel hier theTop - 50 bij op om de positie te krijgen die het pijltje moet innemen (onderaan het scherm)
   	- Als dit kleiner is dan theTop, maak de positie theTop; het pijltje mag niet hoger komen
   	- Zet het pijltje op de nieuwe positie
   	- Voer functie opnieuw uit na 50 milliseconden
*/

var theTop,old,menu;

function movemenu()
{
	var pos = getPos();
	pos += theTop - 50;
	if (pos < theTop) pos = theTop;
	menu.style.top = pos;
	temp = setTimeout('movemenu()',50);
}

/*
   Deze functie kijkt naar de positie van de pagina. pageYOffset is voor Netscape, scrollTop voor Explorer.
*/

function getPos()
{
	if (window.innerHeight)
		 var pos = window.pageYOffset
	else if (document.body)
		 var pos = document.body.scrollTop
	return pos;
}

/*
   DHTML micro-API, zie http://www.xs4all.nl/~ppk/js/index.html?dhtmloptions.html
*/

function getObj(name)
{
  if (document.getElementById)
  {
  	this.obj = document.getElementById(name);
	this.style = document.getElementById(name).style;
  }
  else if (document.all)
  {
	this.obj = document.all[name];
	this.style = document.all[name].style;
  }
  else if (document.layers)
  {
   	this.obj = document.layers[name];
   	this.style = document.layers[name];
  }
}