// V1,01 JC 04-08-2006 applied Mozilla fix to functions.js

// normal buttons
function mo(a)
{	// give button the button stylesheet, and the mouse_over style sheet
	a.className = 'butt butt_mo';
}

function mg(a)
{	// give button the button stylesheet, and the mouse_out style sheet
	a.className = 'butt butt_mg';
}

function ref_to(a)
{	// function to respond to button clicks
	var b = a.getAttribute('href');				// mozilla fix
	window.location.href = b;
}


// back button
function backmo(a)
{	// give button the button stylesheet, and the mouse_over style sheet
	a.className = 'backbutt backbutt_mo';
}

function backmg(a)
{	// give button the button stylesheet, and the mouse_out style sheet
	a.className = 'backbutt backbutt_mg';
}