function highlight(){
  var tags=document.getElementsByTagName("a");
  for(i in tags){
    if(tags[i].className=="nav_link"){
        if(document.location.href==tags[i].href){
            tags[i].className += " active";
        }
    }
  }
}
//End highlight()