* {
    margin: 0;
    padding: 0;
}

body {
    font-family: "IBM Plex Sans", "Helvetica Neue", Arial, sans-serif;
    font-size: 11pt;
    background-color: #ffffff;
    color: #000000;
    align-items: center;
    justify-content: center;
}

body ul {
    list-style-type: none;
}

body ul li {
    text-align: center;
}

#main {
    display: block;
    width: 80%;
    max-width: 60em;
    margin: 2em auto;
}

#main > header {
    display: block;
    margin: 8em 0 5em 0;
}

#main > header > div {
    margin: 0;
    padding: 0;
}

#main > header h1,
#main > header > div {
    font-family: "Orbitron", sans-serif;
    font-size: 1.2em;
    font-weight: normal;
    text-align: center;
    text-transform: uppercase;
    letter-spacing: 10px;
    color: #606060;
    margin-bottom: 0.4em;
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: column;
}

#main > header h1 img,
#main > header > div img {
    border-radius: 50%;
    margin-bottom: 1em;
    border: 1px solid #d0d0d0;
    padding: 2px;
}

#main > header h1 a,
#main > header h1 a:active,
#main > header h1 a:visited,
#main > header h1 a:hover {
    color: #606060;
    text-decoration: none;
}

#main > header > div a,
#main > header > div a:active,
#main > header > div a:visited,
#main > header > div a:hover {
    color: #606060;
    text-decoration: none;
}

#main > header p {
    font-family: monospace;
    font-size: 0.8em;
    color: #e0b0b0;
    text-align: center;
    margin: 0.2em 0 1em 0;
    letter-spacing: 1px;
}

#main > header p::before,
#main > header p::after {
    color: #f0d0d0;
}

#main > header p::before {
    content: "-=[";
}

#main > header p::after {
    content: "]=-";
}

#main > header nav {
    display: flex;
    align-items: center;
    justify-content: center;
}

#main > header nav ul {
    list-style-type: none;
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: row;
    border-width: 1px 0 0 0;
    border-style: solid;
    border-color: #f0f0f0;
    padding: 0.7em 1em 0.5em 1em;
    width: 75%;
    max-width: 40em;
}

#main > header nav ul li {
    display: inline-block;
    margin: 0 1em 0 0;
    border-width: 0 1px 0 0;
    border-style: solid;
    border-color: #f0f0f0;
    padding-right: 1em;
}

#main > header nav ul li:last-of-type {
    padding-right: 0;
    border: none;
    margin: 0;
}

#main > header nav ul li a {
    display: flex;
    align-items: center;
    justify-content: center;
    flex-direction: row;
    font-size: 0.9em;
    color: #a0a0a0;
    text-decoration: none;
}

#main > header nav ul li a span {
    display: inline-block;
}

#main > header nav ul li a img {
    display: inline-block;
    opacity: 0.2;
    margin-right: 0.5em;
}

#main > header nav ul li a:hover img {
    opacity: 0.8;
}

#main > header nav ul li a:hover {
    color: #c04040;
}

section {
    display: block;
    margin-bottom: 5em;
}

section h3 {
    text-align: center;
}

p {
    line-height: 150%;
    margin: 1em 0;
}

p span.identifier,
li span.identifier {
    font-family: monospace;
    font-size: 0.9em;
}

p code,
li code {
    font-family: monospace;
    font-size: 0.9em;
    background-color: #303030;
    color: #f0f0f0;
    padding: 0.2em 0.3em;
    border-radius: 2px;
}

pre {
    margin: 2em 0;
}

pre code {
    display: block;
    background-color: #f0f0f0;
    padding: 1em;
    overflow: auto;
    font-size: 0.9em;
    border-radius: 3px;
}

p.quote {
    border-width: 0 0 0 3px;
    border-style: solid;
    border-color: #f08080;
    font-style: italic;
    padding: 1em;
}

p.placeholder {
    text-align: center;
    font-style: italic;
}

article a,
article a:visited,
article a:hover,
article a:active {
    color: #000000;
}

section ul,
section ol {
    margin: 1em 2em;
}

section ul li,
section ol li {
    margin: 0.5em 0;
}

figure {
    display: block;
    margin: 2em auto;
    overflow: auto;
    border: none;
    text-align: center;
}

figure.ascii pre code {
    background-color: #ffffff;
}

figure img {
    margin: 0.5em;
    max-width: 90%;
}

figure figcaption {
    display: block;
    color: #606060;
    padding: 0.5em;
    text-align: center;
    font-size: 0.9em;
}

footer {
    display: block;
    margin: 3em 0 1em 0;
    text-align: center;
    font-family: monospace;
    color: #808080;
    font-size: 0.8em;
}

footer span::before,
footer span::after {
    color: #d0d0d0;
}

footer span::before {
    padding-right: 1em;
    content: "--[";
}

footer span::after {
    padding-left: 1em;
    content: "]--";
}

/* minor adjustments to look better on mobile: */
@media only screen and (max-width: 600px) {
    #main {
        width: 90%;
    }

    #main > header {
        margin: 0.5em 0 3em 0;
    }

    #main > header p::before,
    #main > header p::after {
        content: none;
    }

    #main > header nav ul {
        padding: 1em 0;
        margin-top: 0.5em;
        border-width: 1px 0;
        width: 100%;
    }

    #main > header nav ul li {
        border: 0;
        padding-right: 0;
    }

    #main > header nav ul li a {
        flex-direction: column;
        margin: 0 1em;
    }

    #main > header nav ul li a img {
        margin-right: 0;
        margin-bottom: 0.5em;
    }

    #main > header nav ul li a::after {
        content: none;
        margin-left: 0;
    }
}