function reveal(el){ //transition for hidden element
//	el.setStyle('opacity', 0);
	if(window.ie) el.getParent().setStyle('z-index',3320); // a hack to get IE to respect z-indexes
	el.setStyle('display', 'block');
	el.effect('opacity', {
		duration: 700
	}).start(0, 0.85);
}
function vanish(el){ //transition to hide the element again
	if(window.ie) el.getParent().setStyle('z-index',20);
	el.setStyle('display', 'none');
	el.effect('opacity', {
		duration: 200,
		onComplete: function(){	el.setStyle('display', 'none');}
	}).start(0);
}
window.addEvent('domready', function(){
	if($('has_details')){
		$$('#has_details .details').each(function(div){
			div.getParent().addEvent('mouseenter', function(){reveal(div);});
			div.getParent().addEvent('mouseleave', function(){vanish(div);});
		});
	}
});