<!-- This file contains miscellaneous functions used by multiple pages

function toggle_block(block) {
	document.getElementById(block).style.display = document.getElementById(block).style.display == 'none' ? '' : 'none';
}

-->