body {
    margin: 0 auto;
    padding: 0 10px;
    max-width: 1000px;
    text-align: justify;
    font-family: Arial;
    background-color: #151515;
    color: white;
}

header {
    padding-bottom: 10px;
    border-bottom: 1px solid gray;
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    vertical-align: center;
}

header nav {
    align-self: flex-end;
    margin: auto 0;
}

header nav ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

header nav ul li {
    display: inline-block;
}

header nav a {
    display: block;
    font-size: 1.6em;
    font-weight: bolder;
    padding: 5px 10px;
    border-right: 1px solid gray;
    text-decoration: none;
    color: #e6007e;
}

header nav li:last-child a {
    border-right: none;
}

img.logo {
    height: 3em;
    width: auto;
}

footer {
    border-top: 1px solid gray;
    text-align: center;
}

#title {
    text-align: center;
    font-size: 22pt;
}

h1 {
    font-size: 20pt;
}

section {
    margin: auto;
    margin-bottom: 2em;
    margin-top: 2em;
    max-width: 600px;
}

section img {
    display: block;
    margin: 0 auto;
    max-width: 100%;
    height: auto;
}

section div.sourceCode {
    border: 1px solid black;
    border-radius: 5px;
    padding: 10px;
    background: #333;
    color: white;
}

code span.fu {
    color: #81a2f7;
}

code span.va {
    color: #47ce4f;
}

section a {
    color: lightblue;
}

section a:visited {
    color: gray;
}

img.tiny-img {
    max-width: 20px;
    max-height: 20px;
    width: auto;
    height: auto;
}

a.button, a.button:visited {
    display: block;
    padding: 1em;
    border-radius: 4px;
    background: #e6007e;
    text-decoration: none;
    color: white;
}