
/*
function side_over(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="teal";
	x.event.srcElement.style.color = "yellow";
	x.event.srcElement.style.cursor = "hand";
}

function side_out(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="yellow";
	x.event.srcElement.style.color = "white";
	x.event.srcElement.style.cursor = "default";
}

function top_over(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="#0066CC";
	x.event.srcElement.style.color = "white";
	x.event.srcElement.style.cursor = "hand";
}

function top_out(x) 
{
	if(x == null)
		x= window;
	x.event.srcElement.style.background="#99CCFF";
	x.event.srcElement.style.color = "sienna";
	x.event.srcElement.style.cursor = "default";
}
*/

// Handles mouse click on top and side menu
// TODO (MB 12/00)- test with NN , revise if necessary
function m_click(dest) 
{
	//window.navigate(dest);
	window.location = dest
}

function handleMouseover() {
	eSrc = window.event.srcElement;
	eSrcTag=eSrc.tagName.toUpperCase();
	if (eSrcTag == "A") eSrc.style.textDecoration = "underline";
}

function handleMouseout() {
	eSrc = window.event.srcElement;
	eSrcTag=eSrc.tagName.toUpperCase();
	if (eSrcTag == "A") eSrc.style.textDecoration = "";
}
function openDialog(URL)
{
	return window.open(URL,"test","resizable=yes,status=no,toolbar=no,location=no");
}
document.onmouseover=handleMouseover;
document.onmouseout=handleMouseout;

window.onload=window_onload;


// This runs when a page is loaded
// Top is an object reference to the browser window (NN & IE).
// All is an array or all html elements (IE only)
// TODO - make NN compatible
function window_onload()
{
// The following is used to create a title that fades in when page is loaded.
// Too fancy for ne, plus its IE specific (i think) so dont use.

/* 
	var title = top.document.all("title");
	
	if (title != null)
	{
		title.filters[0].Apply(); 
		title.innerHTML = document.title; 
		title.filters[0].Play(); 
	}	
*/

}

