* { box-sizing: border-box; }
html, body { margin: 0; min-height: 100%; }
body { background: radial-gradient(circle at 86% -5%, color-mix(in srgb, var(--green) 7%, transparent), transparent 34rem), var(--bg); color: var(--text); font: var(--fs-body)/1.6 var(--mono); }
a { color: var(--green); text-decoration: none; }
a:hover, a:focus-visible { color: var(--purple); }
.top { min-height: 44px; padding: 10px 14px; border-bottom: .5px solid var(--line); display: flex; align-items: center; }
.site-nav { display: flex; gap: 18px; align-items: baseline; flex-wrap: wrap; }
.site-nav a { color: var(--green); font-size: var(--fs-nav); }
.site-nav a:hover, .site-nav a:focus-visible, .site-nav a[aria-current="page"] { color: var(--gold); }
main { width: min(1120px, calc(100% - 32px)); margin: 0 auto; padding: 64px 0 96px; }
h1, main > h1 { margin: 0 0 10px; color: var(--gold); font: 500 24px/1.2 var(--mono); }
.lead { max-width: 72ch; margin: 20px 0 0; color: var(--green); font-size: var(--fs-lead); }
main > h2 { margin: 38px 0 10px; color: var(--purple); font-size: var(--fs-h2); font-weight: 500; }
main > p { max-width: 78ch; color: var(--muted); }
main > p a, .log-copy a, .card-links a, .project-links a { color: var(--purple); }
main > p a:hover, main > p a:focus-visible,
.log-copy a:hover, .log-copy a:focus-visible,
.card-links a:hover, .card-links a:focus-visible,
.project-links a:hover, .project-links a:focus-visible { color: var(--green); }
.grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(250px, 1fr)); gap: 14px; margin-top: 28px; }
.log-list { max-width: 880px; margin-top: 28px; border-top: .5px solid var(--line); }
.log-entry { border-bottom: .5px solid var(--line); }
.log-entry summary { padding: 16px 0; cursor: pointer; list-style: none; }
.log-entry summary::-webkit-details-marker { display: none; }
.log-entry summary::after { content: "Read Log  ▾"; display: block; width: max-content; margin-top: 7px; color: var(--gold); font-size: var(--fs-small); }
.log-entry[open] summary::after { content: "Close Log  ▴"; }
.log-head { display: grid; grid-template-columns: minmax(0, 1fr) auto; column-gap: 14px; row-gap: 4px; align-items: baseline; }
.log-title-group { display: contents; }
.log-title { color: var(--purple); font-size: var(--fs-h2); }
.log-title-group .log-title { grid-column: 1; grid-row: 1 / span 2; }
.log-title-group .provenance-tag { grid-column: 2; grid-row: 2; justify-self: end; }
.log-entry summary:hover .log-title, .log-entry summary:focus-visible .log-title, .log-entry[open] .log-title { color: var(--green); }
.log-date { grid-column: 2; grid-row: 1; justify-self: end; color: var(--dim); font-size: var(--fs-small); }
.log-deck { display: block; max-width: 72ch; margin-top: 4px; padding-right: 24px; color: var(--muted); }
.log-copy { max-width: 82ch; padding: 2px 24px 28px 0; color: var(--muted); }
.log-copy h2 { margin: 22px 0 6px; color: var(--green); font-size: var(--fs-body); font-weight: 500; }
.log-copy h2:first-child { margin-top: 0; }
.log-copy p { margin: 0; }
.log-copy p + p { margin-top: 9px; }
.log-copy ul, .log-copy ol { margin: 6px 0 0; padding-left: 20px; }
.log-copy li + li { margin-top: 5px; }
.log-copy code { color: var(--text); }
.log-sources { margin-top: 20px !important; padding-top: 11px; border-top: .5px solid var(--line); color: var(--dim); font-size: var(--fs-small); }
.log-sources strong { color: var(--gold); font-weight: 500; }
.provenance-note { max-width: 78ch; margin: 14px 0 0; color: var(--dim); font-size: var(--fs-small); }
.provenance-tag { display: inline-block; width: max-content; border: .5px solid var(--green-bd); border-radius: 999px; padding: 1px 6px; color: var(--green); font-size: var(--fs-micro); font-weight: 500; letter-spacing: .04em; white-space: nowrap; }
.provenance-tag.provenance-ai { border-color: var(--purple); color: var(--purple); background: var(--purple-bg); }
.provenance-tag.provenance-human { border-color: var(--green-bd); color: var(--green); background: var(--green-bg); }
.provenance-tag.provenance-collab, .provenance-tag.provenance-audit { border-color: var(--gold); color: var(--gold); background: var(--gold-bg); }
.card { border: 1px solid var(--line); border-radius: 10px; padding: 20px; background: var(--panel); }
.card h2 { margin: 0 0 9px; color: var(--purple); font-size: var(--fs-h2); font-weight: 500; }
.card-mark { display: block; width: 72px; height: 72px; margin: -4px 0 12px; }
.card h2 a { color: inherit; text-decoration: none; }
.card h2 a:hover, .card h2 a:focus-visible { color: var(--green); }
.card p { margin: 0; color: var(--muted); }
.card p + p { margin-top: 9px; }
.card ul, .card ol { margin: 10px 0 0; padding-left: 20px; color: var(--muted); }
.card-links { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 14px; }
.project-index { max-width: 880px; margin-top: 28px; border-top: .5px solid var(--line); }
.project { padding: 18px 0; border-bottom: .5px solid var(--line); }
.project h2 { margin: 0 0 7px; font-size: var(--fs-h2); font-weight: 500; }
.project h2 a { color: var(--purple); text-decoration: none; }
.project h2 a:hover, .project h2 a:focus-visible { color: var(--green); }
.project p { max-width: 78ch; margin: 0; color: var(--muted); }
.project p + p { margin-top: 6px; }
.project-links { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 9px; }
.software-overview { width: min(1320px, calc(100% - 32px)); padding-top: 30px; }
.software-overview > .lead { max-width: 82ch; }
.overview-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 30px; margin-top: 0; }
.overview-family { min-width: 0; max-width: none; border-top: .5px solid var(--line-bright); }
.overview-family > h2 { margin: 0; padding: 11px 0 3px; color: var(--gold); font-size: var(--fs-h2); font-weight: 500; }
.overview-family > h2 a { color: inherit; }
.overview-family > h2 a:hover, .overview-family > h2 a:focus-visible { color: var(--green); }
.family-note { min-height: 3.2em; margin: 0; padding-bottom: 10px; color: var(--green); font-size: var(--fs-small); }
.overview-row { padding: 13px 0 14px; border-top: .5px solid var(--line); }
.overview-row > header { display: grid; gap: 2px; }
.overview-row h3 { margin: 0; color: var(--purple); font-size: var(--fs-h2); font-weight: 500; }
.overview-row h3 > a:first-child { color: inherit; }
.overview-row h3 > a:first-child:hover, .overview-row h3 > a:first-child:focus-visible { color: var(--green); }
.overview-row > header > span { color: var(--dim); font-size: var(--fs-micro); }
.overview-row > p { margin: 8px 0 0; color: var(--muted); line-height: 1.55; }
.overview-row > p code { color: var(--green); }
.overview-row > .overview-caveat { color: var(--dim); font-size: var(--fs-small); }
.overview-row > nav { display: flex; flex-wrap: wrap; gap: 5px 13px; margin-top: 8px; font-size: var(--fs-small); }
.overview-row > nav a { color: var(--green); }
.overview-row > nav a:hover, .overview-row > nav a:focus-visible { color: var(--purple); }
.overview-row .hotlinks { font: inherit; letter-spacing: inherit; }
.overview-row .hotlinks a { color: var(--purple); }
.overview-row .hotlinks a:hover, .overview-row .hotlinks a:focus-visible { color: var(--green); }
.overview-row h3 > a:first-child:hover + .hotlinks .default-link,
.overview-row h3 > a:first-child:focus-visible + .hotlinks .default-link { color: var(--green) !important; }
.overview-row.mode-group:has(.hotlinks a:hover) h3 > a:first-child,
.overview-row.mode-group:has(.hotlinks a:focus-visible) h3 > a:first-child { color: var(--green); }
.option-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 3px 14px; margin: 8px 0 0; padding-left: 18px; color: var(--green); font-size: var(--fs-small); }
.option-grid li::marker { color: var(--gold); }
main > ul, main > ol { max-width: 78ch; color: var(--muted); }
main > section { max-width: 880px; }
.meta { display: flex; gap: 8px; flex-wrap: wrap; margin: 18px 0; }
.tag { border: .5px solid var(--green-bd); border-radius: 999px; padding: 3px 8px; color: var(--green); font-size: var(--fs-micro); }
pre { overflow: auto; padding: 14px; border: .5px solid var(--line); background: var(--panel-sunken); font-size: var(--fs-small); }
.notice { border-left: 2px solid var(--purple); padding: 8px 12px; color: var(--muted); background: var(--purple-bg); }
.technical { max-width: 920px; }
.technical > .lead { max-width: 78ch; }
.technical section { max-width: 920px; margin-top: 38px; }
.technical section h2 { margin: 0 0 10px; color: var(--purple); font-size: var(--fs-h2); font-weight: 500; letter-spacing: .04em; }
.technical section h3 { margin: 24px 0 7px; color: var(--gold); font-size: var(--fs-body); font-weight: 500; }
.technical section p { max-width: 86ch; margin: 0; color: var(--muted); }
.technical section p + p { margin-top: 9px; }
.technical section ul, .technical section ol { max-width: 86ch; margin: 8px 0 0; padding-left: 21px; color: var(--muted); }
.technical section li + li { margin-top: 5px; }
.technical code { color: var(--green); }
.technical section a { color: var(--purple); }
.technical section a:hover, .technical section a:focus-visible { color: var(--green); }
.project-heading { max-width: 920px; }
.project-heading h1 { margin: 0; }
.project-heading .lead { margin-top: 8px; }
.metric-strip { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); max-width: 920px; margin: 14px 0 18px; border-top: .5px solid var(--line); }
.metric-strip div { min-width: 0; padding: 11px 16px 10px 0; border-bottom: .5px solid var(--line); }
.metric-strip dt { color: var(--gold); font-size: var(--fs-h2); }
.metric-strip dd { margin: 2px 0 0; color: var(--dim); font-size: var(--fs-small); line-height: 1.4; }
.table-scroll { max-width: 920px; margin-top: 10px; overflow-x: auto; }
.table-scroll:focus-visible { outline: 1px solid var(--green); outline-offset: 3px; }
.benchmark-table { min-width: 640px; margin-top: 0; }
.benchmark-table.wide-benchmark { min-width: 840px; }
.benchmark-table .own-tool td:first-child { color: var(--purple); }
.benchmark-table td a { color: inherit; }
.measurement-note { max-width: 88ch !important; margin-top: 16px !important; padding: 11px 14px; border-left: 2px solid var(--gold); background: var(--panel-sunken); }
.measurement-note strong, .release-boundary strong { color: var(--gold); font-weight: 500; }
.lineage-list { max-width: 920px; margin: 14px 0 0; border-top: .5px solid var(--line); }
.lineage-list div { display: grid; grid-template-columns: minmax(170px, .8fr) minmax(0, 1.5fr); gap: 18px; padding: 9px 0; border-bottom: .5px solid var(--line); }
.lineage-list dt { color: var(--purple); }
.lineage-list dd { margin: 0; color: var(--muted); }
.lineage-groups { max-width: 920px; margin-top: 14px; border-top: .5px solid var(--line); }
.lineage-groups > div { display: grid; grid-template-columns: 180px minmax(0, 1fr); gap: 18px; padding: 11px 0; border-bottom: .5px solid var(--line); }
.lineage-groups h3 { margin: 0 !important; }
.project-credit { max-width: 88ch !important; margin-top: 18px !important; padding-top: 12px; border-top: .5px solid var(--line); color: var(--dim) !important; font-size: var(--fs-small); }
.release-boundary { max-width: 88ch !important; margin-bottom: 16px !important; padding: 10px 13px; border-left: 2px solid var(--purple); background: var(--purple-bg); }
.release-links { display: flex; flex-wrap: wrap; gap: 8px 16px; margin-top: 12px !important; }
.mission-statement { max-width: 88ch !important; padding: 13px 15px; border: .5px solid var(--green-bd); background: var(--green-bg); color: var(--text) !important; }
.mission-statement strong { color: var(--green); font-weight: 500; }
.mvp-definition { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); max-width: 920px; margin: 12px 0; border-top: .5px solid var(--line); }
.mvp-definition div { padding: 9px 16px 9px 0; border-bottom: .5px solid var(--line); }
.mvp-definition dt { color: var(--gold); }
.mvp-definition dd { margin: 3px 0 0; color: var(--muted); }
.goal-sequence { max-width: 920px; margin: 14px 0 10px; border-top: .5px solid var(--line); }
.goal-sequence div { display: grid; grid-template-columns: 120px minmax(0, 1fr); gap: 14px; padding: 9px 0; border-bottom: .5px solid var(--line); }
.goal-sequence dt { color: var(--gold); }
.goal-sequence dd { margin: 0; color: var(--muted); }
.architecture-wrap { max-width: 920px; margin-top: 14px; overflow-x: auto; }
.architecture-table { width: 100%; min-width: 820px; border-collapse: collapse; }
.architecture-table th, .architecture-table td { padding: 8px 14px 8px 0; border-bottom: .5px solid var(--line); text-align: left; vertical-align: top; }
.architecture-table th { color: var(--dim); font-size: var(--fs-small); font-weight: 500; letter-spacing: .05em; }
.architecture-table td { color: var(--muted); }
.architecture-table td:first-child { width: 16%; color: var(--purple); }
.architecture-table td:nth-child(2) { width: 27%; }
.architecture-table td:nth-child(3) { width: 30%; }
.architecture-table td:last-child { width: 27%; color: var(--green); }
.decision-table { width: 100%; min-width: 760px; border-collapse: collapse; }
.decision-table th, .decision-table td { padding: 8px 14px 8px 0; border-bottom: .5px solid var(--line); text-align: left; vertical-align: top; }
.decision-table th { color: var(--dim); font-size: var(--fs-small); font-weight: 500; letter-spacing: .05em; }
.decision-table td { color: var(--muted); }
.decision-table td:first-child { width: 18%; color: var(--purple); }
.decision-table td:nth-child(2) { width: 36%; color: var(--green); }
.counterpart-link { position: relative; color: inherit; text-decoration: none; }
.counterpart-link:hover, .counterpart-link:focus-visible { color: var(--green); }
.counterpart-link::after { content: attr(data-counterpart); position: absolute; left: 50%; bottom: calc(100% + 8px); z-index: 20; padding: 4px 7px; border: .5px solid var(--line-strong); border-radius: 5px; background: var(--panel); color: var(--purple); font: 400 var(--fs-small)/1.2 var(--mono); letter-spacing: .02em; white-space: nowrap; opacity: 0; pointer-events: none; transform: translate(-50%, 3px); transition: opacity .1s ease, transform .1s ease; }
.counterpart-link:hover::after, .counterpart-link:focus-visible::after { opacity: 1; transform: translate(-50%, 0); }
.page-index { display: flex; flex-wrap: wrap; gap: 6px 14px; max-width: 920px; margin-top: 22px; padding: 10px 0; border-block: .5px solid var(--line); }
.page-index a { color: var(--purple); }
.page-index a:hover, .page-index a:focus-visible { color: var(--green); }
.boundary-map { max-width: 820px; margin: 16px 0; color: var(--muted); line-height: 1.65; }
.status-ledger { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); max-width: 920px; margin: 16px 0 0; border-top: .5px solid var(--line); }
.status-ledger div { display: grid; grid-template-columns: 142px minmax(0, 1fr); gap: 12px; padding: 8px 12px 8px 0; border-bottom: .5px solid var(--line); }
.status-ledger div:nth-child(odd) { padding-right: 18px; }
.status-ledger dt { color: var(--dim); }
.status-ledger dd { margin: 0; color: var(--green); }
.status-ledger.compact dd { color: var(--muted); }
.technical-split { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; max-width: 920px; margin-top: 8px; }
.technical-split > div { min-width: 0; }
.verification-table { width: 100%; max-width: 920px; margin-top: 12px; border-collapse: collapse; }
.verification-table th, .verification-table td { padding: 7px 12px 7px 0; border-bottom: .5px solid var(--line); text-align: left; vertical-align: top; }
.verification-table th { color: var(--dim); font-size: var(--fs-small); font-weight: 500; letter-spacing: .05em; }
.verification-table td { color: var(--muted); }
.verification-table td:first-child { color: var(--green); }
.verification-table td:nth-child(2) { color: var(--gold); }
.verification-table.system-map td:nth-child(2) { color: var(--muted); }
.final-boundary { max-width: 920px !important; margin-top: 40px; }
.asset-class { max-width: 880px; margin-top: 30px; }
.asset-class h3 { margin: 0 0 12px; color: var(--gold); font-size: var(--fs-h2); font-weight: 500; }
.asset-note { max-width: 78ch; color: var(--muted); }
.asset-record { max-width: 82ch; padding: 14px 0; border-top: .5px solid var(--line); }
.asset-record h4 { margin: 0 0 5px; color: var(--purple); font-size: var(--fs-body); font-weight: 500; }
.asset-record p { margin: 0; color: var(--muted); }
.asset-record p + p { margin-top: 5px; }
.asset-record strong { color: var(--green); font-weight: 500; }
.downloads { display: grid; grid-template-columns: repeat(auto-fit, minmax(190px, 1fr)); gap: 8px; max-width: 880px; }
.downloads a { display: grid; gap: 2px; padding: 10px 12px; border: .5px solid var(--line); border-radius: 7px; color: var(--purple); text-decoration: none; background: var(--panel); }
.downloads a:hover, .downloads a:focus-visible { border-color: var(--green); color: var(--green); }
.downloads span { color: var(--dim); font-size: var(--fs-micro); }
.project-dashboard-wrap { max-width: 1120px; margin-top: 14px; overflow-x: auto; border-block: .5px solid var(--line); }
.project-dashboard-wrap:focus-visible { outline: 1px solid var(--green); outline-offset: 3px; }
.project-dashboard { width: 100%; min-width: 1080px; border-collapse: collapse; }
.project-dashboard caption { padding: 0; height: 1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; }
.project-dashboard th, .project-dashboard td { padding: 9px 14px 9px 0; border-bottom: .5px solid var(--line); text-align: left; vertical-align: top; }
.project-dashboard thead th { color: var(--dim); font-size: var(--fs-small); font-weight: 500; letter-spacing: .05em; }
.project-dashboard tbody th { width: 15%; color: var(--purple); font-weight: 500; }
.project-dashboard td { color: var(--muted); }
.project-dashboard td:nth-child(2) { width: 20%; }
.project-dashboard td:nth-child(3) { width: 20%; }
.project-dashboard td:nth-child(4) { width: 11%; }
.project-dashboard td:nth-child(5) { width: 12%; color: var(--dim); }
.project-dashboard td:last-child { width: 22%; color: var(--green); }
.project-dashboard .dashboard-group th { padding-top: 18px; color: var(--gold); font-size: var(--fs-small); letter-spacing: .06em; text-transform: uppercase; background: var(--panel-sunken); }
.state { display: inline-block; border: .5px solid var(--line-strong); border-radius: 999px; padding: 1px 6px; color: var(--text); font-size: var(--fs-micro); white-space: nowrap; }
.state-keep { border-color: var(--green-bd); color: var(--green); background: var(--green-bg); }
.state-critical { border-color: var(--gold); color: var(--gold); }
.state-rebuild, .state-rework { border-color: var(--purple); color: var(--purple); background: var(--purple-bg); }
.state-review { color: var(--text); }
.state-archive { color: var(--dim); }
.skip { position: fixed; left: 8px; top: -80px; z-index: 10000; padding: 8px; background: var(--panel); }
.skip:focus { top: 8px; }
@media (max-width: 720px) { .mvp-definition, .technical-split, .status-ledger { grid-template-columns: 1fr; } .status-ledger div:nth-child(odd) { padding-right: 12px; } .metric-strip { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 980px) { .overview-grid { grid-template-columns: 1fr; gap: 28px; } .family-note { min-height: 0; } }
@media (max-width: 620px) { main { padding-top: 42px; } .log-head { grid-template-columns: 1fr; } .log-title-group .log-title { grid-column: 1; grid-row: 1; } .log-date { grid-column: 1; grid-row: 2; justify-self: end; margin-top: 2px; } .log-title-group .provenance-tag { grid-column: 1; grid-row: 3; justify-self: end; } .goal-sequence div, .status-ledger div { grid-template-columns: 112px minmax(0, 1fr); } .verification-table { display: block; overflow-x: auto; } .lineage-list div, .lineage-groups > div { grid-template-columns: 1fr; gap: 4px; } }
@media (max-width: 480px) { .site-nav { gap: 12px; } }