function style_selected_link() {
	var query_string = document.location.search;
	var link_id = query_string.slice(4);
	
	document.getElementById(link_id).style.color="#486192";
	document.getElementById(link_id).style.fontWeight="bold";
}