function showOptions(whichP)
{
    Ext.get(whichP).addClass('js-hover');
}


function hideOptions(whichP, e)
{
	var mouseLeft = mouseLeaves(whichP, e);

	if (mouseLeft == true)
	{
        Ext.get(whichP).removeClass('js-hover');
	}
}


function mouseLeaves (element, evt)
{
  if (typeof evt.toElement != 'undefined' && evt.toElement && typeof element.contains != 'undefined')
  {
  	return !element.contains(evt.toElement);
  }
  else if (typeof evt.relatedTarget != 'undefined' && evt.relatedTarget)
  {
  	return !contains(element, evt.relatedTarget);
  }
}


function contains (container, containee)
{
  while (containee) {
    if (container == containee) {
      return true;
    }
    containee = containee.parentNode;
  }
  return false;
}