body {
    background-color: rgb(24, 24, 24);
    text-align: left;
    color: aliceblue;
    max-width: 50em;
    margin: auto;
}

a:link {
    color: rgb(182, 190, 255);
}

a:hover {
    color: rgb(200, 210, 255);
}

a:visited {
    color: rgb(184, 125, 184);
}

article {
    max-width: 50em;
    margin: auto;
    margin-top: 2em;
    text-align: left;
    line-height: 1.5em;
}

aside.ht-bar {
    top: 2vh;
    position: sticky;
    float: right;
    width: 45%;
    text-align: left;
    border: 2px;
    border-style: solid;
    padding: 8px;
    background-color: rgb(27, 19, 48);
    margin: auto;
    margin-top: 2vh;
}

h1 {
    text-align: center;
    font-size: xx-large;
}
h2 {
    font-size: 26pt;
}

h3 {
    font-size: 18pt;
}

h4 {
    font-size: 14pt;
    margin-bottom: 0.5em;
    margin-top: 1em;
}

h4.special {
    font-size: 18pt;
    
}

p.title {
    width: 50%;
}

p.description {
    margin-top: 0em;
    margin-bottom: 1.5em;
}

nav {
    text-align: center;
    font-size: x-large;
}

header.title {
    width: 50%;
    font-size: 120%;
}

sup.footnote {
    border-bottom: 1px dotted;
    color: rgb(235, 170, 170);
}

@media (pointer: coarse), (hover: none) {
    [title] {
        position: relative;
        display: inline-flex;
        justify-content: center;
    }
    [title]:focus::after {
        content: attr(title);
        position: absolute;
        top: 90%;
        color: rgb(32, 32, 32);
        background-color: rgb(187, 187, 187);
        border: 1px solid;
        width: max-content;
        max-width: 15em;
        padding: 3px;
        font-size: larger;
    }
    sup.footnote {
        font-size: x-large;
    }
    aside.ht-bar {
        font-size: 20pt;
        height: 6em;
        line-height: 2;
    }
}