@media screen {
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Regular-102a.woff2") format("woff2"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Regular-102.ttf") format("ttf");
        font-weight: auto;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Bold-102a.woff2") format("woff2"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Bold-102.ttf") format("ttf");
        font-weight: bold;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Italic-102a.woff2") format("woff2"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-Italic-102.ttf") format("ttf");
        font-style: italic;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-BoldItalic-102a.woff2") format("woff2"),
            url("assets/_font/AtkinsonWeb/Atkinson-Hyperlegible-BoldItalic-102.ttf") format("ttf");
        font-style: italic;
        font-weight: bold;;
    }
}

@font-face {
    font-family: "Didot";
    src:
	local("Didot"),
	url("assets/Didot-HTF-L42-Light.ttf") format("truetype");
}

@media screen and (max-width: 800px) {
    body {
	width: calc(100% - 8rem) !important;
    }
    #logo {
	width: 100%;
    }
}

body {
    background-color: black;
    color: white;
    margin: 4rem;
    /* font-family: serif */
    font-family: 'Franklin Gothic Medium', 'Arial Narrow', Arial, sans-serif;
    width: 640px;
}

ul {
    list-style-type: square;
    /* list-style-position: inside; */
    padding-left: 1rem;
}
li {
    padding-left: 0.5rem;
}

a {
    color: white;
    background-color: black;
    transition: background-color 0.3s ease-in-out, color 0.5s ease-in-out;
    -moz-transition: background-color 0.3s ease-in-out, color 0.5s ease-in-out;
    -webkit-transition: background-color 0.3s ease-in-out, color 0.5s ease-in-out;
    -o-transition: background-color 0.3s ease-in-out, color 0.5s ease-in-out;
}
a:hover {
    color: black;
    background-color: white;
}

#title {
    /* font-family: Didot, Times, "Times New Roman", serif; */
    font-family: Times, "Times New Roman", serif;
    user-select: none;
}
#nav {
    margin-top: 2rem;
    margin-bottom: 2rem;
}
#footer {
    margin-top: 2rem;
}
code, pre {
    font-size: 1rem;
}
pre {
    margin-left: 3rem;
}