/**
 * Change the background of a table row when used as a link
 */
function table_row_link (row, highlight)
{
	if (highlight) {
		row.style.backgroundColor = '#cccccc';
		document.body.style.cursor = "pointer";
	}
	else {
		row.style.backgroundColor = 'white';
		document.body.style.cursor = 'default';
	}
}

/**
 * Allow a table row to navigate to a new url when clicked
 */
function table_row_nav (url)
{
	document.location.href = url;
}