@import url('https://fonts.googleapis.com/css2?family=Archivo+Narrow:ital,wght@0,400..700;1,400..700&family=Faustina:ital,wght@0,300..800;1,300..800&family=Iosevka+Charon+Mono:ital,wght@0,300;0,400;0,500;0,700;1,300;1,400;1,500;1,700&display=swap');
:root {
  --background-color: oklch(0.3544 0.0134 189.2);
  --foreground-color: oklch(0.9488 0.0223 160.22);
  --main-font: "Fausina", serif;
  --heading-font: "Archivo Narrow", sans-serif;
  --mono-font: "Iosevka Charon Mono", monospace;
  --mono-color: oklch(0.8325 0.185 159.35);
  --strong-color: oklch(0.7132 0.148 256.76);
  --link-color: oklch(0.8635 0.1283 85.1);
}

body {
  margin-left: 3vw;
  margin-right: 3vw;
  margin-top: 1em;
  margin-bottom: 1em;
  background-color: var(--background-color);
  font-family: var(--main-font);
  color: var(--foreground-color);
  font-size: 18pt;
  line-height: 1.3;
  min-width: 84vw;
}


h1, h2, h3, h4, h5, h6 {
  font-family: var(--heading-font);
  color: var(--strong-color);
  background: black;
  font-weight: 600;
  padding: 0.2em;
}

h1 {
  font-size: 2em;
  border-top: 5pt solid var(--foreground-color);
  border-bottom: 5pt solid var(--foreground-color);
}

h2 {
  padding-left: 1em;
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  font-size: 1.5em;
  border-bottom: 4pt solid var(--strong-color);
}

h3 {
  font-size: 1.25em;
  border-bottom: 1pt solid var(--foreground-color);
}

h4 {
  font-size: 1em;
  border-bottom: 1pt solid var(--foreground-color);
}

q:before {
  content: "\201c";
}

q:after {
  content: "\201d";
}

q q:before {
  content: "\2018";
}

q q:after {
  content: "\2019";
}

a, a:visited {
  color: var(--link-color);
  text-decoration: underline;
}

a:active, a:hover {
  color: var(--strong-color);
  background-color: black;
}

p {
  margin-top: 1em;
  margin-bottom: 1em;
}

sub {
  vertical-align: sub;
  font-size: 75%;
}

sup {
  vertical-align: super;
  font-size: 75%;
}

img {
  overflow-x: scroll;
}

code, pre, tt {
  font-family: var(--mono-font);
  color: var(--mono-color);
}

b,
strong,
i,
em,
cite,
tt,
code,
img,
span {
  display: inline;
}


strong, em {
  background-color: black;
  color: var(--strong-color);
  padding: 2px;
}

strong {
  font-weight: bold;
}

em {
  font-style: italic;
}

blockquote {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
  padding-left: 2em;
  border-left: thin solid white;
}


blockquote em {
  font-size: 1.75em;
}

cite {
  font-style: italic;
}

ul,
ol {
  margin-top: 0.25em;
  margin-bottom: 0.25em;
  margin-left: 1em;
}

ul {
  list-style: square outside;
}

ol {
  list-style: decimal outside;
}

ol ol {
  list-style: lower-alpha outside;
}

ol ol ol {
  list-style: lower-roman outside;
}

ul ul {
  list-style: disc outside;
}

ul ul ul {
  list-style: "- " outside;
}

li {
  display: list-item;
  padding-top: 2px;
}

.attrib:before {
  content: '\2014';
}

.footnotes {
  border-top: thin white solid;
  margin-top: 4em;
  font-size: 0.8em;
}

.site_identity {
  font-family: var(--mono-font);
  margin-top: 2em;
  font-size: 0.75em;
  text-align: right;
}

.site_identity * {
  padding: 10px;
  color: var(--mono-color);
}

div.code,
div.repl_input,
div.repl_output,
div.repl_prompt {
  text-align: left;
}

.code-lang {
  font-style: italic;
  color: white;
}

.code-header {
  background-color: #303;
}

.code-elipsis {
  padding-left: 2em;
  color: #0f0;
  font-style: italic;
  font-family: var(--mono-font);
  background-color: #002b36;
}

div.code_block {
  background-color: #002b36;
  border-style: solid;
  border-color: black;
  border-width: 1rem;
  color: white;
  max-width: 100vw;
  overflow-x: auto;
}

div.repl_prompt,
div.repl_input,
div.code {
  font-size: 1.2rem;
  line-height: 1.5rem;
  display: inline-block;
}

.repl_prompt::before {
  color: cyan;
  background-color: #300;
}

div.repl_input,
div.code {
  vertical-align: top;
}

div.repl_output {
  color: magenta;
  background-color: #030;
}

.filename {
  font-family: var(--mono-font);
  color: #0f0;
  padding-right: 2em;
}

.checker:hover {
  background: repeating-linear-gradient(
    to right,
    #002b99,
    #002b99 1ch,
    #002b60 1ch,
    #002b60 2ch
  );
  background-attachment: scroll, local;
}

.checker:hover:after {
  font-weight: bold;
  color: #0af;
  content: "↵";
}

.lineno {
  counter-increment: line;
}

.lineno::before {
  background-color: black;
  content: counter(line);
  color: #0af;
}

.dig-0::before {
  padding-right: 1ch;
}

.dig-1::before {
  padding-right: 2ch;
}

.dig-2::before {
  padding-right: 3ch;
}

.dig-3::before {
  padding-right: 4ch;
}

.dig-4::before {
  padding-right: 5ch;
}