var closeDelay = 500;  //Menu close delay in ms - gives user a chance to rem-mouseover
var timers = Array();

function show(id){
    clearTimeout(timers[id]);   //Keep menu open if user re-mouseovers
    targ = document.getElementById("menu"+id);
    targ.style.display = "block";
}

function hide(id){
    timers[id] = setTimeout("triggerClose('"+id+"')", closeDelay);
}

function triggerClose(id){
    targ = document.getElementById("menu"+id);
    targ.style.display = "none";
}

function changeSize(tagName,increment){ //pass container element which holds global font-size;
	var tags = new Array();
	var defaultSize = 13;
	var maxSize = defaultSize + 3;
	var minSize = defaultSize - 3;
	
	tags = document.getElementsByTagName(tagName);
	for(t=0;t<tags.length;t++){
		if(tags[t].style.fontSize == "" || increment == 0){
			currentSize = defaultSize;
		}else{
			currentSize = parseInt(tags[t].style.fontSize);	
		}
		newSize = parseInt(currentSize)+increment;
		if (newSize <= maxSize && newSize >= minSize){
			tags[t].style.fontSize=newSize+"px";
		}else{
			tags[t].style.fontSize=currentSize+"px";
		}
		
	}
	
}