jQuery(document).ready(function(){

	jQuery("pre.textmate-source").hover(function() {
		jQuery(this).animate({ width: "920px"}, 250);
	}, function() {
		jQuery(this).animate({ width: "576px" }, 250);
	});

});