:root {
  color-scheme: light;
  --ink: #18313f;
  --muted: #546773;
  --line: #d7e2df;
  --paper: #f4f8f7;
  --card: #fff;
  --accent: #0b7168;
  --accent-hover: #075a53;
  --soft: #e7f3f0;
  --teal: #0b7168;
  --focus: #168b80;
  --control-border: #7b918d;
  --placeholder: #667a77;
  --chart-reference: #657786;
  --warning: #855813;
  --warning-soft: #fff2dc;
  --danger: #a3342b;
  --danger-soft: #fff0ed;
  --radius: 18px;
}
* { box-sizing:border-box; }
[hidden] { display:none!important; }
html { scroll-padding-top:24px; }
body { margin:0; color:var(--ink); background:var(--paper); font:16px/1.65 system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif; -webkit-font-smoothing:antialiased; }
a { color:var(--accent); text-underline-offset:4px; text-decoration-thickness:1px; }
a:hover { text-decoration-thickness:2px; }
button,input,select,textarea { font:inherit; }
button { cursor:pointer; }
button,a { -webkit-tap-highlight-color:transparent; }
:focus-visible { outline:3px solid var(--focus); outline-offset:4px; }
.shell { width:min(1160px,100% - 64px); margin-inline:auto; }
.masthead { display:flex; align-items:center; justify-content:space-between; gap:30px; min-height:92px; padding-block:20px; border-bottom:1px solid var(--line); }
.brand { display:inline-flex; align-items:center; gap:11px; color:var(--ink); text-decoration:none; flex:none; }
.brand img { border-radius:10px; flex:none; }
.brand strong { font-size:25px; letter-spacing:-.045em; }
nav { display:flex; gap:25px; align-items:center; font-size:14px; font-weight:550; }
nav a { color:var(--muted); text-decoration:none; padding:9px 0; }
nav a:hover,nav a[aria-current="page"] { color:var(--accent); }
.button { display:inline-flex; align-items:center; justify-content:center; gap:13px; border:1px solid var(--accent); border-radius:12px; background:var(--accent); color:#fff; padding:12px 19px; min-height:46px; font-size:14px; font-weight:650; line-height:1.4; text-decoration:none; }
.button:hover { background:var(--accent-hover); border-color:var(--accent-hover); text-decoration:none; }
.secondary { background:#fff; color:var(--ink); border-color:var(--line); }
.secondary:hover { background:var(--soft); border-color:#a4c7bd; }
.menu-toggle,.mobile-only { display:none; }
.project-hero { display:grid; grid-template-columns:1.12fr 1fr; gap:65px; align-items:center; padding:68px 0 66px; }
h1,h2,h3 { line-height:1.2; text-wrap:balance; }
h1 { font-size:clamp(38px,4.5vw,58px); letter-spacing:-.048em; margin:22px 0; font-weight:720; }
h1 span { color:var(--teal); }
h2 { font-size:31px; letter-spacing:-.033em; margin:0 0 12px; font-weight:680; }
h3 { font-size:19px; letter-spacing:-.02em; margin:0 0 12px; font-weight:650; }
p { margin:0 0 16px; }
.eyebrow { margin:0 0 12px; color:var(--teal); font-size:13px; font-weight:650; }
.release-label { display:inline-flex; gap:10px; align-items:center; padding:6px 11px; border:1px solid #bfd9d2; border-radius:100px; color:var(--accent); background:var(--soft); font-size:12px; font-weight:600; text-decoration:none; }
.status-dot { width:6px; height:6px; border-radius:50%; background:var(--teal); }
.lead { color:var(--muted); font-size:18px; line-height:1.75; margin:0; }
.actions { display:flex; flex-wrap:wrap; align-items:center; gap:12px; margin:27px 0 24px; }
.hero-meta { display:flex; flex-wrap:wrap; gap:0; font-size:12px; font-weight:600; margin:0 0 6px; color:var(--muted); }
.hero-meta span+span::before { content:'·'; margin:0 10px; color:#b8cdc9; }
.fine { color:var(--muted); font-size:12px; line-height:1.75; }
.hero-status { margin:0; }
.text-link { font-size:14px; font-weight:600; }
.query-preview { min-width:0; padding:27px; border:1px solid var(--line); border-radius:22px; background:#fff; box-shadow:0 12px 40px #18313f0b; }
.preview-heading { display:flex; align-items:center; justify-content:space-between; gap:16px; }
.preview-heading .eyebrow { margin-bottom:6px; }
.preview-heading h2 { font-size:23px; margin-bottom:0; }
.protocol-tag { font:11px/1.4 ui-monospace,Consolas,monospace; padding:5px 8px; border:1px solid var(--line); border-radius:6px; color:var(--muted); }
.preview-description { color:var(--muted); font-size:13px; margin:16px 0 20px; }
.query-choices { display:flex; gap:4px; padding:4px; background:var(--paper); border-radius:10px; margin-bottom:16px; }
.query-choices button { flex:1; padding:9px 5px; min-height:40px; background:transparent; color:var(--muted); border:1px solid transparent; border-radius:7px; font-size:12px; font-weight:600; }
.query-choices button.selected { background:#fff; color:var(--ink); border-color:#dfe6ee; box-shadow:0 1px 3px #18313f0b; }
.query-choices button:hover { color:var(--accent); }
.terminal { min-width:0; border:1px solid #244552; border-radius:12px; background:var(--ink); color:var(--paper); overflow:hidden; }
.terminal-head { display:flex; justify-content:space-between; align-items:center; gap:14px; padding:11px 16px; border-bottom:1px solid #345763; color:#c6d9d6; font-size:11px; }
.terminal-head button { background:#244552; color:var(--paper); border:1px solid #567681; border-radius:6px; padding:6px 9px; font-size:11px; min-height:32px; }
.terminal pre { background:none; color:var(--soft); border:0; padding:22px 17px; margin:0; font-size:12px; line-height:1.8; }
.terminal pre code { font-size:inherit; }
#example-description { margin:14px 0 18px; min-height:42px; }
.preview-link { display:flex; align-items:center; justify-content:space-between; gap:12px; padding-top:17px; border-top:1px solid var(--line); font-size:13px; font-weight:600; text-decoration:none; }
.section { padding:48px 0; scroll-margin-top:24px; }
.section-heading { display:flex; align-items:end; justify-content:space-between; gap:38px; margin-bottom:28px; }
.section-heading h2 { margin:0; }
.section-intro { max-width:405px; font-size:14px; color:var(--muted); margin:0; }
.feature-list { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:18px; }
.feature-list article { display:flex; flex-direction:column; padding:27px; border:1px solid var(--line); border-radius:var(--radius); background:#fff; min-width:0; }
.feature-icon { display:grid; place-items:center; width:42px; height:42px; border-radius:11px; background:var(--soft); color:var(--accent); margin-bottom:25px; }
.feature-icon svg { width:23px; height:23px; fill:none; stroke:currentColor; stroke-width:1.5; stroke-linecap:round; stroke-linejoin:round; }
.feature-list p { color:var(--muted); font-size:14px; line-height:1.8; margin-bottom:22px; }
.feature-list a { font-size:13px; font-weight:600; margin-top:auto; }
.install-callout { display:flex; align-items:center; justify-content:space-between; gap:28px; padding:25px 27px; margin-top:18px; border:1px solid #bfd9d2; border-radius:var(--radius); background:var(--soft); }
.install-callout h3 { margin-bottom:6px; font-size:17px; }
.install-callout p { margin:0; font-size:13px; color:var(--muted); }
.install-callout .button { flex:none; }
.development-note { margin:18px 3px 0; color:var(--muted); font-size:12px; line-height:1.85; }
.development-note strong { color:var(--ink); font-weight:600; }
.benchmark-band { background:var(--soft); margin-top:16px; border-block:1px solid var(--line); }
.benchmark-band .section { padding-block:54px; }
.benchmark-legend { display:flex; flex-wrap:wrap; align-items:center; gap:14px 24px; font-size:12px; margin:0 0 20px; }
.benchmark-legend a { margin-left:auto; }
.swatch { display:inline-block; width:9px; height:9px; margin-right:6px; border-radius:3px; }
.candidate { background:var(--teal); }
.reference { background:var(--chart-reference); }
.benchmark-grid { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:18px; }
.panel { min-width:0; border:1px solid var(--line); border-radius:var(--radius); padding:23px; background:#fff; }
.metric-heading h3 { font-size:17px; margin:0 0 4px; }
.metric-heading>span { font-size:12px; color:var(--muted); }
.benchmark-grid .chart { margin-top:17px; }
.benchmark-grid .fine { margin:8px 0 0; font-size:11px; }
.results-heading { display:flex; align-items:center; justify-content:space-between; gap:20px; margin:31px 0 14px; }
.results-heading h3 { margin:0; font-size:18px; }
.results-heading .fine { margin:0; }
.table-title { margin:32px 0 12px; }
.table-scroll { max-width:100%; overflow:auto; border:1px solid var(--line); border-radius:14px; background:#fff; }
table { width:100%; border-collapse:collapse; font-size:13px; }
caption { text-align:left; font-size:12px; color:var(--muted); padding:16px; }
th,td { padding:16px 18px; border-bottom:1px solid var(--line); text-align:left; font-variant-numeric:tabular-nums; }
thead th { font-size:11px; color:var(--muted); background:var(--paper); font-weight:650; white-space:nowrap; }
tbody th { font-weight:600; }
tr:last-child td,tr:last-child th { border-bottom:0; }
#benchmark-queries td:nth-child(2),#benchmark-queries td:nth-child(4) { color:var(--accent); font-weight:650; }
.benchmark-note { color:var(--muted); font-size:12px; margin:16px 0; max-width:880px; }
.methodology { border-top:1px solid var(--line); padding-top:16px; font-size:13px; }
summary { cursor:pointer; font-weight:600; }
summary::marker { color:var(--accent); }
details[open]>summary { margin-bottom:15px; }
.methodology p { color:var(--muted); max-width:920px; }
.live-showcase { display:grid; grid-template-columns:1.25fr 1fr; gap:48px; padding:30px; border:1px solid var(--line); border-radius:var(--radius); background:#fff; }
.location-label { display:block; color:var(--teal); font-size:12px; font-weight:600; margin-bottom:12px; }
.live-showcase h3 { font-size:23px; }
.live-showcase p { color:var(--muted); font-size:14px; }
.live-showcase dl { display:grid; grid-template-columns:1.4fr 1fr; gap:30px; margin:0; align-content:center; border-left:1px solid var(--line); padding-left:40px; }
.live-showcase dt { color:var(--muted); font-size:12px; }
.live-showcase dd { margin:8px 0 0; font-size:34px; font-weight:600; font-variant-numeric:tabular-nums; letter-spacing:-.045em; line-height:1.3; }
#showcase-observed { margin:12px 0 0; }
.beta-section { display:grid; grid-template-columns:1.4fr 1fr; gap:65px; border-top:1px solid var(--line); margin-top:10px; }
.beta-section p { color:var(--muted); font-size:14px; line-height:1.85; }
.beta-section h2 { margin-bottom:20px; }
.background-details { border-top:1px solid var(--line); padding-top:18px; margin-top:23px; font-size:13px; }
.background-details p { margin-top:15px; }
.beta-note { padding:28px; border-radius:var(--radius); border:1px solid #e8d7b9; background:#fffbf2; align-self:start; }
.note-label { display:inline-block; color:var(--warning); font-size:12px; font-weight:650; margin-bottom:14px; }
.beta-note h3 { font-size:22px; }
.beta-note p { font-size:13px; }
.beta-note a { font-size:13px; font-weight:600; }
.contribute-section { display:flex; gap:50px; align-items:center; justify-content:space-between; padding:32px; margin-block:12px 48px; border:1px solid var(--line); border-radius:var(--radius); background:#fff; }
.contribute-section>div:first-child { max-width:720px; }
.contribute-section h2 { font-size:27px; }
.contribute-section p:not(.eyebrow) { color:var(--muted); font-size:14px; margin:0; }
.contribute-actions { display:flex; flex-direction:column; align-items:center; gap:15px; flex:none; font-size:13px; }
footer { display:grid; grid-template-columns:1fr 1fr 1.2fr; gap:40px; padding:34px 0; border-top:1px solid var(--line); font-size:12px; color:var(--muted); }
footer .brand strong { font-size:20px; }
footer p { margin:10px 0 0; }
footer>div:nth-child(2) { display:flex; flex-direction:column; align-items:start; gap:7px; }
footer a { color:var(--muted); }
pre { max-width:100%; padding:20px; border:1px solid var(--line); border-radius:12px; background:#fff; white-space:pre-wrap; overflow-wrap:anywhere; font:13px/1.85 ui-monospace,Consolas,monospace; }
code { font-size:.88em; }
.document { max-width:900px; padding:46px 0 70px; overflow-wrap:anywhere; }
.document h1 { font-size:42px; }
.document h2 { margin-top:35px; font-size:25px; }
.document p,.document li { color:var(--muted); }
.document li { margin-bottom:7px; }
.document table { display:block; overflow:auto; }
.document .table-scroll table { display:table; }
.skip { position:absolute; top:-100px; left:20px; background:#fff; padding:12px; z-index:10; border-radius:8px; }
.skip:focus { top:10px; }
.visually-hidden { position:absolute!important; width:1px!important; height:1px!important; padding:0!important; margin:-1px!important; overflow:hidden!important; clip:rect(0,0,0,0)!important; white-space:nowrap!important; border:0!important; }
.chart { width:100%; min-width:0; }
.chart svg { display:block; width:100%; height:auto; }
.chart-label { fill:var(--muted); font:12px system-ui,sans-serif; }
.chart-grid { stroke:var(--line); stroke-width:1; }
.chart-line { stroke:var(--teal); stroke-width:2; stroke-linejoin:round; }
.chart-dot,.chart-bar { fill:var(--teal); }
.chart-bar.reference { fill:var(--chart-reference); }
.chart-readout,.chart-empty { color:var(--muted); font-size:12px; }
.chart-slider { width:100%; padding:0; height:18px; border:0; accent-color:var(--accent); }
.chart-controls { display:flex; align-items:center; gap:12px; }
.chart-latest { border:1px solid var(--line); background:#fff; color:var(--ink); padding:6px 11px; border-radius:8px; font-size:12px; }
.chart-latest:disabled { opacity:.5; }
.testing-main { padding-block:45px 60px; }
.testing-hero { max-width:800px; }
.testing-hero h1 { font-size:43px; margin:12px 0 18px; }
.testing-hero .lead { font-size:17px; }
.testing-nav { display:flex; gap:22px; flex-wrap:wrap; margin:25px 0 30px; font-size:13px; font-weight:600; }
.verification-overview { background:#fff; border:1px solid var(--line); border-radius:var(--radius); padding:27px; margin-bottom:15px; }
.verification-head { display:flex; justify-content:space-between; gap:24px; align-items:start; }
.verification-head h2 { font-size:20px; margin:0 0 10px; }
.verification-state { display:inline-block; padding:5px 10px; border-radius:7px; background:var(--soft); color:var(--accent); font-size:13px; border:1px solid #bfd9d2; margin:0; }
.verification-state.failed { background:var(--danger-soft); color:var(--danger); border-color:#e4bcb7; }
.verification-counts { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:20px; margin:25px 0 20px; }
.verification-counts article { border-left:2px solid var(--line); padding-left:18px; }
.verification-counts article:first-child { border-color:var(--teal); }
.verification-counts span { font-size:12px; color:var(--muted); }
.verification-counts strong { display:block; font-size:35px; font-weight:650; letter-spacing:-.025em; font-variant-numeric:tabular-nums; line-height:1.3; margin-top:5px; }
#verification-source { margin:0; padding-top:16px; border-top:1px solid var(--line); }
.testing-section { padding:34px 0; scroll-margin-top:24px; }
.testing-section h2 { font-size:25px; }
.testing-section>p { color:var(--muted); font-size:14px; }
#verification-groups th small { display:block; font-size:11px; font-weight:400; color:var(--muted); line-height:1.5; margin-top:4px; }
.verification-chart-wrap { padding:22px; margin-top:18px; background:#fff; border:1px solid var(--line); border-radius:var(--radius); }
.verification-chart-wrap summary { font-size:13px; }
.testing-grid { display:grid; grid-template-columns:1fr 1fr; gap:20px; }
.testing-grid>.panel { padding:27px; }
.testing-grid h2 { font-size:23px; }
.testing-grid p { font-size:13px; color:var(--muted); }
#coverage-description { font-size:18px; color:var(--ink); font-weight:550; }
#coverage-meter { display:block; width:100%; height:21px; accent-color:var(--teal); margin:20px 0; }
#coverage-meter::-webkit-meter-bar { background:var(--soft); border:0; border-radius:6px; }
#coverage-meter::-webkit-meter-optimum-value { background:var(--teal); border-radius:6px; }
.testing-grid pre { background:var(--paper); font-size:11px; padding:16px; }
.check-grid { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:16px; list-style:none; padding:0; margin:22px 0; }
.check-grid li { padding:22px; background:#fff; border:1px solid var(--line); border-radius:14px; }
.check-grid h3 { font-size:16px; }
.check-grid p { font-size:13px; color:var(--muted); margin:0; }
.reliability-note { border:1px solid var(--line); border-radius:var(--radius); padding:26px; background:#fff; }
.reliability-note>summary { font-size:18px; }
.reliability-note p { font-size:14px; color:var(--muted); }
.reliability-note .table-scroll { margin:20px 0; }
.reliability-note .fine { font-size:12px; }
.open-gaps { margin-top:32px; padding:27px; background:#fffbf2; border:1px solid #e8d7b9; border-radius:var(--radius); }
.open-gaps h2 { font-size:23px; }
.open-gaps p { color:var(--muted); font-size:14px; }
.open-gaps p:last-child { margin:0; }
@media(max-width:1050px) {
 .masthead { gap:22px; }
 .masthead nav { gap:17px; }
 .header-action { font-size:12px; padding-inline:13px; }
 .project-hero { gap:34px; }
 .query-preview { padding:22px; }
 .feature-list article { padding:23px; }
 .benchmark-grid { gap:12px; }
 .benchmark-grid .panel { padding:18px; }
 .live-showcase { gap:30px; }
 .live-showcase dl { padding-left:25px; gap:20px; }
 .live-showcase dd { font-size:29px; }
 .beta-section { gap:35px; }
}
@media(min-width:721px) and (max-width:900px) {
 .masthead { flex-wrap:wrap; }
 .masthead nav { order:3; width:100%; justify-content:center; }
 .project-hero { grid-template-columns:1fr 1fr; gap:24px; }
 .project-hero h1 { font-size:41px; }
 .query-preview { padding:20px; }
 .query-choices button { font-size:11px; }
 .preview-heading h2 { font-size:20px; }
 .protocol-tag { display:none; }
 .section-heading { align-items:start; }
 .section-intro { max-width:320px; }
 .benchmark-grid { grid-template-columns:1fr; }
 .benchmark-grid .panel { display:grid; grid-template-columns:185px 1fr; gap:0 20px; align-items:center; }
 .benchmark-grid .chart { margin-top:0; }
 .benchmark-grid .fine { grid-column:2; }
 .live-showcase { grid-template-columns:1fr 1fr; }
 .live-showcase dl { grid-template-columns:1fr; }
 .contribute-section { gap:25px; }
}
@media(max-width:720px) {
 .shell { width:calc(100% - 32px); }
 .masthead { min-height:76px; padding:15px 0; flex-wrap:wrap; justify-content:space-between; gap:15px; }
 .brand strong { font-size:23px; }
 .brand img { width:35px; height:35px; }
 .masthead>.button { display:none; }
 .menu-toggle { display:block; padding:9px 14px; border:1px solid var(--line); border-radius:10px; min-height:42px; font-size:13px; }
 .mobile-only { display:block; }
 .masthead nav { order:3; width:100%; flex-direction:column; align-items:stretch; gap:2px; padding:8px 0 3px; }
 .masthead nav a { padding:10px 12px; border-radius:9px; }
 .masthead nav a:hover { background:var(--soft); }
 .project-hero { grid-template-columns:1fr; padding:34px 0 28px; gap:28px; }
 .project-hero h1 { font-size:42px; margin:19px 0; }
 .lead { font-size:16px; }
 .actions { gap:10px; margin-top:22px; }
 .actions .button { font-size:13px; padding-inline:14px; }
 .query-preview { padding:22px; border-radius:18px; }
 #example-description { min-height:0; }
 .section { padding:32px 0; }
 .section-heading { flex-direction:column; align-items:start; gap:14px; margin-bottom:23px; }
 .section-heading h2 { font-size:27px; }
 .section-intro { max-width:100%; }
 .feature-list { grid-template-columns:1fr; gap:13px; }
 .feature-list article { padding:23px; }
 .feature-icon { margin-bottom:18px; }
 .feature-list p { margin-bottom:18px; }
 .install-callout { flex-direction:column; align-items:start; padding:23px; gap:20px; }
 .benchmark-band .section { padding-block:36px; }
 .benchmark-legend { gap:12px 16px; }
 .benchmark-legend a { width:100%; margin:0; }
 .benchmark-grid { grid-template-columns:1fr; gap:13px; }
 .benchmark-grid .panel { padding:22px; }
 .results-heading { flex-direction:column; align-items:start; gap:5px; }
 th,td { padding:14px; }
 .live-showcase { grid-template-columns:1fr; padding:23px; gap:25px; }
 .live-showcase dl { border-left:0; border-top:1px solid var(--line); padding:22px 0 0; grid-template-columns:1.4fr 1fr; gap:24px; }
 .live-showcase dd { font-size:30px; }
 .beta-section { grid-template-columns:1fr; gap:25px; }
 .beta-section h2 { font-size:28px; }
 .beta-note { padding:24px; }
 .contribute-section { flex-direction:column; align-items:start; gap:24px; padding:24px; margin-block:8px 32px; }
 .contribute-actions { flex-direction:row; flex-wrap:wrap; gap:20px; }
 footer { grid-template-columns:1fr; gap:22px; padding-block:28px; }
 .document { padding-top:30px; }
 .document h1 { font-size:33px; }
 .document h2 { font-size:24px; }
 .testing-main { padding-top:30px; }
 .testing-hero h1 { font-size:35px; }
 .testing-hero .lead { font-size:16px; }
 .testing-nav { gap:12px 19px; margin-block:22px 26px; }
 .verification-overview { padding:22px; }
 .verification-head { flex-direction:column; gap:18px; }
 .verification-counts { gap:10px; }
 .verification-counts article { padding-left:11px; }
 .verification-counts strong { font-size:30px; }
 .verification-state { font-size:12px; }
 .testing-section { padding:26px 0; }
 .testing-grid,.check-grid { grid-template-columns:1fr; }
 .testing-grid>.panel,.reliability-note,.open-gaps { padding:23px; }
 .verification-chart-wrap { padding:18px; }
}
@media(max-width:360px) {
 .project-hero h1 { font-size:37px; }
 .query-preview { padding:18px; }
 .preview-heading h2 { font-size:21px; }
 .protocol-tag { display:none; }
 .query-choices button { font-size:11px; }
 .live-showcase dd { font-size:26px; }
 .verification-counts strong { font-size:26px; }
 .hero-meta { font-size:11px; }
}
@media(prefers-reduced-motion:no-preference) {
 .button,.query-choices button,nav a { transition:background-color .15s ease,color .15s ease,border-color .15s ease; }
}

.document-notice { padding: 16px 20px; margin: 0 0 28px; border: 1px solid var(--line, #dce4ed); border-radius: 14px; background: var(--soft); color: var(--muted); font-size: .9rem; line-height: 1.7; }