<html>
<head>
    <style>
        body { font-family: sans-serif; width: 70%; margin: 32px auto 32px auto; text-align: justify; }
        pre { font-family: monospace; background-color: #F4F4F4; overflow-x: auto; }
        @media screen and (max-width: 800px) {
            body { width: 95%; }
        }
    </style>
</head>
<body>