$(document).ready( function() {

  $(window).resize( function() {
    $("#main").css( { 'marginTop' : $("#header").height() + 20 } );
    $("#content").height( $("html").height() - $("#header").height() - 
                          $("#footer").height() - 50 );
  });
  $(window).resize();

  // Rewrite email addresses to mailto addresses
  $(".email_addr").each( function() {
    var email = this.innerHTML.replace(/ \(at\) /, '@');
    $(this).replaceWith('<a href="mailto:' + email + '">' + email + '</a>');
  })
});