
h1, h2, h3, h4 {
    margin-top: 25px;
}

pre {
    background-color: rgba(225, 225, 225, 0.3);
}

#indexlist, ul, li {
    padding-bottom: 1em;
}

#patreon-link {
    color: #880000;
    font-weight: bolder;
}

.footer {
    font-size: small;
}