:root {
  --bg: #F7F5F0;
  --text: #1F1E1C;
  --muted: #5F5B54;
  --rule: #E3DFD6;
  --accent: #3D5A6C;

  --serif: "Source Serif 4", Georgia, "Times New Roman", serif;
  --mono: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #171716;
    --text: #E9E6E0;
    --muted: #A6A198;
    --rule: #2E2D2A;
    --accent: #9EADB6;
  }
}

*, *::before, *::after { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--serif);
  font-size: 18px;
  line-height: 1.6;
  font-optical-sizing: auto;
  -webkit-font-smoothing: antialiased;
}

a { color: inherit; text-decoration: underline; text-decoration-color: color-mix(in srgb, currentColor 40%, transparent); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { text-decoration-color: currentColor; }

.mono { font-family: var(--mono); }
.muted { color: var(--muted); }

/* Layout */

.column {
  max-width: calc(640px + 48px);
  margin: 0 auto;
  padding: 96px 24px 64px;
}

/* Home */

.name {
  font-size: 32px;
  font-weight: 600;
  line-height: 1.2;
  letter-spacing: -0.01em;
  margin: 0 0 24px;
}

.intro .prose p { margin: 0 0 1em; }
.intro { margin-bottom: 72px; }

.block { margin-bottom: 64px; }

.label {
  font-size: 12px;
  font-weight: 400;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
  margin: 0 0 16px;
}

/* Rows */

.rows { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--rule); }

.row {
  display: grid;
  column-gap: 20px;
  align-items: baseline;
  padding: 12px 0;
  border-bottom: 1px solid var(--rule);
}
.row--post { grid-template-columns: 2.25em 1fr auto; grid-template-areas: "num main aside"; }
.row--labeled { grid-template-columns: 8.5em 1fr; grid-template-areas: "label main"; }

.row__num { grid-area: num; font-size: 13px; color: var(--muted); }
.row__label { grid-area: label; font-size: 13px; color: var(--muted); }
.row__main { grid-area: main; }
.row__aside { grid-area: aside; font-size: 13px; color: var(--muted); text-align: right; white-space: nowrap; }

/* Top bar */

.topbar {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 16px;
  font-size: 13px;
  margin-bottom: 72px;
}
.topbar .back { color: var(--accent); text-decoration: none; }
.topbar .back:hover { text-decoration: underline; }


/* Article */

.article .intro { margin-bottom: 48px; }
.subtitle { margin: -12px 0 0; font-style: italic; }

.article__body h2 {
  font-size: 24px;
  font-weight: 600;
  line-height: 1.3;
  margin: 64px 0 16px;
}
.article__body h3 {
  font-size: 19px;
  font-weight: 600;
  margin: 40px 0 8px;
}
.article__body p, .article__body ul, .article__body ol { margin: 0 0 1em; }
.article__body li { margin-bottom: 0.4em; }
.article__body code {
  font-family: var(--mono);
  font-size: 0.82em;
  background: color-mix(in srgb, var(--rule) 60%, transparent);
  padding: 1px 4px;
  border-radius: 3px;
}
.article__body pre {
  font-family: var(--mono);
  font-size: 14px;
  line-height: 1.5;
  overflow-x: auto;
  padding: 16px;
  border: 1px solid var(--rule);
  border-radius: 4px;
  margin: 0 0 1.4em;
}
.article__body pre code { background: none; padding: 0; font-size: inherit; }
.article__body blockquote {
  margin: 0 0 1.2em;
  padding: 2px 0 2px 18px;
  border-left: 2px solid var(--accent);
  color: var(--muted);
}
.article__body table {
  width: 100%;
  border-collapse: collapse;
  font-size: 15px;
  margin: 0 0 1.4em;
  display: block;
  overflow-x: auto;
}
.article__body th, .article__body td {
  text-align: left;
  vertical-align: top;
  padding: 7px 12px 7px 0;
  border-bottom: 1px solid var(--rule);
}
.article__body th {
  font-family: var(--mono);
  font-size: 12px;
  font-weight: 400;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--muted);
}
.article__body img {
  display: block;
  max-width: 100%;
  height: auto;
  margin: 8px 0 6px;
  background: #fff;
  border: 1px solid var(--rule);
  border-radius: 4px;
}
.article__body img + em, .article__body .caption {
  display: block;
  font-size: 15px;
  color: var(--muted);
  margin-bottom: 1.6em;
}
.article__body hr { border: 0; border-top: 1px solid var(--rule); margin: 56px 0; }
.article__body .toc { font-size: 16px; }


