/**
 * Variabelen waarmee de plaatsing van het menu bovenin het scherm aangepast
 * kunnen worden aan de plaats van het scrollen in de pagina
 */
var the_top = 0;		// De offset van het menu ten opzichte van de bovenkant
						// van het scherm
var old = the_top;		// Initialiseer de laatste plaats van het menu
var menu_delay = 100;	// De vertraging waarmee er gekeken wordt naar de
						// plaats van het menu binnen het scherm

/**
 * Functie: Het verplaatsen van het menu naar de bovenkant van het scherm,
 * rekening houdend met de offset
 */
function moveMenu()
{
	menu_obj = document.getElementById('menu');

	if (window.innerHeight) {
		pos = window.pageYOffset
	} else if (document.documentElement && document.documentElement.scrollTop) {
		pos = document.documentElement.scrollTop
	} else if (document.body) {
		pos = document.body.scrollTop
	}

	if (pos < the_top) {
		pos = the_top;
	} else {
		pos += 0;
	}

	if (pos == old) {
		menu_obj.style.top = pos + 'px';
	}
	old = pos;

	window.setTimeout("moveMenu()",menu_delay);
}