Tweaks to <pre> overflow, for IE7.