body {
    background-color: #FAFAFA;
    color: #404040;
    line-height: 1.6;
    font-size: 19px;
    max-width: 80em;
    margin: auto;
    margin-top: 100px;
    text-decoration-color: gray
}

@media (prefers-color-scheme: dark){
    body{
        color:#c9d1d9;
        background:#0d1117
    }
    a:link{color:#58a6ff}
    a:visited{color:#8e96f0}
    pre.src { background-color: black; color: white; }
}

#text-table-of-contents > ul {
    list-style-type: none;
}