body {
    font: 13pt/14pt 'Courier New', Courier, monospace;
}
pre {
    display: block;
    margin: 0 auto;
    overflow: hidden;
    text-align: center;
    width: 720px;
}
@media (max-width: 1000px) {
body {
    font-size: 10pt;
    line-height: 11pt;
}
pre {
    display: block;
    margin: 0 auto;
    text-align: center;
    width: 100%;
}
}
span.art {
    color: #5e5e5e;
}
a:link, a:active, a:visited {
    color: inherit;
    text-decoration: underline;
}
a:hover {
    text-decoration: none;
    color: #fff;
}
a:link.no-decor, a:active.no-decor, a:visited.no-decor {
    text-decoration: none;
}