function toggleAllFolding(state)
{
	var elems = document.getElementsByTagName("div");
	for (var i = 0; i < elems.length; ++i) {
		elem = elems[i];
		if (elem.className != "foldable") continue;
		elem = elem.getElementsByTagName("div")[0]

		if (state)
			elem.style.display = "block";
		else
			elem.style.display = "none";
	}
}

function toggleFolding(id)
{
	elem = document.getElementById(id)
	if (elem.style.display == "none")
		elem.style.display = "block";
	else
		elem.style.display = "none";
}