function highlightAndPersist(button)
{
   button.style.backgroundColor= '#ccf';
   persist();
}

function unhighlight(button)
{
   button.style.backgroundColor = '#ccf';
}

function persist()
{
   var menu = document.getElementById('menu');
   var button = document.getElementById('linkbutton');
   menu.style.position = 'absolute';
   menu.style.top = (button.offsetTop + button.offsetHeight) + 70 + 'px';
   menu.style.left = (button.offsetLeft)+ 30 + 'px';
   menu.style.visibility = 'visible';
}

function hideSoon()
{
   setTimeout("hide()", 500);
}

function hide()
{
   var menu = document.getElementById('menu');
   menu.style.visibility = 'hidden';
}