$(document).ready(function() {
  $("a:eq(3), a:eq(4)").attr('target', '_blank');
  set_margins();
  $(window).resize(set_margins);
});

function set_margins() {
  var h = $(window).height();
  if (h > 600) {
    h = h - 600;
    $('#topnav').css('margin-bottom', parseInt(h * 0.4));
    $('#pagenav').css('margin-top', parseInt(h * 0.25));
  }
}