function highlight_links() {
  var links = document.getElementsByTagName('a');
  for(var i = 0; i < links.length; i++) {
    if(links[i].href == document.referrer && links[i].childOf($('content'))) {
      links[i].addClassName('highlight');
    }
  }
}