/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

$(function() {

 var preWidth = $('pre').width();

 $('pre').live('mouseover mouseout', function(event) {
  var $this = $(this);
  if ('mouseover' == event.type) {
   preContentWidth = $this.contents().width();

   if (preContentWidth > preWidth) {
    $this.stop().animate({ width: preContentWidth }, 200);
   };
  } else {
   $this.stop().animate({ width: preWidth }, 200);
  };
 });

});