// JavaScript Document for controlling the Page Marker on the Navbar

function navbarMarker(pageMarkerTable, pageMarkerTxt)
{
	if (pageMarkerTable == 'none') { return };
	
	document.getElementById('NavTable' + pageMarkerTable).className='NavbarSecTableSel';
	document.getElementById('NavTxt' + pageMarkerTxt).className    ='NavbarSecTDSel';
}