:root{--bg:#f6f7f8;--paper:#fff;--ink:#192c3c;--muted:#60717d;--line:#dce3e7;--accent:#226b57;--purple:#7564a3;--blue:#386b9a;--orange:#9b662a;--radius:14px}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:90px}body{margin:0;background:var(--bg);color:var(--ink);font:15px/1.65 -apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}a{color:var(--accent);text-underline-offset:3px}button,select,input{font:inherit}button,a,select{touch-action:manipulation}button{cursor:pointer}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,[tabindex]:focus-visible{outline:3px solid #3c9680;outline-offset:3px}header{height:70px;display:flex;align-items:center;justify-content:space-between;gap:20px;padding:0 4vw;border-bottom:1px solid var(--line);background:#ffffffed;position:sticky;top:0;z-index:10;backdrop-filter:blur(12px)}.brand{text-decoration:none;color:var(--ink);font-size:20px;font-weight:750;letter-spacing:-.7px}.brand span{font-size:14px;font-weight:450;color:var(--muted);letter-spacing:0}header nav{display:flex;gap:25px;font-size:13px}header nav a{text-decoration:none}main{max-width:1640px;margin:auto;padding:0 4vw}.hero{display:grid;grid-template-columns:1.4fr 1fr;gap:9%;padding:72px 0 40px;align-items:center}.eyebrow{font-size:10px;font-weight:750;letter-spacing:1.8px;color:var(--muted);margin:0 0 14px}h1{font-size:clamp(42px,5vw,74px);line-height:1.07;font-weight:700;letter-spacing:-3px;margin:0 0 24px}h1 span{color:var(--accent)}.lede{font-size:18px;line-height:1.65;max-width:650px;color:var(--muted)}.hero-links{display:flex;align-items:center;gap:24px;margin-top:26px;font-size:13px}.primary{display:inline-block;background:var(--accent);padding:11px 18px;border-radius:7px;color:white;text-decoration:none}.status-card{padding:26px 30px;background:var(--paper);border:1px solid var(--line);border-radius:var(--radius);box-shadow:0 10px 35px #192c3c05}.status-card h2{font-size:22px;letter-spacing:-.6px;margin:0 0 18px}.status-card dl{margin:0}.status-card dl>div{padding:10px 0;border-top:1px solid var(--line)}dt{color:var(--muted);font-size:11px;font-weight:650;text-transform:uppercase;letter-spacing:.5px}dd{margin:3px 0 0;font-size:13px}.tag{display:inline-block;font-size:10px;border-radius:5px;padding:2px 7px;background:#e7f5ee;color:#27664f;margin-left:8px}.small{font-size:12px}.muted{color:var(--muted)}code{font:12px/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;background:#eff2f3;border-radius:4px;padding:2px 4px}.rates{border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:grid;grid-template-columns:repeat(4,1fr);padding:20px 0;gap:25px;margin-bottom:65px}.rates div{display:flex;flex-direction:column;gap:2px;padding-left:20px;border-left:1px solid var(--line)}.rates div:first-child{border:none;padding-left:0}.rates b{font-size:21px;letter-spacing:-.5px}.rates span{font-size:12px;color:var(--muted)}h2{font-size:29px;letter-spacing:-1px;line-height:1.25;margin:0 0 12px}h3{font-size:17px;letter-spacing:-.3px;line-height:1.35;margin:0 0 10px}.section-top{display:flex;align-items:center;justify-content:space-between;gap:25px;margin-bottom:24px}.section-top p:not(.eyebrow){margin:0;color:var(--muted);font-size:13px}.version-label{min-width:260px;font-size:11px;color:var(--muted);font-weight:650}select{display:block;width:100%;padding:10px 14px;margin-top:6px;background:var(--paper);border:1px solid var(--line);border-radius:8px;color:var(--ink);font-size:12px}.workspace{display:grid;grid-template-columns:180px minmax(0,1fr) 250px;gap:0;border:1px solid var(--line);background:var(--paper);border-radius:var(--radius);overflow:hidden}.views{padding:22px 12px;border-right:1px solid var(--line);background:#fcfcfd}.views>.eyebrow{padding-left:10px}#diagram-nav{display:flex;flex-direction:column;gap:4px}#diagram-nav button{background:none;border:none;padding:11px 10px;border-radius:7px;text-align:left;font-size:12px;color:var(--muted);display:flex;gap:10px;align-items:center}#diagram-nav button span{font:10px ui-monospace,monospace;color:#91a0aa}#diagram-nav button:hover{background:#edf2f3}#diagram-nav button[aria-pressed=true]{background:#e7f2ed;color:#205c49;font-weight:700}.legend{margin:30px 9px 0;font-size:10px;color:var(--muted)}.legend b{display:block;margin-bottom:10px;color:var(--ink);font-size:11px}.legend span{display:flex;gap:8px;align-items:center;margin:8px 0}.legend i{display:inline-block;width:11px;height:11px;border-radius:3px;border:1px solid}.input{background:#edf4ff;border-color:#6a91c2!important}.model{background:#eeeaff;border-color:#9080c0!important}.decision{background:#fff7e5;border-color:#b9a273!important}.revision{background:#e7f5ee;border-color:#559b7d!important}.stop{background:#fceeee;border-color:#c58484!important}.legend p{margin-top:20px}.diagram-area{min-width:0;background:white}.diagram-heading{padding:18px 20px 12px;border-bottom:1px solid var(--line)}.diagram-heading h3{font-size:16px}.diagram-heading p{font-size:11px;line-height:1.6;color:var(--muted);margin:0;max-width:620px}.toolbar{display:flex;align-items:center;gap:5px;margin-top:14px}.toolbar button{border:1px solid var(--line);background:white;border-radius:5px;min-width:30px;height:29px;font-size:13px;color:var(--ink)}.toolbar output{font:10px ui-monospace,monospace;width:40px;text-align:center;color:var(--muted)}.toolbar a{font-size:10px;margin-left:auto}.toolbar button:hover{background:#edf2f3}#viewport{height:650px;overflow:auto;overscroll-behavior:contain;background-color:#fff;background-image:radial-gradient(#d4dfe4 .65px,transparent .65px);background-size:18px 18px;cursor:grab;position:relative}#viewport.dragging{cursor:grabbing;user-select:none}#diagram-stage{width:max-content;min-width:100%;padding:18px;display:flex;justify-content:center}#diagram-stage svg{display:block;max-width:none;flex-shrink:0}g.node{cursor:pointer}g.node:hover polygon,g.node:hover path,g.node:hover ellipse{stroke:#1f735c;stroke-width:2.5}g.node.selected polygon,g.node.selected path,g.node.selected ellipse{stroke:#197155;stroke-width:3}g.node text{pointer-events:none}.diagram-foot{padding:10px 16px;display:flex;justify-content:space-between;gap:12px;border-top:1px solid var(--line);font-size:9px;color:var(--muted)}.diagram-area:fullscreen{display:flex;flex-direction:column}.diagram-area:fullscreen #viewport{height:auto;flex:1}.inspector{padding:22px 20px;border-left:1px solid var(--line);background:#fcfcfd;font-size:12px;overflow-wrap:anywhere}.inspector h3{font-size:16px}.inspector p:not(.eyebrow){color:var(--muted);font-size:12px}.inspector dl{border-top:1px solid var(--line);margin-top:20px}.inspector dt{margin-top:16px;font-size:9px}.inspector dd{font-size:11px;line-height:1.6}.inspector button{border:none;background:none;color:var(--accent);padding:10px 0;font-size:11px}.guard-note{padding:16px 20px;margin-top:15px;background:#edf2f3;border-radius:8px;font-size:12px;color:var(--muted)}.guard-note b{color:var(--ink)}.three-up{display:grid;grid-template-columns:repeat(3,1fr);gap:30px;padding:65px 0}.three-up article{padding-right:25px;border-right:1px solid var(--line)}.three-up article:last-child{border:none}.number{display:block;font:10px ui-monospace,monospace;color:var(--accent);letter-spacing:1px;margin-bottom:12px}.three-up p{font-size:13px;color:var(--muted);margin:0}.contracts{display:grid;grid-template-columns:1fr 1fr;gap:22px;margin:26px 0 65px}.contracts article{background:var(--paper);border:1px solid var(--line);border-radius:var(--radius);padding:25px}.contracts h3{font-size:15px}.contracts pre{white-space:pre-wrap;overflow-wrap:anywhere;font:12px/1.9 ui-monospace,SFMono-Regular,Consolas,monospace;padding:18px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);color:#355063}.contracts p{font-size:12px;color:var(--muted)}.section-intro{color:var(--muted);font-size:14px;max-width:750px}.table-wrap{overflow-x:auto;border:1px solid var(--line);border-radius:var(--radius);background:white;margin:25px 0}table{width:100%;border-collapse:collapse;font-size:12px;line-height:1.75;min-width:670px}th,td{padding:15px 20px;text-align:left;vertical-align:top;border-bottom:1px solid var(--line)}thead{background:#edf2f3}tbody th{width:20%;font-size:11px}td{width:40%;color:var(--muted)}tbody tr:last-child>*{border:none}.evidence{display:grid;grid-template-columns:repeat(3,1fr);gap:40px;padding:10px 0 15px}.evidence b{font-size:34px;letter-spacing:-1px;display:block}.evidence span{font-size:12px;line-height:1.5;color:var(--muted);display:block;max-width:240px}.assumptions{margin:65px 0 40px;padding:30px;border-left:3px solid #b29054;background:#f2f0e9}.assumptions h2{font-size:24px}.assumptions p:not(.eyebrow){max-width:1000px;font-size:13px;color:#625e52}#reference{margin-bottom:60px}summary{cursor:pointer;font-size:13px;font-weight:650;padding:15px 0}.search-label{display:block;font-size:12px;color:var(--muted);max-width:450px;margin:15px 0}input{display:block;width:100%;border:1px solid var(--line);padding:11px;border-radius:7px;background:white;margin:7px 0}#node-reference{display:grid;grid-template-columns:repeat(3,1fr);gap:15px}.reference-node{background:white;padding:18px;border:1px solid var(--line);border-radius:9px;font-size:12px}.reference-node h3{font-size:14px}.reference-node p{color:var(--muted)}.reference-node code{font-size:10px}.reference-node[hidden]{display:none}footer{border-top:1px solid var(--line);padding:25px 0 40px;display:flex;justify-content:space-between;gap:20px;font-size:11px;color:var(--muted)}.skip{position:absolute;left:15px;top:-80px;z-index:100;background:white;padding:15px}.skip:focus{top:10px}#diagram-error{padding:20px;color:#994b4b}@media(min-width:1450px){.workspace{grid-template-columns:190px minmax(0,1fr) 275px}}@media(max-width:1100px){.workspace{grid-template-columns:160px minmax(0,1fr)}.inspector{grid-column:1/-1;border-left:none;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 2fr;gap:0 25px}.inspector .eyebrow{grid-column:1/-1}.inspector dl{margin:0;border:0;grid-column:2;grid-row:2/span 3}.inspector dt:first-child{margin-top:0}.hero{gap:5%}#node-reference{grid-template-columns:1fr 1fr}}@media(max-width:720px){header{height:60px;padding:0 18px}.brand span{display:none}header nav{gap:14px;font-size:11px}main{padding:0 18px}.hero{grid-template-columns:1fr;padding:38px 0 25px;gap:28px}h1{font-size:45px;letter-spacing:-2px}.lede{font-size:16px}.hero-links{gap:16px;font-size:11px}.status-card{padding:22px}.rates{grid-template-columns:1fr 1fr;gap:22px;margin-bottom:40px}.rates div:nth-child(3){border:none;padding-left:0}.rates b{font-size:20px}.section-top{display:block}.version-label{display:block;margin-top:20px;max-width:none}h2{font-size:25px}.workspace{display:block}.views{padding:10px;border-right:none;border-bottom:1px solid var(--line)}.views>.eyebrow,.legend{display:none}#diagram-nav{flex-direction:row;overflow-x:auto;gap:5px}#diagram-nav button{white-space:nowrap;font-size:11px;gap:6px;padding:9px}#viewport{height:500px}.diagram-heading{padding:15px}.diagram-heading p{font-size:11px}.diagram-foot{font-size:9px}.inspector{display:block;padding:20px}.inspector dl{margin-top:20px;border-top:1px solid var(--line)}.inspector dt:first-child{margin-top:14px}.three-up{grid-template-columns:1fr;gap:24px;padding:40px 0}.three-up article{border-right:none;border-bottom:1px solid var(--line);padding:0 0 24px}.contracts{grid-template-columns:1fr;margin-bottom:40px}.contracts article{padding:20px}.evidence{gap:20px}.evidence b{font-size:27px}.evidence span{font-size:11px}.assumptions{padding:24px 20px;margin-top:40px}#node-reference{grid-template-columns:1fr}footer{flex-wrap:wrap;font-size:10px}.section-top .eyebrow{margin-bottom:10px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}