gistfile1.js

  $("#header").hoverIntent({
    over: makeTall,
    timeout: 500,
    out: makeShort
  }); 
  function makeTall(){
    $(this).animate({"height":140},200);
    $('#main').animate({"margin-top":140},200);
    $('.nav').fadeIn();
  }
  function makeShort(){
    $(this).animate({"height":50},200);
    $('#main').animate({"margin-top":50},200);
    $('.nav').fadeOut();
  }