// fix pre overflow in IE
(function ($) {$.fn.fixOverflow = function () { if ($.browser.msie) { return this.each(function () { if (this.scrollWidth > this.offsetWidth) {$(this).css({ 'padding-bottom' : '20px', 'overflow-y' : 'hidden' });}});} else {return this;}};})(jQuery);$('pre').fixOverflow();
