/* 
Menuutje v0.21 :)

Bugje eruit bij document.body nog niet geinitaliseerd bij doctype transitonal 


Menuutje v0.2 :)

Is nu compatible met XHTML 1.0 Transitional


Menuutje v0.1 :)

Dit wordt je menu layer (ergens tussen je <body> en </body> mikken, het liefst ergens in het begin ivm spiders ...):

<div id=menu name=menu onmouseover="doMenu()" onmouseout="undoMenu()">
  <!-- Je menu text en de linkjes enz.. -->
</div>

Dit wordt je popup button, kan ook een plaatje oid zijn:
<a href="javascript:doMenu()" onmouseout="undoMenu()" class="zlink">Links</a>


LET OP !!!!!!!!!!!!
je moet in je #menu  (css class voor id) in elk geval dit hebben staan:
visibility:hidden;
position: absolute

anders gaat het niet werken. Verder kan ik aanraden de background-color te fixen!
*/


//menu voor firefox/IE


var x=0;
var y=0;

function mouseMoved(e){
    if(!document.layers&&document.all)//firefox
    	e = event;
    if(document!=null && document.body!=null)
    {
	    x = document.documentElement.scrollLeft +e.clientX + document.body.scrollLeft;
    	y = document.documentElement.scrollTop +e.clientY + document.body.scrollTop;
    }
}

document.onmousemove = mouseMoved;//firefox/ie

var mayHide = true;

var menu = null;
function doMenu()
{
	checkInited();
	if(document.all)
		change = menu.clientHeight;//ie
	else change = menu.offsetHeight;//firefox
	stopCounter()
	if(menu.style.visibility == 'hidden' || menu.style.visibility == '')
	{
		menu.style.visibility = 'visible';
		menu.style.left = x + 'px';
//		menu.style.top = y -change -10 + 'px';
// naar beneden ipv naar boven
		menu.style.top = y + 10 + 'px';
	}
}

var undoCounter = -1;
function undoMenu()
{
	checkInited();
	if(undoCounter==-1)
		undoCounter = window.setInterval(hideMenu, 1000);
}


function checkInited()
{
	if(menu==null)
		menu = document.getElementById('menu');
		
}


function hideMenu()
{
	stopCounter();
	menu.style.visibility = 'hidden';
}

function stopCounter()
{
	if(undoCounter!=-1)
	{
		window.clearInterval(undoCounter);
		undoCounter = -1;
	}
}
