/* START JAVASCRIPT:  $Id$ */

function externalLinks()
{
    var anchors = document.getElementsByTagName("a");
    if (!anchors) return;
    for (var i = 0; i < anchors.length; i++)
    {
	var anchor = anchors[i];
	if (anchor.getAttribute("href") && anchor.getAttribute("rel") == "external")
	{
		anchor.target = "mac";
	}
    }
}
window.onload = externalLinks;

/* FINISH JAVASCRIPT:  $Id$ */