<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>
