// JavaScript Document

// highlights the current page in the sidebar based on title heading
var arr = document.getElementById("sidebar").getElementsByTagName("a");
var page = document.getElementById("page").innerHTML;	

	
for (var i=0; i < arr.length; i++)
{
	if(arr[i].innerHTML == page)
	{
		arr[i].parentNode.style.backgroundColor = "#dddddd";	
	}
}

//set the title of the page
document.title = document.title + ' | ' + document.getElementById('title').innerHTML.split('&')[0] + ' - ' + document.getElementById('page').innerHTML;