// function to enable standards compliant 'rel="external"' to be used instead of 'target="_blank"' //
function externalLinks(){
	if(!document.getElementsByTagName) return;
		var anchors = document.getElementsByTagName("a");
		for(var i=0; i<anchors.length; i++){
			var anchor = anchors[i];
			if(anchor.getAttribute("href") && anchor.getAttribute("rel") == "external") anchor.target = "_blank";
		}
}
window.onload = externalLinks;

// function to show and hide divs
function toggle(id){
	layer = document.getElementById(id);
	show = layer.style.display == 'none';
	layer.style.display = (show ? '' : 'none');
}