@font-face {
  font-family: Inter;
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
  src: url('fonts/inter-latin.woff2') format('woff2');
}
@font-face {
  font-family: Newsreader;
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url('fonts/newsreader-latin.woff2') format('woff2');
}

:root {
  color-scheme: light;
  --canvas: #f5f2e9;
  --ink: #202b24;
  --muted: #616a60;
  --green: #1a6c37;
  --orange: #bc4823;
  --line: #d9ddd1;
  --serif: Newsreader, 'Iowan Old Style', Baskerville, Georgia, serif;
  --sans: Inter, -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
}
*, *::before, *::after { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; scroll-padding-top: 2rem; }
body {
  margin: 0;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  background: radial-gradient(ellipse at 91% 12%, #e4ebdc80, transparent 43%), var(--canvas);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 14px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}
main { flex: 1; }
h1, h2, h3, p, figure { margin: 0; }
a { color: inherit; text-underline-offset: 4px; }
button { font: inherit; cursor: pointer; }
button, a { -webkit-tap-highlight-color: transparent; }
a, button { transition: color 160ms, background-color 160ms, border-color 160ms; }
a:hover { color: var(--orange); }
:focus-visible { outline: 2px solid var(--orange); outline-offset: 5px; }
::selection { background: #cee0ca; color: #102b20; }
.shell { width: min(100% - 5rem, 64rem); margin-inline: auto; }
.site-header { min-height: 96px; display: flex; align-items: center; gap: 3rem; border-bottom: 1px solid var(--line); }
.brand { display: inline-flex; align-items: center; gap: 9px; text-decoration: none; font-family: var(--serif); font-size: 32px; line-height: 1; font-weight: 500; letter-spacing: -1.2px; }
.brand-period { color: var(--orange); margin-left: -8px; }
.brand img { margin-right: 2px; }
.site-header nav { display: flex; align-items: center; gap: 28px; margin-left: auto; align-self: stretch; }
.site-header nav a { position: relative; display: flex; align-items: center; text-decoration: none; color: var(--muted); font-size: 12px; }
.site-header nav a[aria-current] { color: var(--green); font-weight: 600; }
.site-header nav a[aria-current]::after { content: ''; position: absolute; height: 2px; background: var(--green); bottom: -1px; left: 0; right: 0; }
.site-header nav a:hover { color: var(--orange); }
.repository-link { text-decoration: none; font-size: 12px; padding-left: 26px; border-left: 1px solid var(--line); }
.repository-link span { margin-left: 5px; }
.benchmark-section { padding-top: 43px; padding-bottom: 39px; }
.eyebrow { color: var(--green); text-transform: uppercase; font-size: 10px; font-weight: 600; letter-spacing: 1.65px; line-height: 1.6; }
.status-dot { display: inline-block; width: 6px; height: 6px; border-radius: 50%; background: var(--green); margin: 0 7px 1px 0; }
h1 { font-family: var(--serif); font-weight: 400; font-size: clamp(36px, 4.5vw, 54px); line-height: 1.12; letter-spacing: -1.8px; }
.intro h1 { margin-top: 13px; }
.intro h1 em { font-weight: 400; color: var(--green); }
.intro-copy { margin-top: 10px; color: var(--muted); font-size: 13px; }
.benchmark-chart { margin-top: 29px; padding: 25px 31px 18px; background: #fffefa9c; border: 1px solid #d7ddcf; border-radius: 7px; }
.chart-header { display: flex; justify-content: space-between; gap: 16px; align-items: center; }
.chart-header h2 { font-size: 15px; font-weight: 500; letter-spacing: -0.3px; }
.chart-header p { color: var(--muted); font-size: 11px; margin-top: 2px; }
.chart-plot { --label-width: 146px; --chart-gap: 18px; margin-top: 23px; padding-right: 12px; }
.chart-row { display: grid; grid-template-columns: var(--label-width) 1fr; gap: var(--chart-gap); min-height: 54px; align-items: center; }
.model-label { display: flex; flex-direction: column; font-size: 12px; font-weight: 500; line-height: 1.55; }
.model-label small { font-size: 9px; font-weight: 400; color: var(--muted); }
.leading-row .model-label > span { color: var(--green); font-weight: 600; }
.bar-track { height: 100%; display: flex; align-items: center; border-right: 1px solid #e3e6dc; background-image: linear-gradient(to right, #e3e6dc 1px, transparent 1px); background-size: 25% 100%; }
.bar { position: relative; width: var(--score); height: 26px; border-radius: 0 3px 3px 0; background: #96b28c; }
.bar-leading { background: var(--green); }
.bar-value { position: absolute; left: calc(100% + 11px); top: 2px; color: #52604a; font-size: 13px; line-height: 22px; font-variant-numeric: tabular-nums; white-space: nowrap; }
.bar-value > span { margin-left: 1px; font-size: 10px; }
.bar-leading .bar-value { color: var(--green); font-weight: 600; }
.chart-axis { position: relative; height: 15px; margin: 5px 0 0 calc(var(--label-width) + var(--chart-gap)); color: var(--muted); font-size: 9px; }
.chart-axis span { position: absolute; transform: translateX(-50%); }
.chart-axis span:nth-child(1) { left: 0; }
.chart-axis span:nth-child(2) { left: 25%; }
.chart-axis span:nth-child(3) { left: 50%; }
.chart-axis span:nth-child(4) { left: 75%; }
.chart-axis span:nth-child(5) { left: 100%; }
.benchmark-bottom { display: flex; justify-content: space-between; gap: 30px; align-items: center; margin-top: 24px; }
.benchmark-stats { display: flex; gap: 38px; margin: 0; }
.benchmark-stats > div { display: flex; flex-direction: column-reverse; }
.benchmark-stats dt { font-size: 10px; color: var(--muted); margin-top: 3px; }
.benchmark-stats dd { margin: 0; font-family: var(--serif); font-size: 29px; line-height: 1; letter-spacing: -0.5px; }
.benchmark-caveat { font-size: 10px; color: var(--muted); line-height: 1.8; text-align: right; }
.text-link { display: inline-flex; align-items: baseline; gap: 8px; color: var(--green); text-decoration: none; font-weight: 500; }
.text-link span { display: inline-block; transition: transform 160ms; }
.text-link:hover span { transform: translateX(3px); }
.example-section { position: relative; padding: 42px 0 30px; border-block: 1px solid var(--line); background: #fcfbf680; }
.section-heading { display: flex; justify-content: space-between; gap: 24px; align-items: flex-end; }
.section-heading h2, .project-section h2 { font: 400 34px/1.2 var(--serif); letter-spacing: -0.9px; margin-top: 10px; }
.proof-status { white-space: nowrap; color: var(--green); font-size: 10px; padding-bottom: 4px; }
.proof-status span { margin-right: 4px; }
.example-description { max-width: 710px; font-size: 12px; line-height: 1.8; color: var(--muted); margin-top: 13px; }
.proof-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 17px; margin-top: 23px; }
.proof-panel { min-width: 0; display: flex; flex-direction: column; background: #fffef9; border: 1px solid #dbe0d4; border-radius: 5px; overflow: hidden; }
.proof-header { display: flex; align-items: center; gap: 11px; min-height: 46px; padding: 0 18px; border-bottom: 1px solid #e5e8de; }
.proof-header h3 { display: flex; gap: 7px; align-items: center; font-size: 11px; font-weight: 600; }
.proof-dot { width: 6px; height: 6px; border-radius: 50%; background: #8b927c; }
.model-dot { background: var(--green); }
.proof-header > span { font-size: 9px; color: var(--muted); }
.copy-button { margin-left: auto; border: 0; padding: 4px; background: transparent; color: var(--muted); font-size: 9px; }
.copy-button:hover { color: var(--green); }
pre { margin: 0; padding: 19px 18px; overflow: auto; tab-size: 2; font-size: 10.6px; line-height: 1.85; }
code { font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', monospace; }
.lean-code { white-space: pre; }
.token-keyword { color: #1a6c37; font-weight: 500; }
.proof-caption { margin-top: auto; padding: 13px 18px; font-size: 10px; color: var(--muted); border-top: 1px solid #e5e8de; background: #f7f8f180; }
.example-footnote { display: flex; justify-content: space-between; gap: 20px; margin-top: 17px; font-size: 9px; color: var(--muted); }
.example-footnote > a { flex-shrink: 0; }
.project-section { padding-block: 44px 51px; }
.project-section > p:not(.eyebrow) { max-width: 650px; margin-top: 14px; font-size: 13px; line-height: 1.9; color: var(--muted); }
.project-links { display: flex; gap: 32px; margin-top: 22px; font-size: 12px; }
.site-footer { color: #f5f2e9; background: #163728; }
.footer-inner { min-height: 109px; display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.site-footer .brand { font-size: 29px; }
.site-footer .brand-period { color: #f4865f; }
.site-footer p { margin-right: auto; font-size: 10px; color: #c0cdbf; }
.site-footer a:not(.brand) { font-size: 10px; color: #dfebd9; text-decoration: none; }
.site-footer a:hover { color: #ffab89; }
.prose-page { padding-block: 62px 76px; }
.prose { max-width: 660px; margin-inline: auto; }
.prose h1 { font-size: clamp(34px, 4.5vw, 43px); margin-bottom: 25px; letter-spacing: -1.1px; }
.prose p { font-size: 14px; line-height: 1.95; margin-bottom: 22px; color: #4f594f; }
.prose .prose-lead { font-family: var(--serif); font-size: 25px; line-height: 1.5; color: var(--ink); margin-bottom: 27px; letter-spacing: -0.2px; }
.prose h2 { font-family: var(--serif); font-size: 27px; font-weight: 400; line-height: 1.3; letter-spacing: -0.5px; margin: 37px 0 13px; }
.prose code { font-size: 0.85em; background: #e8eadd; padding: 2px 4px; border-radius: 3px; overflow-wrap: anywhere; }
.prose strong { color: var(--ink); font-weight: 600; }
.prose a:not(.text-link) { color: var(--green); }
.prose .prose-links { display: flex; flex-wrap: wrap; gap: 12px 26px; font-size: 12px; margin-top: 31px; }
.prose .prose-note { border-top: 1px solid var(--line); padding-top: 18px; color: var(--muted); font-size: 11px; }
.skip-link { position: fixed; top: 10px; left: 10px; transform: translateY(-150%); z-index: 10; background: var(--green); color: white; padding: 10px 18px; }
.skip-link:focus { transform: translateY(0); color: white; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }

@media (max-width: 760px) {
  .shell { width: calc(100% - 3rem); }
  .site-header { gap: 22px; min-height: 84px; }
  .site-header nav { gap: 19px; }
  .repository-link { display: none; }
  .benchmark-section { padding-top: 32px; }
  .benchmark-chart { padding: 22px 22px 15px; }
  .chart-plot { --label-width: 116px; --chart-gap: 12px; }
  .benchmark-bottom { align-items: flex-start; flex-direction: column; gap: 19px; }
  .benchmark-stats { gap: 45px; }
  .benchmark-caveat { text-align: left; }
  .benchmark-caveat br { display: none; }
  .benchmark-caveat .text-link { margin-left: 5px; }
  .section-heading { align-items: flex-start; flex-direction: column; gap: 14px; }
  .proof-grid { grid-template-columns: 1fr; }
  pre { font-size: 12px; }
  .example-footnote { flex-direction: column; gap: 10px; }
  .footer-inner { flex-wrap: wrap; padding-block: 25px; gap: 12px 24px; }
  .site-footer p { margin: 0; }
  .site-footer a:not(.brand) { margin-left: auto; }
  .prose-page { padding-block: 43px 50px; }
}
@media (max-width: 480px) {
  .shell { width: calc(100% - 2.25rem); }
  .site-header { flex-wrap: wrap; padding-top: 21px; gap: 17px; }
  .brand { font-size: 29px; }
  .site-header nav { width: 100%; margin: 0; gap: 25px; min-height: 40px; }
  .site-header nav a { font-size: 12px; padding-bottom: 10px; }
  .eyebrow { font-size: 9px; letter-spacing: 1.05px; }
  .intro h1 { max-width: 340px; font-size: 38px; letter-spacing: -1.3px; }
  .intro-copy { font-size: 12px; max-width: 290px; }
  .benchmark-chart { margin-top: 24px; padding: 18px 14px 13px; }
  .chart-header { align-items: flex-start; gap: 8px; }
  .chart-header h2 { font-size: 14px; }
  .chart-header p { max-width: 145px; font-size: 10px; }
  .chart-plot { --label-width: 89px; --chart-gap: 8px; padding-right: 7px; }
  .model-label { font-size: 10px; }
  .model-label small { font-size: 8px; }
  .bar { height: 24px; }
  .bar-value { left: calc(100% + 6px); font-size: 11px; top: 1px; }
  .bar-value > span { font-size: 8px; }
  .chart-axis { font-size: 8px; }
  .benchmark-stats { width: 100%; justify-content: space-between; gap: 10px; }
  .benchmark-stats dd { font-size: 28px; }
  .benchmark-stats dt { font-size: 9px; }
  .section-heading h2, .project-section h2 { font-size: 30px; }
  .example-section { padding-top: 32px; }
  .proof-header { padding-inline: 13px; }
  pre { padding: 16px 13px; font-size: 10.5px; }
  .proof-caption { padding-inline: 13px; }
  .project-links { flex-direction: column; gap: 13px; }
  .site-footer p { order: 3; flex-basis: 100%; }
  .prose p { font-size: 13px; }
  .prose .prose-lead { font-size: 23px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}
@media print {
  body { background: white; }
  .shell { width: 100%; }
  .site-header, .site-footer, .copy-button, .skip-link { display: none; }
  .benchmark-section, .prose-page { padding-top: 0; }
  .proof-grid { grid-template-columns: 1fr; }
  .proof-panel { break-inside: avoid; }
  .bar { print-color-adjust: exact; }
}