if (window.section) {
	var this_link = document.getElementById(section);
	this_link.style.color = "#990000";
}

if (window.page) {
	var this_link = document.getElementById(page);
	this_link.style.backgroundColor = "#101010";
}