<!--
// Zeile, über der sich die Maus befindet, farblich hervorheben
var bg_var;
var color_var;

function line_MouseOver(lineNo) {
	var reihe_var = document.getElementById(lineNo);
	bg_var = reihe_var.style.background;
	color_var = reihe_var.style.color;
	reihe_var.style.background = '#BAD291';
	reihe_var.style.color = '#333333';
	reihe_var.style.cursor = 'hand';
}

// Zeile, über der sich die Maus nicht befindet, farblich zurücksetzen
function line_MouseOut(lineNo) {
	var reihe_var = document.getElementById(lineNo);
	reihe_var.style.background = bg_var;
	reihe_var.style.color = color_var;
}
//-->