pre should use margin instead of padding

Correcting a mistake that slipped in with the last commit where margin
and padding was mixed for pre elements.