:root{color-scheme:dark;--ink:#f4f2ed;--muted:#b9b8b3;--line:#30302f;--accent:#c8ff5a;--paper:#101110;--panel:#171817;--soft:#20211f}
*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif;line-height:1.62}a{color:var(--accent);text-underline-offset:.18em}.wrap{width:min(1120px,calc(100% - 36px));margin:auto}.site-nav{border-bottom:1px solid var(--line);background:#0d0e0d}.site-nav .wrap{display:flex;gap:1rem 1.4rem;align-items:center;justify-content:space-between;min-height:58px;flex-wrap:wrap}.site-nav a{font-weight:650}.wordmark{color:var(--ink);text-decoration:none}.nav-links{display:flex;gap:.8rem 1.2rem;flex-wrap:wrap;font-size:.9rem}.page-header{padding:76px 0 58px;border-bottom:1px solid var(--line)}.eyebrow{color:var(--accent);font:700 .78rem/1.2 ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:.16em;text-transform:uppercase}h1{margin:.45rem 0 1rem;max-width:950px;font-size:clamp(2.7rem,7vw,6.4rem);line-height:.94;letter-spacing:-.055em}h2{margin:0 0 1rem;font-size:clamp(1.7rem,4vw,3.2rem);line-height:1.04;letter-spacing:-.035em}h3{margin:0 0 .45rem;font-size:1.05rem}p,li{max-width:820px}.lede{color:var(--muted);font-size:clamp(1.08rem,2vw,1.35rem)}main section{padding:56px 0;border-bottom:1px solid var(--line)}.answer{font-size:clamp(1.15rem,2.2vw,1.5rem);max-width:900px}.grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1px;background:var(--line);border:1px solid var(--line);margin-top:2rem}.grid article{background:var(--panel);padding:1.35rem}.grid p{margin:.4rem 0 0;color:var(--muted)}.card-link{display:block;color:inherit;text-decoration:none}.card-link:hover h3{text-decoration:underline;text-decoration-color:var(--accent)}.stack{display:grid;gap:1rem;margin-top:1.5rem}.cluster{background:var(--panel);border:1px solid var(--line);padding:1.35rem}.cluster h2{font-size:clamp(1.35rem,3vw,2rem)}.cluster ol{columns:2;column-gap:3rem}.cluster li{break-inside:avoid;margin:0 0 .65rem;padding-right:1rem}.machine{overflow:auto;padding:1.25rem;border-left:3px solid var(--accent);background:var(--panel);font:500 .92rem/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;white-space:pre-wrap}.callout{padding:1.2rem 1.35rem;background:var(--soft);border-left:3px solid var(--accent)}.breadcrumbs{font-size:.9rem;color:var(--muted);margin-bottom:1.25rem}.links{display:flex;flex-wrap:wrap;gap:1rem 1.4rem;margin-top:1.5rem}table{width:100%;border-collapse:collapse;margin-top:1.8rem;font-size:.92rem}th,td{padding:.85rem;border:1px solid var(--line);vertical-align:top;text-align:left}th{color:var(--ink)}td{color:var(--muted)}footer{padding:40px 0 72px;color:var(--muted);font-size:.9rem}@media(max-width:760px){.grid{grid-template-columns:1fr}.cluster ol{columns:1}table,tbody,tr,th,td{display:block}tr{margin-bottom:1rem}th,td{border-bottom:0}td:last-child{border-bottom:1px solid var(--line)}}
.button{display:inline-flex;align-items:center;justify-content:center;min-height:46px;padding:.72rem 1rem;border:1px solid var(--accent);background:var(--accent);color:#0b0c0b;font-weight:800;text-decoration:none;border-radius:.35rem}.button.secondary{background:transparent;color:var(--accent)}.button:hover{filter:brightness(.94)}.prompt{margin:1rem 0 0;padding:1rem;border:1px solid var(--line);background:#0c0d0c;font:600 .92rem/1.55 ui-monospace,SFMono-Regular,Consolas,monospace}.proof-list{display:grid;gap:1px;background:var(--line);border:1px solid var(--line);margin-top:1.5rem}.proof-list article{background:var(--panel);padding:1.35rem}.status{display:inline-block;padding:.28rem .55rem;border:1px solid var(--accent);color:var(--accent);font:700 .72rem/1 ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:.08em;text-transform:uppercase}