@ -1,6 +1,6 @@
body {
font-family: DejaVu Sans Mono, Noto Sans Mono, Hack, monospace;
width: min(720px, 90%);
max-width: 720px;
margin-left: auto;
margin-right: auto;
text-align: center;