/*
Dieses Skript kuerzt lange Links auf 70 Zeichen
*/

// Kuerzt den uebergebenen Link
function abbreviate_link(a) {
  var linklen = a.innerHTML.length;
  if (linklen > 70) {
    var left_text = a.innerHTML.slice(0, 49);
    var right_text = a.innerHTML.slice(-18);
    a.innerHTML = left_text + "..." + right_text;
  } 
}

// Sucht Links mit der Klasse "reference" raus und gibt sie zum Kuerzen weiter
function abbreviate_all_links() {
  var links = document.getElementsByTagName("a");
  for (var i = 0; i < links.length; i++) {
    var a = links[i];
    if (a.className == "reference" && a.innerHTML.slice(0, 5) == "http:") {
      abbreviate_link(a);
    }
  }
}

// Laesst die Funktion erst dann ausfuehren, wenn die Seite geladen wurde
if (window.addEventListener) {
  window.addEventListener('load', abbreviate_all_links, false); 
} else if (window.attachEvent) { 
  window.attachEvent('onload', abbreviate_all_links);
}