for (var host=location.hostname, i=0, l=document.links.length; i<l; ++i) {
  var link=document.links[i];
  if(link.protocol.substring(0,4)=="http"&&link.hostname!=host ||
    link.pathname.substring(link.pathname.length-4)==".pdf") link.target="_blank";
  else if(link.pathname.substring(0,6)=="/Mail/") {
    var mailadr=link.pathname.substring(6).replace('/','@');
    link.href="mailto:"+mailadr;
    if(link.text=="") link.text=mailadr;
} }