// hover on <tr>
function highlight_rows() {
	if(!document.getElementsByTagName) return false;
	
	var rows = document.getElementsByTagName("tr");
	for (var i=0; i<rows.length; i++) {
		rows[i].onmouseover = function() {
			this.style.fontWeight = "bold";
		}
		rows[i].onmouseout = function() {
			this.style.fontWeight = "normal";
		}
	}
}

add_load_event(highlight_rows);