/* ==================================== button highlights =====================================================*/

/**
 * functies die een button oplichten als er met de muis overheen wordt gegaan
 */
function buttonOver( button )
{
	button.src = button.src.substring( 0, button.src.length-5 ) + '2.gif';
}
function buttonOut( button )
{
	button.src = button.src.substring( 0, button.src.length-5 ) + '1.gif';
}

/**
 * functies die een rij oplichten als er met de muis overheen wordt gegaan
 */
function rowOver( row )
{
	row.style.cursor='pointer';
}
function rowOut( row )
{
	row.style.cursor='none';
}