* {
    font-family: "Open Sans", sans-serif;
}

html {
    background-color: rgb(240, 240, 240);
}

body {
    margin: 0 !important;
}

nav {
    margin-top: 10em;
    margin-bottom: 10em;
    display: flex;
    justify-content: center;
    width: 100vw;
    gap: 2em;
}

nav > a {
    display: block;
    padding: 1em 0;
    width: 10em;
    text-align: center;

    align-content: center;
    font-weight: bold;
    color: #222;
}

main {
    width: 60vw;
    min-width: 60em;
    margin: 0 auto 20em auto;
}

section {
    margin-top: 5em;
    margin-bottom: 10em;
}

h2 {
    margin-bottom: 2em;
}

hr {
    border-color: #ddd;
    width: 80%;
    height: 0;
}

code {
    font-family: monospace;
    background-color: rgba(220, 220, 220);
    padding: 0.2em 0.4em;
    font-size: 1.2em;
    display: inline-block;
}

code.big {
    margin-top: 0.7em;
    padding: 1em;
}

img {
    width: 100%;
    margin: 2em 0;
}