Using <pre> to Preserve an HTML Tab: an Example