function setButtonsHighlight(id) {

		var allLIs= document.getElementById(id).children;
		for (var i=0;i<allLIs.length;i++) if (!(allLIs[i].id=='menuseparator') && (allLIs[i].tagName=='LI') ){
		   tLI = allLIs[i];
		   tLI.onselectstart = function(){return false}
		   tLI.onmouseover = function(){
			   this.style.border = "2px buttonhighlight outset";
		   }
		   tLI.onmouseout = function(){
			   this.style.border = "2px buttonface solid";
		   }
		   tLI.onmousedown = function(){
			   this.style.border = "2px buttonhighlight inset";
		   }
		   tLI.onmouseup = function(){
			   this.style.border = "2px buttonhighlight outset";
		   }
	   }
}