/*
@media print {
    #main { width: 85%; margin: 0; }
}
@media screen and (min-width: 960px) {
    #main {
        width: auto !important;
        margin: 4rem !important;
    }
}
@media screen and (max-width: 960px) {
    #main {
        width: auto !important;
        margin: 3rem !important;
    }
}
@media screen and (max-width: 800px) {
    #main {
        width: 90% !important;
        margin: 2rem !important;
    }
}*/

#main {
    margin: 0 auto;
    padding: 1rem;
    background-color: white;
    width: 50%;
    font-size: 125%;
}
pre {
    font-size: 1rem;
    max-width: 100%;
    overflow: auto;
}

@media print {
    #main {
	width: auto !important;
	margin: 1rem;
	padding: 1rem;
	font-size: 100%;
    }
}
@media screen and (max-width: 1200px) {
    #main { width: 70%; }
}
@media screen and (max-width: 1100px) {
    #main { width: 80%; }
}
@media screen and (max-width: 1000px) {
    #main { width: 85%; }
}
@media screen and (max-width: 900px) {
    #main { width: 90%; }
}
@media screen and (max-width: 800px) {
    #main { width: 95%; }
}
@media screen and (max-width: 700px) {
    #main { width: auto !important; }
}
.centered {
    text-align: center;
}

@media print {
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonPrint/Atkinson-Hyperlegible-Regular-102.otf") format("opentype");
        font-weight: auto;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonPrint/Atkinson-Hyperlegible-Bold-102.otf") format("opentype");
        font-weight: bold;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonPrint/Atkinson-Hyperlegible-Italic-102.otf") format("opentype");
        font-style: italic;
    }
    @font-face {
        font-family: "Atkinson";
        src:
            local("Atkinson Hyperlegible"),
            url("assets/_font/AtkinsonPrint/Atkinson-Hyperlegible-BoldItalic-102.otf") format("opentype");
        font-style: italic;
        font-weight: bold;;
    }
}

@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;;
    }
}
  

body {
    color: black;
    background-color: white;
    font-family: 'Atkinson', 'Source Han Serif', 'Times New Roman', Times, serif;
    padding: 0px;
    margin: 0px;
}
#main {
    
}
a {
    color: black;
}
.footer {
    font-size: 80%;
    
}
.cite-area {
    font-size: 80%;
}
.right-align {
    text-align: right;
}
code {
    font-family: monospace;
}
.code {
    padding-left: 1rem;
}
.sub-comment {
    color: #3f3f3f;
}
.sub-comment a {
    color: #3f3f3f;
}


.code-python::before { content: 'Python'; border: 1px black solid; display: block; width: fit-content; }
.code-haskell::before { content: 'Haskell'; border: 1px black solid; display: block; width: fit-content; }
.code-postscript::before { content: 'Postscript'; border: 1px black solid; display: block; width: fit-content; }
.code-typescript::before { content: 'TypeScript'; border: 1px black solid; display: block; width: fit-content; }
.code-sml::before { content: 'Standard ML'; border: 1px black solid; display: block; width: fit-content; }
.code-scheme::before { content: 'Scheme'; border: 1px black solid; display: block; width: fit-content; }

.katex-display {
    text-align: center;
    display: block;
}

.sub-comment {
    color: #3f3f3f;
}
.sub-comment a {
    color: #3f3f3f;
}

blockquote {
    color: #3f3f3f;
    border-left: 2px #3f3f3f solid;
    margin-left: 1rem;
    padding-left: 1rem;
}

pre {
    border-left: 2px black solid;
    margin-left: 1rem;
    padding-left: 1rem;
}

.footnote {
    margin-bottom: 2rem;
    border-top: 1px black solid;
    padding-top: 2rem;
}
.footnote-item {
    margin-bottom: 1rem;
}

.image-alt {
    font-size: 0.8rem;
    color: #3f3f3f;
}

table { margin: 0 auto; }
th { font-weight: bold; padding-left: 0.5rem; padding-right: 0.5rem; }
td { padding-left: 0.5rem; padding-right: 0.5rem; }