/* The following ensures the dotted lines don't appear around links in IE */
function blurAnchors(){
 if(document.getElementsByTagName) {
  var a = document.getElementsByTagName("a");
  for(var i = 0; i < a.length; i++) a[i].onfocus = function(){this.blur();};
 }
}
window.onload = blurAnchors;