body { background: #fff; color: #000; font-family: "Times New Roman", Times, serif; margin: 2em auto; max-width: 50em; padding: 0 1em; line-height: 1.4; }
pre { white-space: pre-wrap; word-wrap: break-word; font-family: "Times New Roman", Times, serif; }