//This fix is required to make Safari
//  jump to glossary terms consistently
oldOnload = window.onload;
window.onload = function() {
  if (window.location.href.match(/#(\w.+)/)) {
    window.location.replace(window.location.hash);
  }
  oldOnload();
};