function toggle_badge_details(link_elem, div_id) {
  link_elem.innerHTML = (link_elem.innerHTML.search(/more/) == -1 ? 'more info…' : 'hide info…');
  $(div_id).className = ($(div_id).className.search(/gray-area/) == -1 ? 'badge-detail gray-area' : 'badge-detail');
  if ($(div_id + '_details').style.display == 'none') {
    Effect.BlindDown(div_id + '_details');
  } else {
    Effect.BlindUp(div_id + '_details');
  }
}