function toggle_details(course)
{
	if (document.getElementById('course_' + course)) {
		if (document.getElementById('course_' + course).style.display == 'none') {
			// It's already hidden, show it
			document.getElementById('course_' + course).style.display = 'block';
			text_switch(course, '<img src="./assets/images/site_images/control_up.gif" />Hide details');
		} else {
			// It's shown, hide it
			document.getElementById('course_' + course).style.display = 'none';
			text_switch(course, '<img src="./assets/images/site_images/control_down.gif" />Show details');
		}
	} else {
		// element doesn't exist, do nothing
	}
}

function text_switch(dest, new_text)
{
	if ('' + dest != '') {
		document.getElementById(dest).innerHTML = '' + new_text + '';
	}
}