if (document.all && document.styleSheets && document.styleSheets[0] &&  document.styleSheets[0].addRule) {
	// fixes for PNG transparency in IE5.5+
  document.styleSheets[0].addRule('#welcome-message', 'behavior: url(chrome/v1/iepngfix.htc)');
  document.styleSheets[0].addRule('div', 'behavior: url(chrome/v1/iepngfix.htc)');
}

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.className == "external") 
	 anchor.target = "_blank"; 
 } 
} 
window.onload = externalLinks;

sfHover = function() {
	
	var sfEls = document.getElementById("navigation").getElementsByTagName("li");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);