Minor tweak in padding of pre tags.