// Scripts that deal with the Top Bar
function TOPBAR_highlight_up_arrow(event)
{
	var img = Event.element(event);
	img.src = '/images/topbar_uparrow_light.png';
}

function TOPBAR_unhighlight_up_arrow(event)
{
	var img = Event.element(event);
	img.src = '/images/topbar_uparrow.png';
}

function TOPBAR_highlight_login(event)
{
	var img = Event.element(event);
	img.src = '/images/tinyloginbutton_hover.png';
}

function TOPBAR_unhighlight_login(event)
{
	var img = Event.element(event);
	img.src = '/images/tinyloginbutton.png';
}