Auto-wrap en las etiquetas 'pre'