.tx-p-mdao{--mdao-ok:var(--tx-green);--mdao-bad:var(--tx-red);--mdao-nc:var(--tx-amber);--mdao-grey:#3a4652}.tx-p-mdao .mdao-fig-badge{position:absolute;right:12px;bottom:12px;z-index:2}.tx-p-mdao .tx-steps-stage{position:relative}@media (min-width:1000px){.tx-p-mdao .tx-steps-stage{position:sticky}}.tx-p-mdao .mdao-lbl{font-family:var(--font-mono);font-size:13px;fill:var(--tx-muted);letter-spacing:.02em}.tx-p-mdao .mdao-lbl--ink{fill:var(--tx-ink)}.tx-p-mdao .mdao-lbl--dim{fill:var(--text-tertiary);font-size:12px}.tx-p-mdao .mdao-lbl--warn{fill:var(--tx-amber)}.tx-p-mdao .mdao-sm{font-size:12px}.tx-p-mdao .mdao-hero .mdao-lbl{paint-order:stroke;stroke:var(--surface-0);stroke-width:4px;stroke-linejoin:round}.tx-p-mdao .mdao-eps .mdao-lbl,.tx-p-mdao .mdao-gauge .mdao-lbl,.tx-p-mdao .mdao-eps .mdao-axis{font-size:15px}.tx-p-mdao .mdao-eps .ticks text,.tx-p-mdao .mdao-gauge .ticks text{font-size:14px}.tx-p-mdao .mdao-axis{font-family:var(--font-mono);font-size:13px;fill:var(--tx-muted)}.tx-p-mdao .ticks text{font-family:var(--font-mono);font-size:12px;fill:var(--text-tertiary)}.tx-p-mdao [tabindex="0"]:focus{outline:none}.tx-p-mdao g[tabindex="0"]:focus-visible circle,.tx-p-mdao g[tabindex="0"]:focus-visible rect,.tx-p-mdao rect[tabindex="0"]:focus-visible{stroke:var(--tx-amber);stroke-width:3}.tx-p-mdao .mdao-tilt{width:100%;height:100%}.tx-p-mdao .mdao-tilt svg{width:100%;height:100%;overflow:visible}.tx-p-mdao .mdao-frame{fill:rgba(255,255,255,.012);stroke:var(--tx-line)}.tx-p-mdao .mdao-contours circle{fill:none;stroke:var(--accent-border);stroke-width:1;opacity:.55}.tx-p-mdao .mdao-contours .mdao-c-touch{stroke:var(--tx-cyan);opacity:.9;stroke-dasharray:3 4}.tx-p-mdao .mdao-hatch-l{stroke:rgba(169,180,188,.22);stroke-width:3}.tx-p-mdao .mdao-infeas{fill:url(#mdao-hatch)}.tx-p-mdao .mdao-limit{fill:none;stroke:var(--tx-amber);stroke-width:2.5}.tx-p-mdao .mdao-umin circle{fill:var(--surface-0);stroke:var(--text-tertiary);stroke-width:1.5}.tx-p-mdao .mdao-umin path{stroke:var(--tx-red);stroke-width:2}.tx-p-mdao .mdao-path{fill:none;stroke:var(--tx-ink);stroke-width:1.5;opacity:.6}.tx-p-mdao .mdao-pt circle{stroke-width:2.5;transition:r var(--dur-base) var(--ease-out)}.tx-p-mdao .mdao-pt--ok circle{fill:var(--mdao-ok);stroke:var(--surface-0)}.tx-p-mdao .mdao-pt--bad circle{fill:var(--surface-0);stroke:var(--mdao-bad)}.tx-p-mdao .mdao-pt--nc circle{fill:var(--surface-0);stroke:var(--mdao-nc);stroke-dasharray:3 3}.tx-p-mdao .mdao-pt--best circle:last-child{fill:var(--tx-cyan);stroke:var(--surface-0)}.tx-p-mdao .mdao-halo{stroke:none !important}.tx-p-mdao .mdao-pt:hover circle:last-child,.tx-p-mdao .mdao-pt:focus-visible circle:last-child{r:10}.tx-p-mdao .mdao-ring{fill:none;stroke:var(--tx-cyan);stroke-width:2}.tx-p-mdao .mdao-callout path{fill:none;stroke:var(--text-tertiary);stroke-width:1}.tx-p-mdao .mdao-key text{font-family:var(--font-mono);font-size:12px;fill:var(--tx-muted)}.tx-p-mdao .mdao-key .k-ok{fill:var(--mdao-ok)}.tx-p-mdao .mdao-key .k-bad{fill:none;stroke:var(--mdao-bad);stroke-width:2}.tx-p-mdao .mdao-key .k-nc{fill:none;stroke:var(--mdao-nc);stroke-width:2;stroke-dasharray:2 2}.js .tx-p-mdao .mdao-pt,.js .tx-p-mdao .mdao-callout,.js .tx-p-mdao .mdao-ring{opacity:0}.js .tx-p-mdao .mdao-pt{transform:scale(.3);transform-box:fill-box;transform-origin:center;transition:opacity .5s var(--ease-out) calc(700ms + var(--k) * 230ms),transform .7s var(--ease-out) calc(700ms + var(--k) * 230ms)}.js .tx-p-mdao .is-in .mdao-pt{opacity:1;transform:none}.js .tx-p-mdao .is-in .mdao-callout,.js .tx-p-mdao .is-in .mdao-ring{opacity:1;transition:opacity .8s var(--ease-out) 2.6s}.js .tx-p-mdao .mdao-hero .mdao-path{transition-duration:2.2s;transition-delay:.6s}.tx-p-mdao .mdao-board svg{padding:.4rem .2rem}.tx-p-mdao .mdao-th{font-family:var(--font-mono);font-size:12px;letter-spacing:.1em;text-transform:uppercase;fill:var(--text-tertiary)}.tx-p-mdao .mdao-td{font-size:16px;fill:var(--tx-ink);font-family:var(--font-sans)}.tx-p-mdao .mdao-mono{font-family:var(--font-mono);font-size:15px}.tx-p-mdao .mdao-bar{fill:var(--surface-3)}.tx-p-mdao .mdao-bar--ok{fill:var(--accent-border)}.tx-p-mdao .mdao-stamp text{font-family:var(--font-mono);font-size:13px;font-weight:600;letter-spacing:.03em}.tx-p-mdao .mdao-stamp rect{fill:transparent;stroke-width:1.5}.tx-p-mdao .mdao-stamp--bad rect{stroke:var(--mdao-bad)}.tx-p-mdao .mdao-stamp--bad text{fill:var(--mdao-bad)}.tx-p-mdao .mdao-stamp--warn rect{stroke:var(--tx-amber)}.tx-p-mdao .mdao-stamp--warn text{fill:var(--tx-amber)}.tx-p-mdao .mdao-stamp--ok rect{stroke:var(--tx-cyan);fill:var(--accent-soft)}.tx-p-mdao .mdao-stamp--ok text{fill:var(--tx-cyan)}.tx-p-mdao .mdao-strike{stroke:var(--mdao-bad);stroke-width:1.5;opacity:.75;transform-box:fill-box;transform-origin:left center}.js .tx-p-mdao .mdao-stamp{opacity:0;transform:translateX(10px);transition:opacity .5s var(--ease-out),transform .6s var(--ease-out)}.js .tx-p-mdao .mdao-strike{transform:scaleX(0);transition:transform .7s var(--ease-out)}.js .tx-p-mdao .mdao-board.is-in .mdao-stamp{opacity:1;transform:none}.js .tx-p-mdao .mdao-board.is-in .mdao-strike{transform:none}.tx-p-mdao .mdao-row:nth-of-type(1) .mdao-stamp{transition-delay:.5s}.tx-p-mdao .mdao-row:nth-of-type(2) .mdao-stamp{transition-delay:1s}.tx-p-mdao .mdao-row:nth-of-type(3) .mdao-stamp{transition-delay:1.5s}.tx-p-mdao .mdao-row:nth-of-type(4) .mdao-stamp{transition-delay:2.1s}.tx-p-mdao .mdao-strike{transition-delay:calc(.75s + var(--r) * .5s) !important}.tx-p-mdao .mdao-x{padding:10px}.tx-p-mdao .mdao-dl path{fill:none;stroke:var(--mdao-grey);stroke-width:7;stroke-linejoin:round}.tx-p-mdao .mdao-flow path{fill:none;stroke:var(--tx-cyan);stroke-width:2.5;opacity:0;transition:opacity .5s var(--ease-out)}.tx-p-mdao .mdao-blk rect{fill:var(--surface-2);stroke:var(--border-strong);stroke-width:1.5;transition:stroke var(--dur-base),fill var(--dur-base)}.tx-p-mdao .mdao-blk text{font-family:var(--font-sans);font-size:15px;font-weight:600;fill:var(--tx-ink)}.tx-p-mdao .mdao-blk--opt rect{fill:rgba(57,208,224,.08)}.tx-p-mdao .mdao-blk--mda rect{fill:rgba(242,163,58,.08)}.tx-p-mdao .mdao-blk--judge rect{fill:rgba(79,209,139,.08)}.tx-p-mdao .mdao-dn path{fill:var(--surface-1);stroke:var(--border-strong);stroke-width:1}.tx-p-mdao .mdao-dn text{font-family:var(--font-mono);font-size:13px;fill:var(--tx-muted)}.tx-p-mdao .mdao-card rect{fill:var(--surface-0);stroke:var(--accent-border)}.tx-p-mdao .mdao-card text{font-family:var(--font-mono);font-size:12px;fill:var(--tx-muted)}.tx-p-mdao .mdao-card text.h{font-family:var(--font-sans);font-size:15px;font-weight:600;fill:var(--tx-ink)}.tx-p-mdao .mdao-res-track{fill:var(--surface-3) !important;stroke:none !important}.tx-p-mdao .mdao-res{fill:url(#mdao-x-on) !important;stroke:none !important;transform-box:fill-box;transform-origin:left center;transition:transform 2.8s cubic-bezier(.3,.1,.2,1) .3s}.tx-p-mdao .mdao-chips rect{fill:var(--surface-0);stroke-width:1.5}.tx-p-mdao .mdao-chips text{font-family:var(--font-mono);font-size:13px}.tx-p-mdao .c-act rect{stroke:var(--tx-amber)}.tx-p-mdao .c-act text{fill:var(--tx-amber)}.tx-p-mdao .c-in rect{stroke:var(--mdao-ok)}.tx-p-mdao .c-in text{fill:var(--mdao-ok)}.tx-p-mdao .c-vi rect{stroke:var(--mdao-bad)}.tx-p-mdao .c-vi text{fill:var(--mdao-bad)}.js .tx-p-mdao .mdao-x .lit{opacity:.26;transition:opacity .6s var(--ease-out)}.js .tx-p-mdao .mdao-card{opacity:0;transform:translateY(6px);transition:opacity .5s var(--ease-out),transform .6s var(--ease-out)}html:not(.js) .tx-p-mdao .mdao-card:not(.mdao-card--static){display:none}.tx-p-mdao [data-active="1"] .lit.s1,.tx-p-mdao [data-active="2"] .lit.s2,.tx-p-mdao [data-active="3"] .lit.s3,.tx-p-mdao [data-active="4"] .lit.s4,.tx-p-mdao [data-active="5"] .lit.s5,.tx-p-mdao [data-active="6"] .lit.s6{opacity:1}.tx-p-mdao [data-active="1"] .mdao-dl .s1,.tx-p-mdao [data-active="2"] .mdao-dl .s2,.tx-p-mdao [data-active="3"] .mdao-dl .s3,.tx-p-mdao [data-active="4"] .mdao-dl .s4,.tx-p-mdao [data-active="5"] .mdao-dl .s5,.tx-p-mdao [data-active="6"] .mdao-dl .s6{stroke:#2f6f78}.tx-p-mdao [data-active="1"] .mdao-blk.s1 rect,.tx-p-mdao [data-active="2"] .mdao-blk.s2 rect,.tx-p-mdao [data-active="3"] .mdao-blk.s3 rect,.tx-p-mdao [data-active="4"] .mdao-blk.s4 rect,.tx-p-mdao [data-active="5"] .mdao-blk.s5 rect,.tx-p-mdao [data-active="6"] .mdao-blk.s6 rect{stroke:var(--tx-cyan)}.tx-p-mdao [data-active="1"] .mdao-card[data-step="1"],.tx-p-mdao [data-active="2"] .mdao-card[data-step="2"],.tx-p-mdao [data-active="3"] .mdao-card[data-step="3"],.tx-p-mdao [data-active="4"] .mdao-card[data-step="4"],.tx-p-mdao [data-active="5"] .mdao-card[data-step="5"],.tx-p-mdao [data-active="6"] .mdao-card[data-step="6"]{opacity:1;transform:none}.tx-p-mdao [data-active="4"] .mdao-flow path{opacity:1}.tx-p-mdao [data-active="4"] .mdao-res{transform:scaleX(.05)}.tx-p-mdao .mdao-tabs{margin-top:2.2rem}.tx-p-mdao .mdao-panel{padding-top:.4rem}html:not(.js) .tx-p-mdao .mdao-panel + .mdao-panel{margin-top:2.5rem;padding-top:2rem;border-top:1px solid var(--tx-line)}.tx-p-mdao .mdao-eq{font-family:var(--font-mono);font-size:clamp(.92rem,.85rem + .4vw,1.12rem);line-height:1.5;padding:1.4rem 1.5rem;border:1px solid var(--tx-line);border-left:3px solid var(--tx-cyan);border-radius:var(--radius-md);background:var(--surface-1);overflow-x:auto}.tx-p-mdao .mdao-eq p{margin:.35rem 0;white-space:nowrap}.tx-p-mdao .mdao-eq .k{color:var(--tx-cyan)}.tx-p-mdao .mdao-eq .i{padding-left:6.2em}.tx-p-mdao .mdao-eq .c{color:var(--text-tertiary);font-size:.82em}@media (max-width:560px){.tx-p-mdao .mdao-eq .i{padding-left:1.5em}}.tx-p-mdao .mdao-note{margin-top:1.2rem;font-size:var(--step-sm)}.tx-p-mdao .mdao-gauge .z-in{fill:rgba(79,209,139,.12);stroke:rgba(79,209,139,.35)}.tx-p-mdao .mdao-gauge .z-act{fill:rgba(242,163,58,.22);stroke:var(--tx-amber)}.tx-p-mdao .mdao-gauge .z-vi{fill:url(#mdao-hatch);stroke:rgba(255,90,78,.5)}.tx-p-mdao .mdao-gauge .lim{stroke:var(--tx-ink);stroke-width:1.5;stroke-dasharray:4 3}.tx-p-mdao .mdao-marker{transform:translateX(var(--x));transition:transform .25s var(--ease-out)}.tx-p-mdao .mdao-marker path{fill:var(--tx-cyan)}.tx-p-mdao .mdao-marker line{stroke:var(--tx-cyan);stroke-width:2.5}.tx-p-mdao .mdao-gauge figcaption{justify-content:flex-start}.tx-p-mdao .mdao-slider{display:inline-flex;align-items:center;gap:.7rem;color:var(--tx-ink)}.tx-p-mdao .mdao-slider input{accent-color:var(--tx-cyan);width:min(260px,60vw)}.tx-p-mdao .mdao-slider input:focus-visible{outline:2px solid var(--tx-amber);outline-offset:3px}.tx-p-mdao .mdao-read{font-family:var(--font-mono);color:var(--tx-muted)}.tx-p-mdao .mdao-read b{color:var(--tx-amber);font-weight:600}.tx-p-mdao .mdao-read[data-state="violated"] b{color:var(--tx-red)}.tx-p-mdao .mdao-read[data-state="inactive"] b{color:var(--tx-green)}.tx-p-mdao .mdao-panel .tx-card{padding:1.2rem}.tx-p-mdao .mdao-proof-grid{margin-top:2.6rem}@media (min-width:1000px){.tx-p-mdao .mdao-proof-grid{grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr)}.tx-p-mdao .mdao-eps{position:sticky;top:calc(var(--header-h) + 3vh)}}.tx-p-mdao .mdao-grid line{stroke:var(--tx-line);stroke-dasharray:2 4}.tx-p-mdao .mdao-ax line{stroke:var(--border-strong)}.tx-p-mdao .mdao-base{stroke:var(--tx-red);stroke-width:1.5;stroke-dasharray:6 4;opacity:.8}.tx-p-mdao .mdao-drops line{stroke:rgba(57,208,224,.28);stroke-width:10}.tx-p-mdao .mdao-front{fill:none;stroke:var(--tx-cyan);stroke-width:2.5}.tx-p-mdao .mdao-ep circle{fill:var(--tx-cyan);stroke:var(--surface-1);stroke-width:3;transition:r var(--dur-base) var(--ease-out)}.tx-p-mdao .mdao-ep--cap circle{fill:var(--surface-1);stroke:var(--tx-cyan);stroke-width:2.5}.tx-p-mdao .mdao-ep:hover circle,.tx-p-mdao .mdao-ep:focus-visible circle{r:11}.js .tx-p-mdao .mdao-drops line{transform:scaleY(0);transform-box:fill-box;transform-origin:top;transition:transform 1.1s var(--ease-out) .3s}.js .tx-p-mdao .mdao-eps.is-in .mdao-drops line{transform:none}.tx-p-mdao .mdao-cards{display:grid;gap:var(--tx-gap)}.tx-p-mdao .mdao-cards .tx-card p{margin-bottom:.9rem}.tx-p-mdao .mdao-cards strong{color:var(--tx-ink)}.tx-p-mdao .mdao-handoff{margin-top:2.4rem;max-width:70ch}.tx-p-mdao .mdao-handoff a,.tx-p-mdao .tx-lede a,.tx-p-mdao .mdao-note a{color:var(--tx-cyan)}.tx-p-mdao .mdao-roles{margin-top:2.4rem}.tx-p-mdao .mdao-sub{margin:3rem 0 1.2rem}.tx-p-mdao .mdao-tag{display:inline-block;font-family:var(--font-mono);font-size:var(--step-xs);letter-spacing:.1em;text-transform:uppercase;color:var(--tx-amber);margin-bottom:.7rem}.tx-p-mdao .mdao-cmp{margin-top:3rem}.tx-p-mdao .mdao-cap{caption-side:top;text-align:left;padding:1rem 1.1rem 0;font-size:var(--step-xs);color:var(--tx-muted);font-family:var(--font-mono)}.tx-reduced .tx-p-mdao .mdao-pt,.tx-reduced .tx-p-mdao .mdao-callout,.tx-reduced .tx-p-mdao .mdao-ring,.tx-reduced .tx-p-mdao .mdao-stamp,.tx-reduced .tx-p-mdao .mdao-strike,.tx-reduced .tx-p-mdao .mdao-drops line{opacity:1 !important;transform:none !important;transition:none !important}.tx-reduced .tx-p-mdao .mdao-res,.tx-reduced .tx-p-mdao .mdao-marker{transition:none !important}@media (prefers-reduced-motion:reduce){.js .tx-p-mdao .mdao-pt,.js .tx-p-mdao .mdao-callout,.js .tx-p-mdao .mdao-ring,.js .tx-p-mdao .mdao-stamp,.js .tx-p-mdao .mdao-strike,.js .tx-p-mdao .mdao-drops line{opacity:1;transform:none}}