var colour = null;

function highlight_field(field)
{
	colour = field.style.backgroundColor;
	field.style.backgroundColor = '#fffbcc';
}

function revert_field(field)
{
	field.style.backgroundColor = colour;
}

function display_issue(id)
{
	$('issue_preview').innerHTML = $('preview' + id).innerHTML;
}