// put all DOM function tests here for functions you will use later
function isDOM() {
	if (
		document.getElementById &&
		document.getElementsByTagName
	) {
		return true;
	}
	else {
		return false;
	}
}

// detect whether we're in the development directory
//   and rewrite local links accordingly
function rewriteDevLinks() {
	if (!isDOM()) return false;

	var devDirRegExp = new RegExp('\.umn\.edu\/google\/dev\/');
	if (! document.URL.match(devDirRegExp)) {
		return true;
	}

	// we're in development...

	var pageLinks = document.getElementsByTagName('a');
	var theLink = null;
	for (var linkIdx=0; linkIdx < pageLinks.length; ++linkIdx) {
		theLink = pageLinks.item(linkIdx);	
		if (! theLink.href) continue;
		if (! theLink.href.match(/^\/google\/(.*)/)) continue;
		theLink.innerHTML = theLink.innerHTML +
			'</a><a href="/google/dev/'+ $1 + '"><sup>dev</sup></a>';
	}
}



// use this function to perform actions afer the page loads
function postLoad() {
//	rewriteDevLinks();
}


window.onload = postLoad;