body {
    background-color: #232327;
    color: #FAF9F6;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI Adjusted", "Segoe UI", "Liberation Sans", sans-serif;
}

a {
    color: #8AB4F8;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

ul.index {
    margin-top: .8em;
    margin-bottom: .8em;
    padding-left: 2.4em;
}

ul.attribute {
    list-style-position: inside;
    padding-left: 0;
    margin-top: 0;
    margin-bottom: 0;
}

table.attributes tr td:first-child {
    padding-right: 3em;
    padding-bottom: 1em;
}

table.attributes tr td {
    vertical-align: top;
    line-height: 1.5;
}

div {
    display: block;
}

pre {
    margin-top: 0;
    margin-bottom: 0;
    white-space: pre-wrap;
}

.graph-cocycle-container {
    display: grid;
    grid-template-columns: repeat(4, 150px);
}

h2 {
    line-height: 1.7em;
}

.page-options {
    position: fixed;
    top: 10px;
    right: 10px;
    background: #1c1b1b;
    padding: .5em 1em .5em 1em;
}

#footer {
    border-top: 1px solid #b6b6b3;
    padding-top: .5em;
    color: #b6b6b3;
}