/* Expands a given section */
function expand(sec) {
	if (document.getElementById(sec + "Contents").style.display == "block") {
		document.getElementById(sec + "Contents").style.display = "none";
		document.getElementById(sec + "Table").className = "menuTableDark";
	}
	else {
		document.getElementById(sec + "Contents").style.display = "block";
		document.getElementById(sec + "Table").className = "menuTable";
	}
}