// Replaces links to current page with <span name="disabledlink">
// Ben Lynn 2005-12-06

function disable_selflink() {
    var a = document.links;
    var i = 0;
    while (i < a.length) {
	if (a[i].href == document.URL) {
	    var c;
	    var j;
	    var s_new = document.createElement("span");
	    s_new.className = "disabledlink";
	    c = a[i].childNodes;
	    for (j=0; j<c.length; j++) {
		s_new.appendChild(c[j]);
	    }
	    a[i].parentNode.replaceChild(s_new, a[i]);
	} else {
	    i++;
	}
    }
}

disable_selflink();