.explorer-sidebar-label{font-family:var(--font-mono);color:var(--icon-gray);text-transform:uppercase;padding:0 0 10px 12px;font-size:10px;font-weight:600}.explorer-sidebar-link{font-family:var(--font-sans);text-align:left;border:none;border-left:2px solid var(--border);color:var(--text-low);cursor:pointer;background:0 0;width:100%;padding:8px 12px;font-size:14px;transition:color 75ms}.explorer-sidebar-link:hover{color:var(--ink)}.explorer-sidebar-link.is-active{border-left-color:var(--blue);color:var(--ink)}.explorer-sidebar-link:focus-visible{outline:2px solid var(--blue);outline-offset:-2px}.pxp-body{max-width:1040px;margin:0 auto;padding:72px 40px 0;position:relative}.pxp-sidenav{width:150px;position:absolute;top:72px;bottom:0;left:-150px}.pxp-content{min-width:0}.pxp-eyebrow{color:var(--blue-deep)}.pxp-intro{color:var(--text-mid);max-width:62ch;margin:0 0 28px;font-size:16px;line-height:1.4}.pxp-intro.small{max-width:66ch;margin:0;font-size:15px}.pxp-intro-mobile{display:none}.pxp .pxp-kind{font-family:var(--font-mono);border:1px solid;flex-shrink:0;padding:1px 4px;font-size:9px;font-weight:600}.pxp .pxp-kind.lg{padding:2px 5px}.pxp :is(button,a):focus-visible{outline:2px solid var(--blue);outline-offset:2px}.pxp-sidenav-inner{flex-direction:column;gap:2px;padding-right:24px;display:flex;position:sticky;top:96px}@media (width<=1340px){.pxp-sidenav{display:none}}.pxp-navbtn:focus-visible{outline-offset:-2px}.pxp-z3+.pxp-sec,.pxp-sec+.pxp-sec{padding-top:96px}.pxp-narrative{color:var(--text-mid);font-family:var(--font-sans);margin:24px 0;font-size:16px;line-height:1.65}.pxp-narrative a{text-underline-offset:3px;text-decoration:underline}.pxp-narrative p{margin:0}.pxp-narrative p+p{margin-top:16px}.pxp-sec-name{margin:14px 0 28px;font-size:32px;line-height:1.25}.pxp-defs{margin-top:56px}.pxp-defs h3{margin:0 0 8px;font-size:24px;line-height:1.25}[data-inline-definitions=true] .pxp-stmt>*{min-width:0}[data-inline-definitions=true] .pxp-code-head{gap:12px}[data-inline-definitions=true] .pxp-file{overflow-wrap:anywhere;min-width:0}.pxp-inline-card .txp-crumb-step{white-space:normal;flex-shrink:1;min-width:0}.pxp-inline-card .txp-crumb-step button,.pxp-inline-card .txp-crumb-step>span{overflow-wrap:anywhere;min-width:0}[data-inline-definitions=true] .pxp-code-body{scrollbar-width:none}[data-inline-definitions=true] .pxp-code-body::-webkit-scrollbar{display:none}.pxp-inline-source{color:var(--code-text);border:1px solid var(--dark-border);background:#10131c;margin:16px 0 0;padding:18px 20px;overflow:auto}.pxp-inline-source code{font:13px/1.65 var(--font-mono);white-space:pre;color:inherit;background:0 0}.pxp-inline-source.primary{background:0 0;border:0;margin:0;padding:0;overflow:visible}.pxp-inline-card{border:1px solid var(--border);min-width:0;margin-top:4px;padding:20px}.pxp-inline-card h3{margin:18px 0 10px}.pxp-definition-layout{grid-template-columns:minmax(160px,220px) minmax(0,1fr);align-items:start;gap:20px;display:grid}.pxp-definition-layout.no-sidebar{grid-template-columns:minmax(0,1fr)}.pxp-definition-content{min-width:0}.pxp-definition-content h3{overflow-wrap:anywhere;margin-top:0}.pxp-definition-menu{border-right:1px solid var(--border);padding-right:12px}.has-generated-definitions .pxp-definition-menu{max-height:360px;overflow-y:auto}.pxp-definition-menu button{width:100%;color:var(--text-mid);text-align:left;white-space:normal;word-break:normal;overflow-wrap:break-word;text-wrap:pretty;cursor:pointer;background:0 0;border:0;border-left:2px solid #0000;padding:8px 9px;font-family:inherit;font-size:13px;line-height:1.5}.pxp-definition-menu button:hover{color:var(--blue-deep);background:#f7f9fc}.pxp-definition-menu button[aria-current=true]{border-left-color:var(--blue);color:var(--ink);background:#2986ff14}@media (width<=720px){.pxp-definition-layout{grid-template-columns:minmax(0,1fr);gap:14px}.has-generated-definitions .pxp-definition-menu{max-height:160px}.pxp-definition-menu{border-right:0;border-bottom:1px solid var(--border);padding:0 0 12px}}.pxp-definition-toggle{width:100%;min-height:44px;color:var(--blue-deep);font:12px var(--font-mono);cursor:pointer;background:0 0;border:0;align-items:center;gap:12px;margin-top:4px;padding:8px 0;display:flex}.pxp-definition-toggle:hover{color:var(--blue)}.pxp-definition-toggle svg{fill:none;stroke:currentColor;stroke-width:1.7px;stroke-linecap:round;stroke-linejoin:round;flex:0 0 20px;width:20px;height:20px}.pxp-definition-toggle[aria-expanded=true] svg{transform:rotate(180deg)}.pxp-toggle-rule{background:var(--border);width:20px;height:1px}.pxp-toggle-rule:last-child{flex:1}.pxp-stmt{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);align-items:stretch;gap:40px;display:grid}.pxp-stmt.pxp-definition-stack{grid-template-columns:minmax(0,1fr);gap:14px}.pxp-stmt.is-heur{grid-template-columns:1fr}.pxp-thm-tag.heur{color:var(--icon-gray)}.pxp-secondary{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);align-items:stretch;gap:40px;display:grid}.pxp-emitted{font-family:var(--font-mono);color:var(--icon-gray);font-size:11px;font-weight:600}.pxp-stmt-code{background:var(--dark-panel);border:1px solid var(--dark-border);flex-direction:column;display:flex}.pxp-code-head{border-bottom:1px solid var(--dark-border);justify-content:space-between;align-items:center;padding:11px 16px;display:flex}.pxp-file{font-family:var(--font-mono);color:var(--icon-gray);font-size:11px;font-weight:600}.pxp-file:hover{color:var(--cyan)}.pxp-checked{font-family:var(--font-mono);color:var(--cyan);align-items:center;gap:7px;font-size:11px;font-weight:600;display:flex}.pxp-checked-dot{background:var(--cyan);border-radius:50%;width:8px;height:8px;display:inline-block}.pxp-code-body{font-family:var(--font-mono);color:var(--code-text);padding:18px 16px;font-size:13px;line-height:1.75;overflow-x:auto}.pxp-code-line{white-space:pre}.pxp-kw{color:var(--cyan)}.pxp-dim{color:var(--text-low)}.pxp-ref{font:inherit;color:var(--code-literal);cursor:pointer;white-space:pre;background:0 0;border:none;border-bottom:1px dotted #cae1ff8c;margin:0;padding:0;display:inline}.pxp-stmt-en{background:var(--card);border:1px solid var(--border);align-items:baseline;gap:10px;padding:18px 22px;display:flex}[data-inline-definitions=true] .pxp-stmt-en{flex-direction:column;align-items:stretch}.pxp-thm-tag{font-family:var(--font-mono);color:var(--cyan-mark);white-space:nowrap;font-size:11px;font-weight:600}.pxp-stmt-text{color:var(--ink);font-size:16px;line-height:1.4}.pxp-pop-en code,.pxp-z3d-en code,.pxp-acc-en code,.pxp-detail-en code,.pxp-stmt-text code,.pxp-narrative code{font-family:var(--font-mono);background:var(--card);overflow-wrap:anywhere;border-radius:3px;padding:.1em .3em;font-size:.9em}.pxp-equation{margin:20px 0;padding:4px 0;display:block;overflow-x:auto}.pxp-equation math{margin:0}.pxp-toggle{border:1px solid var(--border);flex-shrink:0;display:flex}.pxp-toggle button{font-family:var(--font-mono);cursor:pointer;color:var(--text-low);background:#fff;border:none;padding:5px 10px;font-size:9px;font-weight:600}.pxp-toggle button+button{border-left:1px solid var(--border)}.pxp-toggle button.is-active{color:var(--blue-deep);background:#e4efff}.pxp-toggle button:focus-visible{outline-offset:-2px}.pxp-toggle-row{justify-content:flex-start;padding:10px 10px 0;display:flex}.pxp-toggle-mobile{display:none}.pxp-explorer{border:1px solid var(--border);background:var(--card);grid-template-columns:280px 1fr;margin-top:20px;display:grid}.pxp-tree-col{border-right:1px solid var(--border);flex-direction:column;display:flex}.pxp-tree{flex-direction:column;max-height:560px;padding:10px 8px;display:flex;position:relative;overflow-y:auto}.pxp-row{text-align:left;cursor:pointer;background:#fff;border:none;border-left:2px solid #0000;align-items:center;gap:8px;width:100%;padding:7px 10px;transition:background 75ms;display:flex}.pxp-row:hover{background:#f5f9ff}.pxp-row.is-selected{border-left-color:var(--blue);background:#e4efff}.pxp-row:focus-visible{outline-offset:-2px}.pxp-row-arrow{font-family:var(--font-mono);color:var(--icon-gray);flex-shrink:0;width:12px;font-size:11px}.pxp-row-label{font-family:var(--font-sans);color:var(--ink);white-space:nowrap;text-overflow:ellipsis;font-size:13.5px;overflow:hidden}.pxp-row.is-mono .pxp-row-label{font-family:var(--font-mono)}.pxp-row-dup{font-family:var(--font-mono);color:var(--icon-gray);flex-shrink:0;margin-left:auto;font-size:9px;font-weight:600}.pxp-detail{flex-direction:column;gap:22px;min-height:300px;padding:32px 30px;display:flex}.pxp-detail-head{flex-wrap:wrap;align-items:center;gap:10px;display:flex}.pxp-detail-name{font-family:var(--font-sans);letter-spacing:-.01em;font-size:20px}.pxp-detail-id{font-family:var(--font-mono);color:var(--icon-gray);font-size:12px}.pxp-usedby{font-family:var(--font-mono);color:var(--icon-gray);font-size:10px;font-weight:600}.pxp-detail-grid{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);align-items:start;gap:24px;display:grid}.pxp-detail-grid.solo{grid-template-columns:1fr}.pxp-lbl{font-family:var(--font-mono);color:var(--text-low);font-size:10px;font-weight:600}.pxp-detail-en{color:var(--ink);margin:6px 0 0;font-size:15px;line-height:1.4}.pxp-lean{background:var(--dark-panel);border:1px solid var(--dark-border);font-family:var(--font-mono);color:var(--code-text);white-space:pre-wrap;margin-top:6px;padding:14px 16px;font-size:12px;line-height:1.7;overflow-x:auto}.pxp-lean.sm{white-space:pre;margin-top:5px;padding:12px;font-size:11px}.pxp-src{font-family:var(--font-mono);color:var(--blue-deep);font-size:12px;font-weight:600}.pxp-src:hover{color:var(--blue)}.pxp-src.sm{font-size:11px}.pxp-src.tall{align-items:center;min-height:44px;display:inline-flex}.pxp-variant-summary{font-family:var(--font-sans);color:var(--blue-deep);cursor:pointer;padding:8px 0;font-size:16px;font-weight:500;line-height:1.5}.pxp-variant-summary:hover{color:var(--blue)}.pxp-acc{border:1px solid var(--border);background:var(--card);flex-direction:column;margin-top:14px;display:none}.pxp-acc-item{border-bottom:1px solid var(--border-light);flex-direction:column;display:flex}.pxp-acc-item:last-child{border-bottom:none}.pxp-row.acc{min-height:44px;padding-top:11px;padding-bottom:11px;padding-right:12px}.pxp-row.acc .pxp-row-label{font-size:13px}.pxp-acc-detail{background:#fafbfd;flex-direction:column;gap:10px;padding:4px 14px 16px;display:flex}.pxp-acc-id{font-family:var(--font-mono);color:var(--icon-gray);font-size:11px}.pxp-acc-en{color:var(--ink);margin:5px 0 0;font-size:14px;line-height:1.4}.pxp-try{padding-top:96px}.pxp-try h2{margin:14px 0 8px;font-size:32px;line-height:1.25}.pxp-try>.pxp-intro{margin-bottom:24px}.pxp-try-grid{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:40px;display:grid}.pxp-terminal{border:1px solid var(--dark-border);background:var(--dark-panel);min-width:0}.pxp-terminal-head{border-bottom:1px solid var(--dark-border);color:var(--icon-gray);font-family:var(--font-mono);padding:11px 16px;font-size:10px;font-weight:600}.pxp-terminal-body{color:var(--code-text);font-family:var(--font-mono);padding:18px 16px;font-size:12px;line-height:1.9;overflow-x:auto}.pxp-terminal-body>div{white-space:nowrap}.pxp-prompt,.pxp-terminal-ok{color:var(--cyan)}.pxp-prompt{margin-right:8px}.pxp-scope-note{border:1px solid var(--border);background:var(--card);padding:20px 22px}.pxp-scope-note .eyebrow{color:var(--text-low)}.pxp-scope-note p{color:var(--text-mid);margin:11px 0 0;font-size:14px;line-height:1.55}@media (width<=720px){.pxp-try{padding-top:56px}.pxp-try h2{font-size:27px}.pxp-try-grid{grid-template-columns:1fr}}.pxp-z3{padding-top:96px}.pxp-z3 h2{margin:14px 0 8px;font-size:32px;line-height:1.25}.pxp-dag-scroll{padding-bottom:4px;overflow:auto}.pxp-edge-legend{color:var(--text-mid);flex-wrap:wrap;gap:12px 24px;margin-bottom:20px;font-size:12px;display:flex}.pxp-edge-legend span{align-items:center;gap:10px;display:inline-flex}.pxp-edge-legend i{border-top:2px solid #8fa3bc;width:36px;position:relative}.pxp-edge-legend i.is-heuristic{border-top-style:dashed}.pxp-edge-legend i:after{content:"";border-top:4px solid #0000;border-bottom:4px solid #0000;border-left:6px solid #8fa3bc;position:absolute;top:-5px;right:-1px}.pxp-dag{position:relative}.pxp-dag svg{pointer-events:none;position:absolute;top:0;left:0}.pxp-node{border:1.5px solid var(--ink);text-align:left;cursor:pointer;background:#fff;flex-direction:column;align-items:flex-start;gap:5px;width:224px;min-height:96px;padding:12px 14px;transition:border-color .15s,background .15s;display:flex;position:absolute}.pxp-node.is-thm{border-color:var(--cyan-mark);background:#bcfcff40}.pxp-node:hover{border-color:var(--cyan-mark);background:#f2fdfe}.pxp-node-label{overflow-wrap:anywhere;font-family:var(--font-sans);letter-spacing:-.01em;color:var(--ink);font-size:14px}.pxp-node.is-mono .pxp-node-label{font-family:var(--font-mono)}.pxp-node-gloss{font-family:var(--font-body);color:var(--text-mid);overflow-wrap:anywhere;font-size:11.5px;line-height:1.4}.pxp-pop{border:1.5px solid var(--ink);z-index:5;background:#fff;flex-direction:column;gap:8px;width:300px;padding:16px 18px;display:flex;position:absolute;box-shadow:0 8px 24px #191c272e}.pxp-pop-head{align-items:center;gap:8px;display:flex}.pxp-pop-name{overflow-wrap:anywhere;min-width:0;font-family:var(--font-sans);letter-spacing:-.01em;font-size:16px}.pxp-pop-close{cursor:pointer;font-family:var(--font-mono);color:var(--icon-gray);background:0 0;border:none;margin-left:auto;padding:0 2px;font-size:13px}.pxp-pop-close:hover{color:var(--ink)}.pxp-pop-en{color:var(--ink);margin:0;font-size:13.5px;line-height:1.4}.pxp-z3list{flex-direction:column;display:none}.pxp-z3wrap{flex-direction:column;display:flex}.pxp-z3item{border:1.5px solid var(--ink);background:#fff;flex-direction:column;display:flex}.pxp-z3item.is-thm{border-color:var(--cyan-mark);background:#bcfcff40}.pxp-z3btn{text-align:left;cursor:pointer;background:0 0;border:none;flex-direction:column;gap:5px;width:100%;min-height:44px;padding:14px;display:flex}.pxp-z3btn:focus-visible{outline-offset:-2px}.pxp-z3row{justify-content:space-between;align-items:baseline;gap:8px;width:100%;display:flex}.pxp-z3label{font-family:var(--font-sans);letter-spacing:-.01em;color:var(--ink);font-size:15px}.pxp-z3btn.is-mono .pxp-z3label{font-family:var(--font-mono)}.pxp-z3gloss{font-family:var(--font-body);color:var(--text-mid);font-size:12.5px;line-height:1.4}.pxp-z3builds{font-family:var(--font-mono);color:var(--icon-gray);font-size:9.5px;font-weight:600}.pxp-z3d{flex-direction:column;gap:8px;padding:0 14px 14px;display:flex}.pxp-z3d-en{color:var(--ink);margin:0;font-size:13px;line-height:1.4}.pxp-z3conn{font-family:var(--font-mono);color:var(--icon-gray);justify-content:center;padding:4px 0;display:flex}@media (width<=960px){.pxp-explorer{grid-template-columns:1fr}.pxp-tree-col{border-right:none;border-bottom:1px solid var(--border)}.pxp-tree{max-height:340px}}@media (width<=720px){.pxp-body{padding:56px 20px 0}.pxp-desktop-only{display:none!important}.pxp-intro-mobile{display:block}.pxp-intro{font-size:15px}.pxp-intro.small{font-size:14px}.pxp-z3+.pxp-sec,.pxp-sec+.pxp-sec{padding-top:56px}.pxp-sec-name{margin:12px 0 20px;font-size:27px}.pxp-defs{margin-top:40px}.pxp-defs h3{font-size:20px}.pxp-acc,.pxp-z3list{display:flex}.pxp-z3{padding-top:56px}.pxp-z3 h2{margin:12px 0 8px;font-size:27px}.pxp-stmt,.pxp-secondary{grid-template-columns:1fr;gap:14px}.pxp-emitted{font-size:10px}.pxp-code-head{padding:10px 14px}.pxp-file,.pxp-checked{font-size:10px}.pxp-checked{gap:6px}.pxp-code-body{padding:14px;font-size:11px}.pxp-stmt-en{padding:12px 16px}.pxp-thm-tag{font-size:10px}.pxp-stmt-text{font-size:13.5px}.pxp-toggle-mobile{width:fit-content;margin-top:14px;display:flex}.pxp-toggle button{min-height:40px;padding:10px 14px;font-size:10px}}.hero[data-astro-cid-zpmmowlg]{background:var(--ink);align-items:center;min-height:495px;display:flex;position:relative;overflow:hidden}.hero-bg[data-astro-cid-zpmmowlg]{opacity:.5;pointer-events:none;width:auto;max-width:none;height:112%;position:absolute;top:50%;left:calc(50% - 60px);transform:translateY(-50%)}.inner[data-astro-cid-zpmmowlg]{flex-direction:column;gap:24px;width:100%;max-width:1040px;margin:0 auto;padding:0 40px;display:flex;position:relative}h1[data-astro-cid-zpmmowlg]{color:#fff;text-wrap:balance;font-size:48px;line-height:1}.blurb[data-astro-cid-zpmmowlg]{font-family:var(--font-sans);color:var(--on-dark-body);max-width:480px;margin:0;font-size:18px;line-height:1.5}.body[data-astro-cid-zpmmowlg]{padding-top:72px}.placeholder[data-astro-cid-zpmmowlg]{background:var(--card);border:1px solid var(--border);flex-direction:column;gap:10px;padding:26px 32px;display:flex}.label[data-astro-cid-zpmmowlg]{color:var(--text-mid)}.placeholder[data-astro-cid-zpmmowlg] p[data-astro-cid-zpmmowlg]{color:var(--text-mid);max-width:62ch;margin:0;font-size:16px;line-height:1.4}.pager-band[data-astro-cid-zpmmowlg]{background:var(--ink);margin-top:104px}.pager[data-astro-cid-zpmmowlg]{grid-template-columns:1fr 1fr;gap:14px;padding-top:48px;padding-bottom:48px;display:grid}.pager-link[data-astro-cid-zpmmowlg]{background:var(--dark-panel);border:1px solid var(--dark-border);color:#fff;flex-direction:column;gap:8px;padding:24px 26px;transition:border-color 75ms;display:flex}.pager-link[data-astro-cid-zpmmowlg]:hover{border-color:var(--cyan);color:#fff}.pager-link[data-astro-cid-zpmmowlg]:focus-visible{outline:2px solid var(--cyan);outline-offset:2px}.pager-link[data-astro-cid-zpmmowlg].right{text-align:right;align-items:flex-end}.dir[data-astro-cid-zpmmowlg]{font-family:var(--font-mono);color:var(--icon-gray);font-size:10px;font-weight:600}.dir[data-astro-cid-zpmmowlg] .arrow[data-astro-cid-zpmmowlg]{position:relative;top:-.08em}.name[data-astro-cid-zpmmowlg]{font-family:var(--font-sans);letter-spacing:-.01em;font-size:19px}@media (width<=720px){h1[data-astro-cid-zpmmowlg]{text-wrap:pretty;font-size:34px}.hero[data-astro-cid-zpmmowlg]{min-height:0}.hero-bg[data-astro-cid-zpmmowlg]{width:340px;height:auto;top:-16px;left:auto;right:-48px;transform:none}.inner[data-astro-cid-zpmmowlg]{gap:16px;padding:48px 20px 56px}.blurb[data-astro-cid-zpmmowlg]{font-size:16px}.body[data-astro-cid-zpmmowlg]{padding-top:48px}.pager-band[data-astro-cid-zpmmowlg]{margin-top:64px}.pager[data-astro-cid-zpmmowlg]{grid-template-columns:1fr;padding-top:32px;padding-bottom:32px}.pager-link[data-astro-cid-zpmmowlg]{padding:18px 20px}.pager-link[data-astro-cid-zpmmowlg].right{text-align:left;align-items:flex-start}.name[data-astro-cid-zpmmowlg]{font-size:17px}}