var pageInfoVisible;
function documentLoaded() {
	pageInfoVisible = 0;
	new Effect.Appear('bannerText', { duration: 1.0, from: 0.0, to: 1.0 });
	
	// remove dotted lines from all links
	for (i = 0; i < document.links.length; i++) {
		document.links[i].onfocus = function () { if(this.blur) { this.blur() } }
	}
}

function togglePageInfo() {
	if (pageInfoVisible == 0) {
		new Effect.Appear('pageInfoText', { duration: 1.0, from: 0.0, to: 1.0 });
		pageInfoVisible = 1;
	} else {
		new Effect.Fade('pageInfoText', { duration: 1.0, from: 1.0, to: 0.0 });
		pageInfoVisible = 0;
	}
}