.article__body figure { margin: 8px 0 1.8em; }
.article__body figure img { margin: 0; }
.article__body figcaption { font-size: 15px; color: var(--muted); margin-top: 8px; }
.article__body figcaption a { color: inherit; }
.article__body p.caption { font-size: 14px; color: var(--muted); margin-top: 40px; }

/* Inline diagrams */
svg.fig { display: block; width: 100%; height: auto; font-family: var(--mono); }
svg.fig .grid { stroke: var(--rule); stroke-width: 1; }
svg.fig .tick { fill: var(--muted); font-size: 11px; }
svg.fig .lab { fill: var(--text); font-family: var(--serif); font-size: 13px; }
svg.fig .val { fill: var(--muted); font-size: 11px; }
svg.fig .strong { fill: var(--text); font-weight: 600; }
svg.fig .bar { fill: color-mix(in srgb, var(--muted) 35%, transparent); }
svg.fig .bar.ours { fill: var(--accent); }
svg.fig .node { fill: var(--bg); stroke: var(--rule); stroke-width: 1.5; }
svg.fig .node.store { fill: color-mix(in srgb, var(--accent) 10%, var(--bg)); stroke: var(--accent); }
svg.fig .node.src { stroke-dasharray: 4 3; }
svg.fig .ntitle { fill: var(--text); font-family: var(--serif); font-weight: 600; font-size: 15px; }
svg.fig .nline { fill: var(--muted); font-size: 11.5px; }
svg.fig .edge { stroke: var(--muted); stroke-width: 1.5; fill: none; }
svg.fig .edge.dash { stroke-dasharray: 5 4; }
svg.fig .ahead { fill: var(--muted); }
svg.fig .shape { fill: var(--bg); stroke: var(--text); stroke-width: 1.3; }
svg.fig .dedge { stroke: var(--text); stroke-width: 1.4; fill: none; }
svg.fig .dthin { stroke: var(--muted); stroke-width: 0.8; stroke-dasharray: 2 2; }
svg.fig .dhead { fill: var(--text); }
svg.fig .dtitle { fill: var(--text); font-family: var(--serif); font-size: 15px; }
svg.fig .dtitle.sm { font-size: 13px; font-weight: 600; }
svg.fig .dlabel { fill: var(--text); font-family: var(--serif); font-size: 12.5px; }
svg.fig .dlabel.strong { font-weight: 600; }
svg.fig .hl { fill: var(--accent); fill-opacity: 0.55; stroke: var(--accent); stroke-width: 1; }
svg.fig .dedge.dash { stroke-dasharray: 5 4; }
svg.fig .dmono { fill: var(--text); font-family: var(--mono); font-size: 11px; }

svg.fig .node.design { stroke-dasharray: 5 3; }
svg.fig .colhead { fill: var(--accent); font-size: 11px; letter-spacing: 0.08em; }
svg.fig .ntitle.sm { font-size: 13px; }
svg.fig .nline.sm { font-size: 10.5px; }
svg.fig .nsize { fill: var(--accent); font-size: 10.5px; }
svg.fig .strongish { fill: var(--text); font-weight: 500; }
svg.fig .node.verify { fill: color-mix(in srgb, var(--accent) 6%, var(--bg)); stroke: var(--rule); }
svg.fig .edge.thin { stroke-width: 1; }

svg.fig .elab { fill: var(--muted); font-size: 11px; font-style: italic; }


@media (max-width: 560px) {
  .article__body figure.wide { overflow-x: auto; -webkit-overflow-scrolling: touch; }
  .article__body figure.wide svg.fig { min-width: 560px; }
}

/* Footer */

.footer {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 24px;
  margin-top: 96px;
  padding-top: 24px;
  border-top: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 13px;
}
.footer a { color: var(--accent); text-decoration: none; }
.footer a:hover { text-decoration: underline; }

/* Mobile */

@media (max-width: 560px) {
  body { font-size: 17px; }
  .column { padding: 56px 16px 48px; }
  .intro { margin-bottom: 56px; }

  .row--post {
    grid-template-columns: 2.25em 1fr;
    grid-template-areas: "num main" ". aside";
    row-gap: 2px;
  }
  .row__aside { text-align: left; }

  .row--labeled { grid-template-columns: 1fr; grid-template-areas: "label" "main"; row-gap: 2px; }

  .topbar { flex-direction: column; gap: 4px; margin-bottom: 48px; }
}