Removed borders from pre.prettyprint areas.