<!--

var isIE;
if (navigator.appName == "Microsoft Internet Explorer") {
			if (parseInt(navigator.appVersion) >= 4) {
			isIE = true;
			document.write("<LINK REL='STYLESHEET' HREF='/include/ie.css'>");
			}
}
else {
			isIE = false;
			document.write("<LINK REL='STYLESHEET' HREF='/include/others.css'>");
}
			
// -->



/* The following is a script for pages that have "Additional Archive" links. The script identifies the current archive page by displaying the link text differently. (DIS 1/12/09) */

var currentIndex = function() {
  if (!document.getElementsByTagName || !document.createElement) return;
  var para = document.getElementById("archive-links");
  if (!para || para.nodeName != "P") return;
  var lnks = para.getElementsByTagName("a");
  for (i = 0; i < lnks.length; i++) {
    if (lnks[i].href == location.href) {
      var lnkTxt = lnks[i].firstChild.nodeValue;
      var spn = document.createElement("span");
      spn.appendChild(document.createTextNode(lnkTxt));
      spn.style.fontWeight = "bold";
      para.replaceChild(spn, lnks[i]);
    }
  }
}
window.onload = currentIndex;

