var gCurrRef = 1;
var gPinnedRef = 0;

function onLoad(refNum)
{
	showRef(refNum);
}

function showRef(refNum)
{
	if (gPinnedRef == 0)
		selectRef(refNum);
}


function stickRef(refNum)
{
	if (gPinnedRef == refNum)
	{
		gPinnedRef = 0; // unstick
	}
	else
	{
		selectRef(refNum);
		
		gPinnedRef = refNum;
	}
}

function selectRef(refNum)
{
	var currLink = document.getElementById("link_" + gCurrRef);
	var currRef  = document.getElementById("ref_"  + gCurrRef);

	currRef.style.display = "none";
	currLink.className    = "refLink";
	
	var newLink = document.getElementById("link_" + refNum);
	var newRef  = document.getElementById("ref_"  + refNum);
	
	newRef.style.display = "block";
	newLink.className    = "refLink refLinkSel";
	
	gCurrRef  = refNum;
}


function navOver(elem)
{
	elem.className = "navHeading over";
}


function navOut(elem)
{
	elem.className = "navHeading";
}

function go(page)
{
	window.location.href = page + ".htm";
}


function switchLang(onLang, offLang)
{
	var onSwitch  = document.getElementById("switch_" + onLang);
	var offSwitch = document.getElementById("switch_" + offLang);
	var onDiv     = document.getElementById("about_"  + onLang);
	var offDiv    = document.getElementById("about_"  + offLang);
	
	onDiv .style.display = "block";
	offDiv.style.display = "none";
	
	onSwitch .className = "langOn";
	offSwitch.className = "langOff";
}