// Routine(s) used with the site header / footer

	function change_class ( ele_id, new_class ) {
		document.getElementById(ele_id).className = new_class;
	};