////////////////////////////////////////////////////////////////////////////////
//
// Toggle the visibility of the element that has the given id and change the
// source and tooltip of the corresponding image to reflect the state of the
// element.
//
////////////////////////////////////////////////////////////////////////////////

function toggleRow(elementId, imageId) {
	var element = document.getElementById(elementId);
	var image = document.getElementById(imageId);
	if (element.style.display == "") {
		element.style.display = "none";
		image.src = "http://www.instantiations.com/images2/lists/twizzle-right.png";
		image.alt = "Collapsed";
	} else {
		element.style.display = "";
		image.src = "http://www.instantiations.com/images2/lists/twizzle-down.png";
		image.alt = "Expanded";
	}
}