/*
 * $Id: util.js,v 1.3 2010-07-02 09:29:34 jcheese Exp $
 */
// Window control.
function toggleWindow(div_id) {

	if (document.getElementById(div_id).style.display == 'none') {
		document.getElementById(div_id).style.display = 'block';
	} else {
		document.getElementById(div_id).style.display = 'none';
	}

}