both ie7 and ie8 have massive quirks in handling <pre> blocks with overflow:auto; and a max-height: set. Choose either mode, a loser is you.