/* Simple javascript functions */

/* highlight obj onmouseover - works with all browsers */
function highlight_obj( obj, over )
{
	if (over) {
		obj.style.background = '#ddd';
	}
	else {
		obj.style.background = '#fff';
	}
}