@font-face {
    font-family: "Paper Mono";
    font-weight: 400;
    font-style: normal;
    font-display: block;
    src: url("/assets/fonts/PaperMono-ASCII.woff2") format('woff2');
    unicode-range: U+20-7E;
}

:root {
  --color-bg: rgb(220, 220, 220);
  --color-fg: rgb(22, 22, 22);
  --color-err-fg: var(--color-bg);
  --color-err-bg: rgb(184, 0, 0);

  --font-mono: "Paper Mono", "SFMono-Regular", Menlo, ui-monospace, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --color-bg: rgb(22, 22, 22);
    --color-fg: rgb(220, 220, 220);
    --color-err-fg: rgb(184, 0, 0);
    --color-err-bg: var(--color-fg);
  }
}

html {
    color: var(--color-fg);
    background-color: var(--color-bg);
}

body {
    font-family: var(--font-mono);
}

h1 {
    line-height: 1;
    font-size: 2.2rem;
    padding-top: 32vh;
    padding-left: 32vw;
}

.err {
    color: var(--color-err-fg);
    background-color: var(--color-err-bg);
}