/** @deprecated */

/* Fragment Highlight version 0.1; this JavaScript highlight code is copyright 2003 by David Dorward; http://dorward.me.uk; this JavaScript library is copyright 2002 by Gavin Kistner and Refinery; www.refinery.com */

/* Adds a new class to an object, preserving existing classes */
function AddClass(obj,cName){ KillClass(obj,cName); return obj.className+=(obj.className.length>0?' ':'')+cName; }

/* Removes a particular class from an object, preserving other existing classes */
function KillClass(obj,cName){ return obj.className=obj.className.replace(new RegExp("^"+cName+"\\b\\s*|\\s*\\b"+cName+"\\b",'g'),''); }

/* Indicates area that has been linked to if fragment identifiers have been used. Especially useful in situations where a short fragment is near the end of a page. */
var fragHLed = '';
var fragExclude = ('header');
Array.prototype.search = function(myVariable) { for(x in this) if(x == myVariable) return true; return false; }

/* Highlight link target if the visitor arrives at the page with a # */
function fragHLload() {
	fragHL(location.hash.substring(1));
}

/* Highlight link target from an onclick event after unhighlighting the old one */
function fragHL(frag) {
	if (fragHLed.length > 0 && document.getElementById(fragHLed)) {
		KillClass(document.getElementById(fragHLed),'highlight');
	}
	if (frag.length > 0 && document.getElementById(frag) && frag != "top") {
		fragHLed = frag;
		AddClass (document.getElementById(frag),'highlight');
	}
}

/* Add onclick events to all <a> with hrefs that include a "#"  */
function fragHLlink() {
	if (document.getElementsByTagName) {
		var an = document.getElementsByTagName("a");
		for (i=0; i<an.length; i++) {
			if (an.item(i).getAttribute("href").indexOf("#") >= 0) {
				var fragment = an.item(i).getAttribute("href").substring(an.item(i).getAttribute("href").indexOf("#") + 1);
				if (fragExclude.search(fragment)) {
					var evn = "fragHL('" + fragment + "')";
					var fun = new Function('e',evn);
					an.item(i).onclick = fun;
				}
			}
		}
	}
}

/* Mark external links */
function extLinks () {
	if (document.getElementsByTagName) {
		var an = document.getElementsByTagName("a");
		var obj;
		var mark;
		for (var i = 0; i < an.length; i++) {
			obj = an.item(i);
		    if (obj.href.indexOf(location.host) == -1 && obj.href && obj.href.indexOf("mailto:") == -1 && obj.className.indexOf("ongemarkeerd")) {
				obj.rel = "external";
				obj.title = "Externe site: " + obj.title;
				mark = document.createElement("img");
				mark.src = "/img/exit.png";
				mark.alt = " (externe site)";
				mark.width = "11";
				mark.height = "10";
				mark.className = "exit";
				obj.appendChild(mark);
			}
		}
	}
}

function createTopButton () {
	t = document.getElementById("blok");
	div = document.createElement("div");
	div.id = "naar-boven";
	t.appendChild(div);
	for(u = 0; u < 2; u++) {
		a = document.createElement("a");
		a.className = "off";
		a.href = "#top";
		a.title = "Naar boven";
		//a.onclick = "return scrollToTop();"
		if(u == 0) a.id = "top-links";
		else a.id = "top-rechts";
		div.appendChild(a);
		img = document.createElement("img");
		img.alt = "Naar boven";
		img.src = "/img/top.png";
		img.width = "17";
		img.height = "17";
		a.appendChild(img);
	}
}

function adjustTopButton() {
	tl = document.getElementById("top-links");
	tr = document.getElementById("top-rechts");
	s = document.body.scrollTop || (document.documentElement && document.documentElement.scrollTop);
	if(s > 0) {
		tl.className = tr.className = "on";
		// determine support for position: fixed and apply hack if necessary
		if(document.getElementById("naar-boven").currentStyle)
			pos = document.getElementById("naar-boven").getElementsByTagName("a")[1].currentStyle.position;
		else
			pos = 0;
		if(pos == "absolute") {
			docHeight = document.getElementById("top").clientHeight;
			winHeight = document.documentElement.clientHeight;
			p = s + winHeight - 113 + "px";
			tl.style.top = tr.style.top = p;
		}
	}
	else
		tl.className = tr.className = "off";
}

/* Init the script */
window.onload = function(){
	fragHLload();
	fragHLlink();
	extLinks();
	if (document.getElementById && document.documentElement) {
		createTopButton();
		setInterval("adjustTopButton()", 100);
	}
};