/* Fonts served from this site (SIL Open Font License 1.1, see fonts/OFL.txt): no request to any other host. */
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/plex-mono-400-latin-ext.woff2) format('woff2'); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/plex-mono-400-latin.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url(fonts/plex-mono-500-latin-ext.woff2) format('woff2'); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'IBM Plex Mono'; font-style: normal; font-weight: 500; font-display: swap; src: url(fonts/plex-mono-500-latin.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: 'Source Serif 4'; font-style: italic; font-weight: 400; font-display: swap; src: url(fonts/source-serif-4-italic-latin-ext.woff2) format('woff2'); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'Source Serif 4'; font-style: italic; font-weight: 400; font-display: swap; src: url(fonts/source-serif-4-italic-latin.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: 'Source Serif 4'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/source-serif-4-normal-latin-ext.woff2) format('woff2'); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'Source Serif 4'; font-style: normal; font-weight: 400; font-display: swap; src: url(fonts/source-serif-4-normal-latin.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
@font-face { font-family: 'Source Serif 4'; font-style: normal; font-weight: 600; font-display: swap; src: url(fonts/source-serif-4-normal-latin-ext.woff2) format('woff2'); unicode-range: U+0100-02BA, U+02BD-02C5, U+02C7-02CC, U+02CE-02D7, U+02DD-02FF, U+0304, U+0308, U+0329, U+1D00-1DBF, U+1E00-1E9F, U+1EF2-1EFF, U+2020, U+20A0-20AB, U+20AD-20C4, U+2113, U+2C60-2C7F, U+A720-A7FF; }
@font-face { font-family: 'Source Serif 4'; font-style: normal; font-weight: 600; font-display: swap; src: url(fonts/source-serif-4-normal-latin.woff2) format('woff2'); unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD; }
/* A lab paper, not a product page: serif for reading, mono for the record (dates, numbers, labels),
   one accent in red ochre, the pigment of the oldest marks people made, found at Blombos Cave on the southern Cape coast. */
:root {
  --paper: #f7f5f0; --ink: #1b1814; --muted: #6a645b; --rule: #d9d3c8; --ochre: #9c4a1a;
  --serif: "Source Serif 4", "Iowan Old Style", Georgia, serif;
  --mono: "IBM Plex Mono", ui-monospace, Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --paper: #15130f; --ink: #ece7de; --muted: #a39b8f; --rule: #37322a; --ochre: #e0905a; color-scheme: dark; } }
:root[data-theme="dark"] { --paper: #15130f; --ink: #ece7de; --muted: #a39b8f; --rule: #37322a; --ochre: #e0905a; color-scheme: dark; }
body { background: var(--paper); color: var(--ink); font-family: var(--serif); font-size: 18px; line-height: 1.6; margin: 0;
  padding: 0 max(16px, env(safe-area-inset-right, 0px)) 56px max(16px, env(safe-area-inset-left, 0px)); border-top: 3px solid var(--ochre); }
.col { max-width: 640px; margin: 0 auto; }
a { color: inherit; text-decoration-color: var(--ochre); text-underline-offset: 4px; text-decoration-thickness: 1px; }
a:hover { color: var(--ochre); }
a:focus-visible { outline: 2px solid var(--ochre); outline-offset: 3px; border-radius: 1px; }
.mono { font-family: var(--mono); }
header { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 12px 24px; padding-top: 40px; }
.name { margin: 0; display: flex; align-items: baseline; gap: 12px; flex-wrap: wrap; }
.name b { font-family: var(--mono); font-weight: 500; font-size: 15px; letter-spacing: 0.22em; }
.name span { font-size: 21px; }
.name a { text-decoration: none; color: inherit; }
nav { display: flex; gap: 20px; font-family: var(--mono); font-size: 13px; }
nav a { text-decoration: none; color: var(--muted); padding-bottom: 2px; }
nav a[aria-current="page"] { color: var(--ink); border-bottom: 1.5px solid var(--ochre); }
.intro { margin-top: 48px; }
.intro p { margin: 0 0 18px; max-width: 62ch; }
.langs { color: var(--muted); font-size: 16.5px; }
.cta { font-family: var(--mono); font-size: 13.5px; color: var(--muted); margin: 26px 0 0; }
.cta a { color: var(--ink); white-space: nowrap; }
.label { font-family: var(--mono); font-size: 12px; letter-spacing: 0.12em; text-transform: uppercase; color: var(--muted); margin: 0 0 10px; }
.research { margin-top: 56px; }
.toc { list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--ink); }
.toc li { display: grid; grid-template-columns: 8.5em minmax(0, 1fr); gap: 4px 20px; padding: 18px 0 20px; border-bottom: 1px solid var(--rule); }
.meta { font-family: var(--mono); font-size: 12.5px; line-height: 1.5; color: var(--muted); padding-top: 4px; display: grid; gap: 2px; align-content: start; font-variant-numeric: tabular-nums; }
.new { color: var(--ochre); font-weight: 500; letter-spacing: 0.08em; }
.toc h3 { font-weight: 600; font-size: 19px; line-height: 1.3; margin: 0 0 6px; text-wrap: balance; }
.toc p { margin: 0; color: var(--muted); font-size: 16px; line-height: 1.55; }
@media (max-width: 520px) { .toc li { grid-template-columns: minmax(0, 1fr); } .meta { display: flex; gap: 14px; padding-top: 0; } }
.who { margin-top: 56px; }
.who p { margin: 0 0 16px; max-width: 62ch; }
.contact { font-family: var(--mono); font-size: 14px; user-select: all; overflow-wrap: anywhere; }
footer { margin-top: 48px; border-top: 1px solid var(--rule); padding-top: 16px; display: flex; flex-wrap: wrap; justify-content: space-between; gap: 6px 16px; font-family: var(--mono); font-size: 12.5px; color: var(--muted); }
.banner { font-family: var(--mono); font-size: 12.5px; line-height: 1.5; color: var(--ink); border: 1px dashed var(--ochre); padding: 10px 12px; margin: 24px 0 0; }
.draft { color: var(--paper); background: var(--ochre); font-weight: 500; letter-spacing: 0.08em; padding: 0 5px; justify-self: start; margin-right: 8px; }
.toc h3 a { text-decoration: none; } .toc h3 a:hover { color: var(--ochre); }
.toc li.empty { display: block; }
article { margin-top: 48px; }
article .meta { display: flex; gap: 14px; padding-top: 0; margin-bottom: 14px; }
article h1 { font-weight: 400; font-size: clamp(36px, 7vw, 56px); line-height: 1.1; margin: 0 0 28px; text-wrap: balance; letter-spacing: -0.015em; }
article h1 .draft { font-size: 12px; vertical-align: middle; position: relative; top: -0.4em; }
.pubmeta { display: grid; grid-template-columns: 7.5em minmax(0, 1fr); gap: 4px 12px; margin: 0 0 40px; font-family: var(--mono); font-size: 13px; line-height: 1.5; }
.pubmeta dt { color: var(--muted); } .pubmeta dd { margin: 0; overflow-wrap: anywhere; }
.pubmeta a { text-decoration-style: dotted; }
article .lede { font-size: 20px; line-height: 1.5; color: var(--muted); margin: 0 0 32px; padding-bottom: 28px; border-bottom: 1px solid var(--rule); }
article .body h2 { font-weight: 600; font-size: 22px; line-height: 1.3; margin: 36px 0 10px; }
article .body p, article .body li { max-width: 64ch; }
article .body p { margin: 0 0 16px; }
article .body ul { padding-left: 1.2em; margin: 0 0 16px; } article .body li { margin: 0 0 8px; }
article .body blockquote { margin: 0 0 16px; padding-left: 16px; border-left: 2px solid var(--ochre); color: var(--muted); font-style: italic; }
article .body code { font-family: var(--mono); font-size: 0.85em; }
.back { font-family: var(--mono); font-size: 13px; margin-top: 40px; }
.kind { color: var(--ink); }
article .body h2.refs { font-size: 15px; font-family: var(--mono); font-weight: 500; letter-spacing: 0.08em; text-transform: uppercase; color: var(--muted); margin-top: 48px; }
article .body ol.refs { padding-left: 1.4em; margin: 0; font-size: 15px; line-height: 1.5; color: var(--muted); }
article .body ol.refs li { margin: 0 0 8px; }
.tagline { font-weight: 400; font-size: clamp(34px, 6.5vw, 52px); line-height: 1.1; letter-spacing: -0.015em; margin: 0 0 22px; text-wrap: balance; }
.intro .lead { font-size: 21px; line-height: 1.45; font-weight: 600; }
.buttons { display: flex; flex-wrap: wrap; gap: 12px; margin: 28px 0 0; }
.button { font-family: var(--mono); font-size: 13.5px; text-decoration: none; padding: 9px 16px; border: 1.5px solid var(--ochre); background: var(--ochre); color: var(--paper); border-radius: 2px; }
.button:hover { color: var(--paper); filter: brightness(1.1); }
.button.quiet { background: transparent; color: var(--ink); }
.button.quiet:hover { color: var(--ochre); filter: none; }
.part { margin-top: 64px; }
.part h2 { font-weight: 600; font-size: 25px; line-height: 1.25; margin: 0 0 14px; text-wrap: balance; }
.part > p { margin: 0 0 16px; max-width: 62ch; }
.pillars { list-style: none; margin: 8px 0 22px; padding: 0; border-top: 1px solid var(--ink); }
.pillars li { display: grid; grid-template-columns: 3.2em minmax(0, 1fr); gap: 4px 16px; padding: 16px 0 18px; border-bottom: 1px solid var(--rule); }
.pillars .num { font-family: var(--mono); font-size: 13px; color: var(--ochre); padding-top: 3px; }
.pillars h3 { font-weight: 600; font-size: 19px; line-height: 1.3; margin: 0 0 4px; }
.pillars p { margin: 0; color: var(--muted); font-size: 16.5px; line-height: 1.55; }
.research .toc { margin-top: 22px; }
footer span:last-child { color: var(--ink); }