function border(name) {
	thelink = document.getElementById(name);
	thelink.style.border = "solid 2px #FDD041";
	thelink.style.padding = "1px 2px";
}
function unborder(name) {
	thelink = document.getElementById(name);
	if (document.getElementById(name+"_body")) {
		thelink.style.border = "solid 2px #F00";
		thelink.style.padding = "1px 2px";
	}
	else {
		thelink.style.border = "";
		thelink.style.padding = "";
	}
}