$(document).ready(function() 
{
	/*ResizeFirstPre();
	$(window).bind("resize", function(e) 
	{
		ResizeFirstPre();
	});*/
});

function ResizeFirstPre()
{
	var width = document.getElementById("content").offsetWidth - 400;
	$("pre:first").css("width", width);
}