@media screen {
    @import url("https://fonts.googleapis.com/css?family=B612+Mono&display=swap");
    @import url("https://fonts.googleapis.com/css?family=Noto+Sans&display=swap");
    @import url("https://fonts.googleapis.com/css?family=Noto+Serif&display=swap");
}

:root {
    background-color: #fffff8;
    --table-border-style: 1px solid black;
    --border-color: #dfdfdf;
    --symbol-fonts: "Arial Unicode", "Apple Symbols", "Symbol", "Symbola_hint";
    --body-family: "Noto Serif", serif, var(--symbol-fonts);
    --title-family: "Noto Sans", sans-serif, var(--symbol-fonts);
    --mono-family: "B612 Mono", monospace, var(--symbol-fonts);
}

html {
    height: 100%;
    width: 100%;
    line-height: 1.75rem;
    font-size: 16pt;
    padding: 0;
    margin-top: 0;
    margin-bottom: 0;
    margin-left: auto;
    margin-right: auto;
    font-family: var(--body-family);
}

body {
    min-height: 100%;
    padding-left: 1rem;
    padding-right: 1rem;
    margin-left: auto;
    margin-right: auto;
    max-width: 50rem;
    padding-bottom: 8rem;
}

code {
    font-family: var(--mono-family);
    background-color: var(--verbatim-odd-background-color);
    border: 1px solid var(--numbered-number-color);
    border-radius: 6px;
    padding-top: 0.1em;
    padding-bottom: 0.1em;
    padding-left: 0.3em;
    padding-right: 0.3em;
    margin: 0;
    font-size: 85%;
}

pre code {
    border: none;
    background-color: inherit;
    padding: inherit;
    font-size: inherit;
    margin: inherit;
}

/* ============================================================ */

h1, h2, h3, h4, h5, h6 {
    font-family: var(--title-family);
    font-weight: 600;
    font-style: normal;
}

h1 { font-weight: 400;
     margin-top: 1rem;
     margin-bottom: 1.5rem;
     font-size: 3.2rem;
     line-height: 1;
   }

h2 { font-weight: 400;
     margin-top: 2.1rem;
     margin-bottom: 2rem;
     font-size: 2.2rem;
     line-height: 1;
   }

h3 { font-weight: 400;
     font-size: 1.7rem;
     margin-top: 2rem;
     margin-bottom: 0;
     line-height: 1;
   }

h4 { font-weight: 400;
     font-size: 1.5rem;
     margin-top: 2rem;
     margin-bottom: 0;
     line-height: 1;
   }

h5 { font-weight: 400;
     font-size: 1.0rem;
     margin-top: 1.5rem;
     margin-bottom: 0;
     line-height: 1;
   }

h6 { font-weight: 400;
     font-size: 1.0rem;
     margin-top: 1.5rem;
     margin-bottom: 0;
     line-height: 1;
   }

/* ============================================================ */

section {
    margin-top: 2rem;
    border-top: 4px solid var(--border-color);
    border-top-right-radius: 2em;
}