Changed <pre> tag

changed max height and added a height element to the <pre> tag in the
CSS