@font-face {
    /* from https://github.com/ryanoasis/nerd-fonts/tree/master/patched-fonts/FiraCode */
    font-family: "FiraCode";
    src: url('/static/FiraCodeNerdFontMono-Regular.woff2');
}

/* from Google Fonts, under the Open Font License */
@font-face {
    font-family: "Atkinson Hyperlegible";
    src: local('Atkinson Hyperlegible'), url('/static/AtkinsonHyperlegible-Regular.woff2');
}

@font-face {
    font-family: "Atkinson Hyperlegible Bold";
    src: local('Atkinson Hyperlegible Bold'), url('/static/AtkinsonHyperlegible-Bold.woff2');
}

@font-face {
    font-family: "Atkinson Hyperlegible Italic";
    src: local('Atkinson Hyperlegible Italic'), url('/static/AtkinsonHyperlegible-Italic.woff2');
}

@font-face {
    font-family: "Atkinson Hyperlegible Bold Italic";
    src: local('Atkinson Hyperlegible Bold Italic'), url('/static/AtkinsonHyperlegible-BoldItalic.woff2');
}

body {
    color: #dadada;
    background: #181a1b;
    margin: 1em auto;
    max-width: 90vw;
    padding: 0 .62em;
}

li {
    font-family: 'Atkinson Hyperlegible';
}

p,
footer {
    font: 18px/1.35 'Atkinson Hyperlegible', sans-serif;
}

figcaption {
    font: 14px/1.35 'Atkinson Hyperlegible', sans-serif;
}

small {
    font: 14px/1.35 'Atkinson Hyperlegible', sans-serif;
}

a:link,
a:visited {
    color: #80c47b;
}

a:hover,
a:visited:hover {
    color: #6bb794
}

h1 {
    font: 36px/1.2 'Atkinson Hyperlegible Bold', sans-serif;
}

h2,
h3 {
    font: 24px/1.2 'Atkinson Hyperlegible Bold', sans-serif;
}

h4 {
    font: 20px/1.2 'Atkinson Hyperlegible Bold', sans-serif;
}

code {
    background: #0e0f0f;
    border-radius: .2em;
    padding: .125em;
}

.force-word-wrap pre code {
    white-space: normal;
    word-wrap: break-word;
}

footer {
    text-align: center;
}

blockquote {
    border-left: 3px solid #59997a;
    padding-left: 1em;
    margin-left: 0.5;
}

img {
    max-width: 90vw;
}

/* navbar code is stolen from https://www.w3schools.com/howto/howto_js_topnav.asp */
.navbar {
    font-family: 'Atkinson Hyperlegible';
    background-color: #2a2a2a;
    overflow: hidden;
}

/* Style the links inside the navigation bar */
.navbar a {
    float: left;
    color: #f2f2f2;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
    font-size: 17px;
}

/* Change the color of links on hover */
.navbar a:hover {
    background-color: #ddd;
    color: #000;
}

/* Add a color to the active/current link */
.navbar a.active {
    background-color: #047baa;
    color: #fff;
}

@media (max-device-width: 1200px) {
    h1 {
        line-height: 1.2;
        font-size: 40px;
    }

    h2 {
        line-height: 1.2;
        font-size: 30px;
    }

    body {
        font-size: 20px;
    }
}

@media print {
    body {
        max-width: none
    }
}