/***********************
	*  Border Highlighter  *
	***********************/
		/* Highlight Color */
			function switchBorderOn( thisId ) {
				document.getElementById( thisId ).style.borderColor = '#A91BB0';	
			}
		/* Background Color, DO NOT CHANGE */
			function switchBorderOff( thisId ) {
				document.getElementById( thisId ).style.borderColor = '#fdfbf8';
			}
	/**********************/