html {
    font-family: monospace;
}

header, footer {
    text-align: center;
    margin: 0;
    border: 0;
}

.globalnav{
    display: flex;
    flex-direction: row;
    border-collapse: collapse;
}

.globalnav-element {
    display: inline-block;
    border-width: 1px;
    border-style: solid;
    flex-grow: 1;
}

body.dark-theme a {
    color: lightskyblue;
}

body.dark-theme .globalnav-element {
    border-color: black;
}

body.light-theme .globalnav-element {
    border-color: white;
}

pre, code {
    background-blend-mode: darken;
    color: lightgreen;
}