addEventListener('load', function (event) { prettyPrint() }, false); 

/*
!function ($) {

  $(function(){

    var $window = $(window)

    // make code pretty
    window.prettyPrint && prettyPrint()
  }

}(window.jQuery)
*/

$('div.padder').height($('div.footer').height());