@import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:ital,wght@0,200..900;1,200..900&family=Source+Sans+3:ital,wght@0,200..900;1,200..900&family=Source+Serif+4:ital,opsz,wght@0,8..60,200..900;1,8..60,200..900&display=swap');

:root {
    --font-mono: 'Source Code Pro', monospace;
    --font-sans: 'Source Sans 3', sans-serif;
    --font-serif: 'Source Serif 4', serif;
}

html {
    font-family: var(--font-sans);
    font-weight: 200;
    margin-left: auto;
    margin-right: auto;
    max-width: 800px;
}

a {
    color: darkgray;
}

tt,
pre,
code {
    font-family: var(--font-mono);
}

h1 {
    padding: 5px;
    background-color: darkgray;
    border-bottom: 5px solid #002FA7;
}

p {
    text-align: justify;
}

.footer {
    position: fixed;
    left: 0;
    bottom: 0;
    width: 100%;
    background-color: black;
    color: white;
    text-align: center;
    padding: 10px 0;
}

.menu {
    text-align: right;
    padding: 5px;
    margin-top: -20px;
    background: #f0f0f0;
}