/*
 * apply.js
 * I guess this was written by B. Hunter, but it seems to have disappeared.
 * So I'm remaking it.
 * - Chris F.
 */

function getElement(elemID) {
	var element = document.getElementById(elemID);
	return element.style.display == "";
}

function setElement(elemID, visible) {
	var element = document.getElementById(elemID);
	var val = "";
	if (!visible) {
		val = "None";
	}
	element.style.display = val;
}

function toggleElement(elemID) {
	setElement(elemID, !getElement(elemID));
}