@font-face { font-family: "Geist"; src: url("/fonts/Geist-Variable.woff2") format("woff2"); font-weight: 100 900; font-display: swap; }
/* Draft of a subinternal research post. Paper and graphite, Geist for reading, Geist Mono for code and data. */
@font-face { font-family: "Geist Mono"; src: url("/fonts/GeistMono-Variable.woff2") format("woff2"); font-weight: 100 900; font-display: swap; }
:root {
  --paper: #E9E7E2; --card: #F4F3EF; --ink: #141518; --ink-2: #44464d; --muted: #5f6168;
  --line: rgb(20 21 24 / 0.1); --line-2: rgb(20 21 24 / 0.18);
  --graphite: #2b2b2e; --on-dark: #F2F1EE; --on-dark-2: rgb(242 241 238 / 0.62); --dark-line: rgb(242 241 238 / 0.13);
  --wrong: #b4232f; --kept: #1f7a45;
  --sans: "Geist", ui-sans-serif, system-ui, -apple-system, sans-serif;
  --mono: "Geist Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
}
* { box-sizing: border-box; }
html { background: var(--paper); scroll-padding-top: 88px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 400 17px/1.7 var(--sans); -webkit-font-smoothing: antialiased; }
a { color: inherit; }
/* mttr's control principle: a fill, a hairline, a short soft shadow. The one main action is graphite, not black. */
.btn { display: inline-flex; align-items: center; height: 40px; padding: 0 16px; border: 0; border-radius: 12px; background: linear-gradient(#3a3a3c, #232324); color: #fff !important; font: 500 14.5px/1 var(--sans); text-decoration: none; white-space: nowrap; box-shadow: 0 1px 2px rgb(0 0 0 / 0.3), 0 6px 14px -6px rgb(0 0 0 / 0.35), inset 0 1px 0 rgb(255 255 255 / 0.16); transition: filter 140ms ease; }
.btn:hover { filter: brightness(1.15); }
.btn:active { transform: translateY(0.5px); }
.news { display: flex; justify-content: center; align-items: center; gap: 12px; margin: 0; padding: 9px 16px; background: var(--graphite); color: var(--on-dark-2); font: 400 13.5px/1.4 var(--sans); }
.news a { display: inline-flex; align-items: center; gap: 12px; color: var(--on-dark); text-decoration: none; }
.news a:hover span { text-decoration: underline; text-underline-offset: 3px; }
.news i { padding: 2px 8px; border-radius: 6px; background: linear-gradient(#ffffff, #e9e9ea); color: #232324; font: 500 11.5px/1.5 var(--sans); font-style: normal; box-shadow: 0 1px 2px rgb(0 0 0 / 0.3), inset 0 -1px 0 rgb(0 0 0 / 0.08); }
.news em { color: var(--on-dark-2); font-style: normal; }

/* Site header */
.site { position: sticky; top: 0; z-index: 10; background: rgb(233 231 226 / 0.86); -webkit-backdrop-filter: saturate(1.4) blur(14px); backdrop-filter: saturate(1.4) blur(14px); border-bottom: 1px solid var(--line); }
.site-in { display: flex; align-items: center; gap: 40px; max-width: 1240px; height: 64px; margin: 0 auto; padding: 0 24px; }
.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); font-weight: 600; font-size: 16px; letter-spacing: -0.01em; text-decoration: none; }
.brand svg { width: 26px; height: 26px; }
.brand .tile { fill: var(--ink); } .brand .mark { fill: var(--paper); }
.site nav { display: flex; gap: 28px; font-size: 14.5px; }
.site nav a { color: var(--ink-2); text-decoration: none; }
.site nav a:hover, .site nav a[aria-current] { color: var(--ink); }
.site-end { display: flex; align-items: center; gap: 18px; margin-left: auto; font-size: 14.5px; }
.site-end a { text-decoration: none; color: var(--ink-2); }

/* Post header */
.head { max-width: 1240px; margin: 0 auto; padding: 88px 24px 48px; }
.kicker { display: flex; flex-wrap: wrap; gap: 8px 20px; margin: 0 0 28px; color: var(--muted); font: 13px/1.4 var(--mono); }
.kicker a { color: var(--ink); text-decoration: none; }
h1 { max-width: 15ch; margin: 0; font-size: clamp(40px, 6vw, 72px); font-weight: 500; line-height: 1.02; letter-spacing: -0.035em; }
.dek { max-width: 54ch; text-wrap: pretty; margin: 28px 0 0; color: var(--ink-2); font-size: 21px; line-height: 1.5; letter-spacing: -0.01em; }

/* Figure 1: the method, wide, on graphite */
.hero { max-width: 1240px; margin: 0 auto; padding: 0 24px; }
.panel { overflow: hidden; border-radius: 20px; background: var(--graphite); }
.panel svg { display: block; width: 100%; height: auto; }
.fig-tall { display: none !important; }
/* The figure comes in once, step by step, the way the run went. */
.panel .st { animation: st-in 520ms cubic-bezier(0.2, 0.8, 0.2, 1) both; }
.panel .s1 { animation-delay: 80ms; } .panel .s2 { animation-delay: 200ms; } .panel .s3 { animation-delay: 340ms; } .panel .s4 { animation-delay: 480ms; }
.panel .s5 { animation-delay: 620ms; } .panel .s6 { animation-delay: 760ms; } .panel .s7 { animation-delay: 900ms; }
@keyframes st-in { from { opacity: 0; transform: translateY(6px); } }
@media (prefers-reduced-motion: reduce) { .panel .st { animation: none; } }
figcaption { margin: 14px 0 0; color: var(--muted); font-size: 14px; line-height: 1.55; }
figcaption b { color: var(--ink); font-weight: 600; }

/* Body: contents on the left, the article in a reading column */
.body { display: grid; grid-template-columns: 220px minmax(0, 680px); justify-content: center; gap: 72px; max-width: 1240px; margin: 0 auto; padding: 72px 24px 40px; }
.toc { position: sticky; top: 96px; align-self: start; font-size: 13.5px; }
.toc b { display: block; margin-bottom: 12px; font-weight: 500; }
.toc ol { margin: 0; padding: 0; list-style: none; border-left: 1px solid var(--line-2); }
.toc li a { display: block; margin-left: -1px; padding: 5px 0 5px 14px; border-left: 1px solid transparent; color: var(--muted); text-decoration: none; }
.toc li a:hover { color: var(--ink); border-color: var(--ink); }
.byline { margin-top: 32px; padding-top: 20px; border-top: 1px solid var(--line); color: var(--muted); font-size: 13px; line-height: 1.6; }
.byline b { display: block; color: var(--ink); font-weight: 500; }

article > :first-child { margin-top: 0; }
article h2 { margin: 64px 0 16px; font-size: 28px; font-weight: 500; line-height: 1.2; letter-spacing: -0.02em; }
article h3 { margin: 36px 0 10px; font-size: 18px; font-weight: 600; letter-spacing: -0.01em; }
article p { margin: 0 0 18px; color: var(--ink-2); }
article p b, article li b { color: var(--ink); font-weight: 600; }
article ul, article ol { margin: 0 0 18px; padding-left: 22px; color: var(--ink-2); }
article li { margin: 6px 0; }
article code { padding: 1px 6px; border-radius: 6px; background: rgb(20 21 24 / 0.06); font: 0.84em var(--mono); white-space: nowrap; }
sup a { color: var(--muted); font: 11px var(--mono); text-decoration: none; }

.summary { box-shadow: 0 1px 2px rgb(0 0 0 / 0.05); margin: 0 0 8px; padding: 28px 30px; border: 1px solid var(--line-2); border-radius: 16px; background: var(--card); }
.summary h2 { margin: 0 0 14px; font-size: 15px; font-weight: 600; letter-spacing: 0; }
.summary ul { margin: 0; padding: 0; list-style: none; counter-reset: k; }
.summary li { position: relative; margin: 12px 0 0; padding-left: 30px; color: var(--ink-2); font-size: 16px; line-height: 1.6; counter-increment: k; }
.summary li::before { content: counter(k); position: absolute; left: 0; top: 2px; display: grid; place-items: center; width: 20px; height: 20px; border-radius: 6px; background: var(--ink); color: var(--paper); font: 500 11px/1 var(--mono); }

figure { margin: 36px 0; }
.wide { margin-left: -60px; margin-right: -60px; }

/* Figure 2: every execution in our run */
.runs { box-shadow: 0 1px 2px rgb(0 0 0 / 0.05); padding: 24px; border: 1px solid var(--line-2); border-radius: 16px; background: var(--card); overflow-x: auto; }
.runs table { width: 100%; min-width: 620px; border-collapse: separate; border-spacing: 6px; font: 13px/1.3 var(--mono); }
.runs th { padding: 0 4px 6px; color: var(--muted); font-weight: 400; text-align: left; white-space: nowrap; }
.runs th.grp { padding-bottom: 2px; color: var(--ink); font-family: var(--sans); font-size: 12.5px; font-weight: 500; }
.runs tbody th { padding: 0 10px 0 0; color: var(--ink); font-family: var(--sans); font-size: 13.5px; font-weight: 500; }
.runs tbody th small { display: block; color: var(--muted); font-size: 12px; font-weight: 400; }
.runs td { height: 52px; padding: 0 10px; border-radius: 8px; background: rgb(20 21 24 / 0.045); text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; }
.runs td.wrong { background: rgb(180 35 47 / 0.09); color: var(--wrong); }
.runs td.kept { background: var(--ink); color: var(--paper); }
.runs td.none { background: none; border: 1px dashed var(--line-2); color: var(--muted); font-size: 11.5px; text-align: center; }
.key { display: flex; flex-wrap: wrap; gap: 8px 22px; margin: 16px 0 0; padding: 0; list-style: none; color: var(--muted); font-size: 13px; }
.sw-wrong { background: rgb(180 35 47 / 0.12); } .sw-right { background: rgb(20 21 24 / 0.08); } .sw-kept { background: var(--ink); }
.key i { display: inline-block; width: 12px; height: 12px; margin-right: 8px; border-radius: 3px; vertical-align: -1px; }

/* Code */
.code { overflow: hidden; border-radius: 14px; background: var(--graphite); color: var(--on-dark); }
.code > span { display: flex; justify-content: space-between; padding: 10px 18px; border-bottom: 1px solid var(--dark-line); color: var(--on-dark-2); font: 12px var(--mono); }
.code pre { margin: 0; padding: 18px; overflow-x: auto; font: 13.5px/1.7 var(--mono); }
.code .del { color: #ff8a8a; text-decoration: line-through; }
.code .dim { color: var(--on-dark-2); }
.code .key-k { color: #9fd8b5; }

.callout { margin: 28px 0; padding: 20px 22px; border-left: 2px solid var(--ink); background: var(--card); border-radius: 0 12px 12px 0; color: var(--ink-2); font-size: 15.5px; }
.callout b { color: var(--ink); }

.cases { box-shadow: 0 1px 2px rgb(0 0 0 / 0.05); display: grid; grid-template-columns: 1fr 1fr; gap: 1px; margin: 24px 0; overflow: hidden; border: 1px solid var(--line-2); border-radius: 16px; background: var(--line-2); }
.cases div { padding: 22px; background: var(--card); }
.cases b { display: block; margin-bottom: 8px; font-size: 16px; font-weight: 600; }
.cases p { margin: 0; font-size: 15px; line-height: 1.6; }
.cases small { display: block; margin-top: 12px; color: var(--muted); font: 12px/1.5 var(--mono); }

.data { width: 100%; margin: 20px 0 28px; border-collapse: collapse; font-size: 15px; }
.data th, .data td { padding: 12px 12px 12px 0; border-bottom: 1px solid var(--line); text-align: left; vertical-align: top; color: var(--ink-2); }
.data thead th { color: var(--muted); font-size: 13px; font-weight: 500; border-bottom-color: var(--line-2); }
.data td:first-child { color: var(--ink); font-weight: 500; }
.data .n { text-align: right; padding-right: 0; font-variant-numeric: tabular-nums; white-space: nowrap; }

.refs { padding-left: 0 !important; list-style: none; counter-reset: r; font-size: 14.5px; }
.refs li { position: relative; padding-left: 36px; counter-increment: r; }
.refs li::before { content: "[" counter(r) "]"; position: absolute; left: 0; color: var(--muted); font: 12.5px/2 var(--mono); }

/* More from subinternal */
.more { max-width: 1240px; margin: 0 auto; padding: 56px 24px 96px; }
.more h2 { margin: 0 0 24px; font-size: 22px; font-weight: 500; letter-spacing: -0.015em; }
.more-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 20px; }
.more-grid a { box-shadow: 0 1px 2px rgb(0 0 0 / 0.05); display: block; padding: 24px; border: 1px solid var(--line-2); border-radius: 16px; background: var(--card); text-decoration: none; transition: border-color 160ms ease, transform 160ms ease; }
.more-grid a:hover { border-color: var(--ink); transform: translateY(-2px); }
.more-grid small { display: block; color: var(--muted); font: 12.5px var(--mono); }
.more-grid b { display: block; margin: 40px 0 8px; font-size: 19px; font-weight: 500; line-height: 1.3; letter-spacing: -0.015em; }
.more-grid span { color: var(--ink-2); font-size: 14.5px; }

/* Footer */
.foot { background: var(--graphite); color: var(--on-dark); }
.foot-in { display: grid; grid-template-columns: 1.4fr repeat(3, 1fr); gap: 40px; max-width: 1240px; margin: 0 auto; padding: 72px 24px 40px; }
.foot .brand { color: var(--on-dark); }
.foot .brand .tile { fill: var(--on-dark); } .foot .brand .mark { fill: var(--graphite); }
.foot p { max-width: 30ch; margin: 18px 0 0; color: var(--on-dark-2); font-size: 14.5px; line-height: 1.6; }
.foot h4 { margin: 0 0 14px; color: var(--on-dark-2); font-size: 13px; font-weight: 500; }
.foot ul { margin: 0; padding: 0; list-style: none; font-size: 14.5px; }
.foot li { margin: 8px 0; }
.foot a { color: var(--on-dark); text-decoration: none; }
.foot a:hover { text-decoration: underline; text-underline-offset: 3px; }
.foot-base { display: flex; justify-content: space-between; gap: 16px; max-width: 1240px; margin: 0 auto; padding: 22px 24px 32px; border-top: 1px solid var(--dark-line); color: var(--on-dark-2); font-size: 13px; }

@media (max-width: 1100px) {
  .body { grid-template-columns: minmax(0, 680px); gap: 0; }
  .toc { display: none; }
  .wide { margin-left: 0; margin-right: 0; }
}
@media (max-width: 640px) { .news em { display: none; } .news span { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; } .news a { min-width: 0; } .fig-wide { display: none !important; } .fig-tall { display: block !important; } }
@media (max-width: 760px) {
  /* Code and commands wrap on a phone, as in the other posts, so none of a line is hidden off the edge of its box. A
     header with a long path wraps under its name. */
  .code pre { padding: 14px 16px; white-space: pre-wrap; overflow-wrap: anywhere; font-size: 12.5px; }
  .code > span { flex-wrap: wrap; gap: 2px 12px; padding: 10px 16px; }
  .code > span > span:first-child { min-width: 0; overflow-wrap: anywhere; }
  .site nav { display: none; }
  .site-end > a:not(.btn) { display: none; }
  .head { padding: 56px 16px 36px; }
  .hero, .body, .more { padding-left: 16px; padding-right: 16px; }
  .dek { font-size: 18px; }
  .panel { border-radius: 14px; }

  .cases, .more-grid { grid-template-columns: 1fr; }
  .foot-in { grid-template-columns: minmax(0, 1fr); padding: 56px 16px 32px; }
  .foot a { white-space: nowrap; }
  .foot-in > :first-child { grid-column: 1 / -1; }
  .foot-base { flex-direction: column; padding: 20px 16px 28px; }
  .summary { padding: 22px 20px; }
  .runs { padding: 16px; }
}
@media (prefers-reduced-motion: reduce) { .more-grid a { transition: none; } }

/* Headings break into even lines and no paragraph ends on a word alone. */
h1, h2, h3, h4 { text-wrap: balance; }
p, li, dd, figcaption, blockquote, summary { text-wrap: pretty; }