@media screen and (max-width: 600px) {
    h1 {
        margin-top: 0;
    }
}
div.article {
    padding: 20px 9%;
}
sub {
    line-height: 0;
}
sup {
    line-height: 0;
}
p.equation {
    text-align: center;
}
div.step {
    font-size: 20px;
}
code {
    background-color: #e3e3e3;
}
pre code {
    background-color: transparent;
    margin-left: 2em;
    display: block;
    width: auto;
    overflow: scroll;
    border-right: 8px solid gainsboro;
}
a.source {
    font-family: monospace;
}
div.aside {
    font-style: italic;
    border: 2px dashed #7042ce;
    margin: 20px;
    padding: 10px;
}
div.aside code {
    background-color: white;
}
div.figure img {
    margin-top: 20px;
}
div.figure {
    border: 1px dotted black;
    margin: 20px;
    padding: 0px 10px;
    text-align: center;
}
p.summary {
    font-style: italic;
    font-size: 18px;
    line-height: 24px;
}
table td {
    padding: 4px;
}
ol.footnotes {
    font-size: 14px;
}
figure {
    margin-inline-start: 0;
    margin-inline-end: 0;
}
figure img {
    max-width: 100%;
}
figcaption {
    text-align: center;
}
blockquote {
    margin-left: 10%;
    margin-right: 10%;
}
@media (prefers-color-scheme: dark) {
    pre code {
        border-color: #848482;
    }
    code {
        background-color: #5b575d;
    }
}