function setExLinksAttributes(a)
{
	a.style.background = "url(/wsimages/external.png) center right no-repeat"
	a.target = "_blank"
	a.style.paddingRight = "28px";//added 15px when I removed background icon from right hand column, I also gave more padding to the the edge of the icon
	return a;
}

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")

	 setExLinksAttributes(anchor);
 }
}
window.onload = externalLinks;