// fix navbar highlighting onload
$(function () {
  var nav_link = $('#nav_link').attr('href');
  if (!nav_link) nav_link = window.location.href.replace(/.*\//, '');
  $('#topnav a[@href=' + nav_link + ']').addClass('hilight');
});