g_highlightedDiv = null;

function highlight(divName)
{
	if (g_highlightedDiv != null) g_highlightedDiv.className = 'unbordered';

	g_highlightedDiv = document.getElementById(divName);
	g_highlightedDiv.className = 'bordered';

	// the first scroll (to the answer) should not lowlight
	window.onscroll = setlowlight;
}

function setlowlight()
{
	window.onscroll = lowlight;
}

function lowlight()
{
	if (g_highlightedDiv != null) g_highlightedDiv.className = 'unbordered';
	window.onscroll = null;
}