window.onload = function() {
  var links = document.getElementById('content').getElementsByTagName('A');
  for (var i=0; i<links.length; i++) {
    if (links[i].href.indexOf('ontool.eu/') === -1) {
      links[i].className += ' external';
      links[i].onclick = function() {
        window.open(this.href);
        return false;
      }
    }
  }
};