:root { color-scheme:dark; --bg:#08131f; --surface:#102133; --text:#edf6ff; --soft:#c6d7ea; --muted:#a4b7ca; --line:#2a4054; --accent:#78ded2; --amber:#f5c985; }
* { box-sizing:border-box; }
html { scroll-padding-block-start:6rem; }
body { margin:0; background:var(--bg); color:var(--text); font:16px/1.65 'Segoe UI',ui-sans-serif,system-ui,sans-serif; }
h1,h2,h3,p,figure { margin:0; } h1,h2,h3 { text-wrap:balance; } p { text-wrap:pretty; color:var(--soft); }
a { color:inherit; text-underline-offset:.24em; } a:focus-visible,summary:focus-visible { outline:3px solid var(--accent); outline-offset:5px; }
img { display:block; width:100%; height:auto; outline:1px solid rgba(255,255,255,.1); outline-offset:-1px; }
.wrap { width:min(1200px,calc(100% - 3rem)); margin-inline:auto; }
.skip { position:absolute; inset-block-start:.5rem; inset-inline-start:1rem; z-index:10; padding:.6rem 1rem; background:var(--text); color:var(--bg); transform:translateY(-200%); } .skip:focus { transform:none; }
.topbar { position:sticky; inset-block-start:0; z-index:5; background:var(--bg); border-block-end:1px solid var(--line); }
.topbar-inner { min-height:76px; display:flex; align-items:center; justify-content:space-between; gap:1rem; }
.brand { display:inline-flex; align-items:center; gap:.65rem; font-weight:700; text-decoration:none; } .brand-mark { display:grid; place-items:center; width:34px; height:34px; color:var(--accent); border:1px solid var(--line); border-radius:8px; font-size:.8rem; }
nav { display:flex; flex-wrap:wrap; gap:1.5rem; font-size:.9rem; } nav a { color:var(--soft); text-decoration:none; padding-block:.7rem; }
.eyebrow { color:var(--accent); font-size:.75rem; font-weight:700; text-transform:uppercase; letter-spacing:.08em; }
.hero { display:grid; grid-template-columns:minmax(0,.95fr) minmax(0,1.05fr); align-items:center; gap:3rem; padding-block:3rem; }
h1 { font-size:clamp(2rem,3.5vw,2.85rem); line-height:1.2; letter-spacing:-.025em; margin-block:.8rem 1rem; } h1 span { color:var(--accent); }
.lead { max-width:48ch; font-size:1.06rem; } .byline { margin-block-start:1rem; font-size:.85rem; color:var(--muted); }
.actions { display:flex; align-items:center; flex-wrap:wrap; gap:1rem; margin-block-start:1.5rem; }
.button { display:inline-flex; align-items:center; justify-content:center; gap:.5rem; min-height:46px; padding:.7rem 1.1rem; border-radius:6px; background:var(--accent); color:var(--bg); font-weight:700; text-decoration:none; } .text-link { display:inline-flex; align-items:center; min-height:44px; font-size:.92rem; }
.product { min-width:0; border:1px solid var(--line); border-radius:10px; background:var(--surface); overflow:hidden; } .product-top { display:flex; flex-wrap:wrap; justify-content:space-between; gap:.5rem; padding:.7rem .9rem; font-size:.75rem; color:var(--soft); } .product-top span:last-child { color:var(--accent); }
.image-link { display:block; } .image-link:focus-visible { outline-offset:-4px; } figcaption { padding-block:.6rem; color:var(--muted); font-size:.78rem; } .product figcaption { padding:.7rem .9rem; }
.section { padding-block:2.5rem; border-block-start:1px solid var(--line); }
.contribution-top { display:grid; grid-template-columns:minmax(0,1.4fr) minmax(0,1fr); gap:3rem; align-items:start; }
.contribution-top aside { padding:20px; background:var(--surface); border-radius:8px; }
h2 { font-size:clamp(1.55rem,2.6vw,2rem); line-height:1.3; letter-spacing:-.02em; margin-block:.5rem 1rem; } h3 { font-size:1.05rem; line-height:1.4; margin-block:.4rem .75rem; }
.section p+p { margin-block-start:.9rem; } .reading-width { max-width:84ch; } .small-note { font-size:.85rem; color:var(--muted); }
.result-layout { display:grid; grid-template-columns:minmax(0,1fr) minmax(0,1.15fr); gap:3rem; align-items:center; } .audit-proof { min-width:0; background:var(--surface); padding:12px; border-radius:8px; }
.compact-anatomy { margin-block:1.5rem; padding:20px; border:1px solid var(--line); border-radius:10px; background:var(--surface); }
.compact-machines { display:grid; grid-template-columns:minmax(0,1fr) 70px minmax(0,1fr) 70px minmax(0,1fr); align-items:start; }
.compact-machine { min-width:0; border:1px solid transparent; border-radius:8px; padding:10px; }
.compact-machine.is-current { border-color:var(--accent); }
.compact-machine svg { display:block; width:100%; max-width:240px; height:auto; margin-inline:auto; }
.machine-body { fill:var(--bg); stroke:var(--muted); stroke-width:2; } .machine-screen { fill:#183a49; stroke:var(--line); stroke-width:1; } .machine-db { fill:#183a49; stroke:var(--accent); stroke-width:2; } .machine-line { fill:none; stroke:var(--accent); stroke-width:2; stroke-linecap:round; } .compact-event { fill:var(--accent); }
.compact-machine figcaption { text-align:center; padding-block:.3rem; } .compact-machine strong,.compact-machine span { display:block; } .compact-machine strong { font-size:1.1rem; color:var(--text); } .compact-machine span { font-size:.78rem; }
.compact-state { text-align:center; font-size:.78rem; min-height:2.6em; }
.compact-connection { position:relative; margin-block-start:54px; text-align:center; color:var(--muted); font-size:.68rem; }
.compact-connection b { display:block; font-size:1.5rem; font-weight:400; border-block-start:1px solid var(--line); margin-block-start:4px; line-height:1; }
.compact-connection i { position:absolute; top:22px; left:0; width:8px; height:8px; border-radius:50%; background:var(--accent); opacity:0; transform:translateX(calc(var(--packet-progress,0) * 62px)); }
.compact-anatomy[data-step="2"] .connection-hr i,.compact-anatomy[data-step="4"] .connection-graph i { opacity:1; }
.compact-controls { display:flex; gap:1rem; align-items:center; margin-block-start:1rem; } .compact-controls button { flex-shrink:0; min-height:44px; padding:.5rem .85rem; border:1px solid var(--accent); border-radius:6px; background:var(--bg); color:var(--accent); font-family:inherit; font-size:.85rem; font-weight:600; line-height:1.4; cursor:pointer; } .compact-controls button:focus-visible { outline:3px solid var(--accent); outline-offset:4px; }
.compact-caption { font-size:.9rem; } .compact-note { margin-block-start:.75rem; } .compact-more { margin-block-start:.75rem; border-block-start:1px solid var(--line); } .compact-more summary { padding:.65rem 0; font-size:.85rem; } .compact-more p { font-size:.85rem; }
@media(max-width:700px) { .compact-anatomy { padding:12px; } .compact-machines { grid-template-columns:minmax(0,1fr); } .compact-machine { display:grid; grid-template-columns:100px minmax(0,1fr); align-items:center; column-gap:12px; padding:8px; } .compact-machine svg { grid-row:span 2; } .compact-machine figcaption,.compact-state { text-align:start; } .compact-state { min-height:0; } .compact-connection { margin:4px 0; height:30px; display:flex; align-items:center; justify-content:center; gap:8px; } .compact-connection b { border:0; margin:0; transform:rotate(90deg); } .compact-connection i { top:0; left:calc(50% + 30px); transform:translateY(calc(var(--packet-progress,0) * 22px)); } .compact-controls { align-items:start; flex-direction:column; gap:.5rem; } }
@media(prefers-reduced-motion:reduce) { .compact-connection i { display:none; } }
.investigation { display:grid; grid-template-columns:minmax(0,1.4fr) minmax(0,1fr); align-items:start; gap:3rem; } .current-status { padding:24px; background:var(--surface); border-inline-start:2px solid var(--amber); border-radius:0 8px 8px 0; } .status-label { font-size:.75rem; color:var(--amber); } .current-status p { font-size:.9rem; }
.demo-teaser { display:flex; justify-content:space-between; align-items:center; gap:3rem; } .demo-teaser>div { max-width:70ch; } .demo-teaser .button { flex-shrink:0; }
.deep-dive details { border-block-start:1px solid var(--line); } .deep-dive details:last-child { border-block-end:1px solid var(--line); } summary { cursor:pointer; color:var(--soft); padding:1rem .5rem; font-weight:600; } details[open] summary { color:var(--accent); }
.detail-content { padding:.5rem 1rem 1.5rem; } .detail-content p { max-width:90ch; } .detail-content p+p { margin-block-start:1rem; } code { font:.9em Consolas,ui-monospace,monospace; overflow-wrap:anywhere; }
.architecture-image { max-width:780px; margin-block-start:1.5rem; } .architecture-image img { border-radius:6px; } .proof-grid { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:24px; margin-block-end:1rem; } .reading-list { padding-inline-start:1.25rem; } .reading-list li { padding-block:.4rem; }
.about { display:grid; grid-template-columns:minmax(0,1.5fr) minmax(0,1fr); gap:3rem; align-items:start; } .contact-links { display:flex; flex-direction:column; align-items:flex-start; padding-block-start:1rem; gap:.5rem; }
footer { display:flex; flex-wrap:wrap; justify-content:space-between; gap:.5rem; padding-block:1.5rem; font-size:.8rem; color:var(--muted); }
.hero-concrete { display:block; padding-block:2.5rem; } .hero-concrete .lead { max-width:75ch; }
.video-frame { width:min(100%,960px); aspect-ratio:16/9; background:#000; border-radius:8px; overflow:hidden; }
.video-frame iframe { display:block; width:100%; height:100%; border:0; }
.video-chapters { display:grid; grid-template-columns:repeat(4,minmax(0,1fr)); gap:12px; margin-block:16px; max-width:960px; }
.video-chapters a { padding:12px; border:1px solid var(--line); border-radius:6px; text-decoration:underline; font-size:.85rem; line-height:1.5; }
.video-chapters span { display:block; color:var(--accent); font-variant-numeric:tabular-nums; font-weight:700; margin-block-end:4px; }
.result-evidence { display:grid; grid-template-columns:repeat(3,minmax(0,1fr)); gap:24px; margin-block:24px 12px; }
.result-evidence figure { min-width:0; } .result-evidence img { height:240px; width:100%; object-fit:contain; background:#fff; border-radius:6px; }
.result-evidence figcaption { font-size:.9rem; } .result-evidence figcaption strong,.result-evidence figcaption>span { display:block; } .result-evidence strong { color:var(--text); margin-block-end:4px; } .result-evidence figcaption a { display:inline-block; padding-block:8px; }
.evidence-status { margin-block-start:32px; } .evidence-status table { width:100%; border-collapse:collapse; font-size:.88rem; } .evidence-status th,.evidence-status td { padding:12px; border-block-end:1px solid var(--line); text-align:start; vertical-align:top; } .evidence-status thead { color:var(--accent); } .evidence-status tbody th { width:170px; } .evidence-status td { color:var(--soft); }
.sr-only { position:absolute; width:1px; height:1px; overflow:hidden; clip-path:inset(50%); white-space:nowrap; }
.case-steps { display:grid; grid-template-columns:repeat(2,minmax(0,1fr)); gap:24px 40px; margin-block:24px; } .case-steps h3 { color:var(--accent); }
.regression-note { padding:20px; border-inline-start:2px solid var(--amber); background:var(--surface); border-radius:0 6px 6px 0; } .regression-note h3 { color:var(--amber); }
.architecture-main { max-width:780px; margin-block:24px; } .architecture-main img { border-radius:6px; }
.simulation-fold { border:1px solid var(--line); border-radius:8px; padding-inline:16px; } .simulation-fold>summary { padding-block:16px; } .simulation-fold .compact-anatomy { margin-block-start:0; }
.nhi-callout { margin-block-start:24px; max-width:84ch; }
@media(max-width:800px) { .video-chapters { grid-template-columns:repeat(2,minmax(0,1fr)); } .result-evidence { gap:16px; } .result-evidence img { height:190px; } }
@media(max-width:600px) { .result-evidence,.case-steps { grid-template-columns:minmax(0,1fr); } .result-evidence figure { max-width:440px; } .result-evidence img { height:240px; } .evidence-status th,.evidence-status td { padding:10px 6px; overflow-wrap:anywhere; } .evidence-status tbody th { width:100px; } .simulation-fold { padding-inline:8px; } }
@media(hover:hover) { nav a:hover,.text-link:hover,summary:hover { color:var(--accent); } .button:hover { background:#9beade; } }
@media(max-width:900px) { .hero { gap:1.5rem; } .result-layout,.investigation { gap:2rem; } .demo-teaser { align-items:start; flex-direction:column; gap:1.25rem; } }
@media(max-width:700px) { .hero,.result-layout,.investigation,.about,.proof-grid,.contribution-top { grid-template-columns:minmax(0,1fr); } .hero { padding-block:2rem; } .section { padding-block:2rem; } .architecture-strip { gap:1.5rem; } .architecture-strip li:not(:last-child)::after { inset-inline-end:-1rem; } }
@media(max-width:480px) { html { scroll-padding-block-start:1rem; } .wrap { width:calc(100% - 2rem); } .topbar { position:static; } .topbar-inner { flex-wrap:wrap; padding-block:.75rem; gap:.5rem; } nav { gap:1rem; font-size:.82rem; } h1 { font-size:2rem; } .architecture-strip { grid-template-columns:minmax(0,1fr); gap:1.25rem; } .architecture-strip li { padding-inline-start:1.5rem; } .architecture-strip li:not(:last-child)::after { content:'↓'; inset-inline-start:0; inset-inline-end:auto; inset-block-start:1.2rem; } .current-status { padding:20px; } .detail-content { padding-inline:.5rem; } }