CodeSearch: Put all the code into one <pre> tag.

Currently not working, though.