/* Wow, that's my first ever used and self-written JavaScript in my homepages!
 *                                                         -- Stephan Beyer
 * (C) Copyright 2006-2008, Stephan Beyer */

var folds = new Array("netstiff","webdiff","silence","bf","morse-x","nudruff","turing",
		"sleep","typically_me","just_a_test","snat_is","bratwurst",
		"gvs4","suffix","clone","hru-fernuni","reputation","ban-logik");

function toggle(id)
{
	var obj = document.getElementById(id);
	obj.style.display = (obj.style.display=='none'?'block':'none');
}

function toggleInfo(event)
{
	toggle(event.target.id+':info');
}

function init()
{
	for(var i = 0; i < folds.length; i++)
	{
		// show the hashed object, but no other
		if(window.location.hash.substr(1) == folds[i])
			document.getElementById(folds[i]+":info").style.display = "block";
		else
			document.getElementById(folds[i]+":info").style.display = "none";

		// set event listeners and do some initialization
		document.getElementById(folds[i]).addEventListener("click", toggleInfo, false);
		document.getElementById(folds[i]).addEventListener("mouseover", function () {this.className = "foldHover"}, false);
		document.getElementById(folds[i]).addEventListener("mouseout", function () {this.className = "fold"}, false);
		document.getElementById(folds[i]).style.cursor = "pointer"; /* crosshair? */
		document.getElementById(folds[i]).className = "fold";
	}
}

/* I hope this if-condition is enough so that clients, that are not 
 * able to understand the directives, don't use that JavaScript. */
if(window.location &&
   document.getElementById &&
   document.addEventListener &&
   document.getElementById("copy").style)
	init();