<!--
//<![CDATA[

$(document).ready( function() {
	
	// Rollover styling for DIV.result panels (search / doc downloads etc.)
	$("div.result").hover(function() {$(this).addClass("hover");}, function() {$(this).removeClass("hover");} ).click( function() { location.href=$(this).find("a").attr("href");} );	 
	
});

//]]>
-->