* {
    padding: 0;
    margin: 0;
    border: none;
    border-collapse: collapse;
    box-sizing: border-box;
}

html {
    font-family: monospace;
}

header, footer {
    text-align: center;
    padding: 2rem 0;
}

.globalnav{
    display: flex;
    flex-wrap: wrap;
    flex-direction: row;
    border: 2px solid white;
    border-top: none;
    border-left: none;
    text-align: center;
}

.globalnav-element {
    display: block;
    border: 2px solid white;
    border-right: none;
    border-bottom: none;
    background-color: #ddd;
    text-align: center;
    flex-basis: 0;
    flex-grow: 1;
    min-width: fit-content;
    min-height: fit-content;
    padding: 0.5rem 0;
}

code {
    display: inline-block;
    color: green;
}

p {
    padding: 0.5rem;
}

article {
    padding: 0.5rem;
}

#mainarticle {
    width: 95vw;
    max-width: 80rem;
    margin: 0 auto;
}

li, ul, ol {
    margin: 1rem;
}

hr {
    border-style: inset;
    border-width: 1px;
    margin: 0.5rem 0;
}

table {
    border-style: solid;
    border-color: black;
    border-right: none;
    border-bottom: none;
    border-collapse: collapse;
    margin: 1rem auto;
}

td, th {
    border-style: solid;
    border-color: black;
    border-left: none;
    border-top: none;
    border-collapse: collapse;
    padding: 0.5rem;
}

@media (prefers-color-scheme: dark) {
    html {
        background-color: black;
        color: white;
    }

    .globalnav {
        border-color: black;
    }

    .globalnav-element {
        background-color: #222;
        border-color: black;
    }

    code {
        color: lawngreen;
    }

    a {
        color: lightskyblue;
    }

    table, td, th {
        border-color: white;
    }
}

@media (prefers-color-scheme: light) {
    html {
        background-color: white;
        color: black;
    }

    .globalnav {
        border-color: white;
    }

    .globalnav-element {
        border-color: white;
        background-color: #ddd;
    }

    code {
        color: green;
    }

    table, td, th {
        border-color: black;
    }
}