// JavaScript Document
var sliderBar = document.getElementById('top_nav_highlight');

var defaultPos   = sliderBar.style.left;
var defaultVis   = sliderBar.style.visibility;
var defaultWidth = sliderBar.style.width;

function slide_bar_in(newPos, newWidth)
{
	with (sliderBar) {
		style.position = 'relative';
		style.left = newPos + 'px';
		style.visibility = 'visible';
		style.width = newWidth + 'px';
	}
	
	return false;
}

function slide_bar_out()
{
	with (sliderBar) {
		style.position = 'relative';
		style.left = defaultPos;
		style.visibility = defaultVis;
		style.width = defaultWidth;
	}
	
	return false;
}