/**
 * Highlight tous les liens de la page correspondant a l'id passe en parametre de l'URL
 */
Event.observe(window, "load", function () {
	var up =  new UrlParser(location.href);
	var id = up.getParam("idDoc");
	//-- si pas de parametre idDoc trouve, on s'arrete la
	if (typeof id == "undefined")
		return;
	//--
	var hl= new LinkHighlighter();
	hl.refresh(id);
});