html { font-size: 110% }
body { margin-left: 5em; white-space: pre-wrap }