Add a border-radius to <pre> tags