// make links bold if we're on their page
function mogrify() {
	var links = document.getElementById("menu").getElementsByTagName("A");
	for (var i=0; i<links.length; i++) {
		if (links[i].href.indexOf(".html") != -1 && window.location.href.indexOf(links[i].href) != -1) {
			links[i].style.fontWeight = "bold";
		}
		// home page
		if (links[i].href.indexOf(".html") == -1 && links[i].href.indexOf("emmaus.org.uk") == -1 && window.location.href.indexOf(".html") == -1) {
			links[i].style.fontWeight = "bold";
		}
	}
}