Only use pre, not also code tags for "highlighted" text