@media screen and (max-width: 600px) {
    h1 {
        margin-top: 0;
    }
}
div.article {
    padding: 20px 9%;
}
sup {
    vertical-align: baseline;
    position: relative;
    top: -0.4em;
}
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;
}