// JavaScript Document
function setCSS(id){
	document.getElementById(id).style.borderBottom = "9px solid #470103";
}
function removeCSS(id){
	document.getElementById(id).style.borderBottom = "none";
}