// JavaScript Document

function SectionHighlight (id) {
	var elems = document.getElementById(id);
	elems.style.color="#cb2229";
}