#menu-tc-button {
  font-weight: bold;
  padding: 1em;
  color: CanvasText;
  display: inline-block;
  vertical-align: top;
}

#menu-toggle-button {
  display: none;
  vertical-align: top;
}
#menu-toggle-button svg {
  display: block;
}
#menu-toggle-button * {
  stroke: CanvasText;
  stroke-width: 1;
  stroke-linecap: round;
}

@media (width <= 700px) {
  #menu-toggle-button {
    display: inline-block;
  }
  #menu-toggle:checked ~ ul li {
    display: inline-block;
  }
  header nav {
    flex-direction: column;
  }
  header nav ul {
    flex-direction: column;
  }
  header nav ul li {
    display: none;
  }
}
@media (width <= 550px) {
  #exordium br {
    display: none;
  }
}
* {
  padding: 0;
  margin: 0;
}

body {
  font-family: "Lucida Sans", "Lucida Sans Regular", "Lucida Grande", "Lucida Sans Unicode", Geneva, Verdana, sans-serif;
  background-color: Canvas;
  color: CanvasText;
  color-scheme: light dark;
  accent-color: oklch(69% 0.2 140deg);
  box-sizing: border-box;
}

a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

nav {
  background-color: oklch(from oklch(69% 0.2 140deg) l c h/0.9);
  white-space: nowrap;
  display: flex;
  flex-direction: row;
}
nav ul {
  list-style: none;
  display: flex;
  flex-direction: row;
}
nav ul li a {
  padding: 1em;
  margin-right: -0.3em;
  color: CanvasText;
  display: inline-block;
}

main {
  padding: 1em;
  line-height: 130%;
}
main a {
  color: inherit;
  text-decoration: underline;
}
main a:visited {
  color: inherit;
}
main strong {
  color: oklch(69% 0.2 140deg);
}
main #main-centered {
  max-width: 70em;
  margin: 0 auto;
}
main #main-centered h1 {
  font-size: min(2em, 6.5vw);
}
main #main-centered h2#oneoperator-trivialsemantics-turingcomplete-intensional {
  font-size: min(1.7em, 5.2vw);
}
main #main-centered h2#oneoperator-trivialsemantics-turingcomplete-intensional > a {
  text-decoration: none;
}
main #main-centered h2#oneoperator-trivialsemantics-turingcomplete-intensional > a:hover {
  text-decoration: underline;
}
main ul {
  padding-left: 1.5em;
}
main ol {
  padding-left: 1.5em;
}
main ol > li::marker {
  color: oklch(69% 0.2 140deg);
}
main > .boxes > ul {
  max-width: 55em;
  margin: 0 auto;
  padding: 0;
  list-style: none;
  display: grid;
  grid-gap: 1em;
  grid-template-columns: repeat(auto-fit, min(26em, 100%));
  grid-auto-rows: min-content;
  justify-content: space-evenly;
}
main > .boxes > ul li {
  margin: 0.3em;
  font-size: 0.9em;
  /* background: hsla(134, 69%, 43%, 0.1); */
  text-align: justify;
  text-align-last: left;
}
main > .boxes > ul li h1,
main > .boxes > ul li h2 {
  line-height: 180%;
  text-align: center;
  text-align-last: center;
}
main > .boxes > ul li h3 {
  padding-top: 0.8em;
  font-size: 110%;
  opacity: 70%;
  font-weight: normal;
}
main > .boxes > ul li h3 + p {
  margin-top: 0;
  text-align: left;
}
main > .boxes > ul li p {
  margin-top: 0.6em;
}
main blockquote {
  padding: 1em;
  margin: 1em 0;
  border-left: 0.2em solid oklch(69% 0.2 140deg);
}
main blockquote blockquote {
  padding: 1em 0;
  margin: 0;
  border-left: 0;
  opacity: 80%;
}

.cm-tooltip > * {
  background: Canvas;
  border: 1px solid CanvasText;
}

.cm-tooltip.cm-completionInfo.cm-completionInfo-right {
  background: Canvas;
  border: 1px solid CanvasText;
}

h1,
h2 {
  text-align: center;
  font-weight: 100;
  line-height: 130%;
}

svg * {
  stroke-width: 5;
}
svg *[stroke=black] {
  stroke: CanvasText;
}
svg *[stroke=white] {
  stroke: Canvas;
}
svg *[fill=black] {
  fill: CanvasText;
}
svg *[fill=white] {
  fill: Canvas;
}

.terminal {
  border-radius: 5px;
  overflow: hidden;
}
.terminal .ap-player.asciinema-player-theme-solarized-ish-auto {
  border-radius: 0;
  --term-color-foreground: #000;
  --term-color-background: #fdf6e3;
  --term-color-0: #073642;
  --term-color-1: #dc322f;
  --term-color-2: #8b9263;
  --term-color-3: #a57c00;
  --term-color-4: #268bd2;
  --term-color-5: #d33682;
  --term-color-6: oklch(69% 0.2 140deg);
  --term-color-7: #eee8d5;
  --term-color-8: #002b36;
  --term-color-9: #cb4b16;
  --term-color-10: #586e75;
  --term-color-11: #657c83;
  --term-color-12: #839496;
  --term-color-13: #6c71c4;
  --term-color-14: #93a1a1;
  --term-color-15: #fdf6e3;
}
@media (prefers-color-scheme: dark) {
  .terminal .ap-player.asciinema-player-theme-solarized-ish-auto {
    --term-color-foreground: #adbbbc;
    --term-color-background: #002b36;
    --term-color-0: #073642;
    --term-color-1: #dc322f;
    --term-color-2: #696969;
    --term-color-3: #b4b685;
    --term-color-4: #559fd3;
    --term-color-5: #d33682;
    --term-color-6: oklch(69% 0.2 140deg);
    --term-color-7: #eee8d5;
    --term-color-8: #002b36;
    --term-color-9: #cb4b16;
    --term-color-10: #586e75;
    --term-color-11: #657b83;
    --term-color-12: #839496;
    --term-color-13: #6c71c4;
    --term-color-14: #93a1a1;
    --term-color-15: #fdf6e3;
  }
}

.highlight .c, .highlight .c1, .highlight .o, .highlight .p {
  opacity: 50%;
}
.highlight .k, .highlight .kd {
  color: oklch(69% 0.2 140deg);
  opacity: 90%;
}

/*# sourceMappingURL=style.css.map */