.tx{--tx-paper:#faf9f6;--tx-ink:#1b2437;--tx-ink-2:#4a5363;--tx-muted:#5f6773;--tx-hair:#747d8b;--tx-struct:#2860d0;--tx-forest:#2f6b5e;--tx-forest-fill:#2f6b5e;--tx-on-forest:#fff;--tx-alert:#b3261e;--tx-gold:#8a6423;--tx-filet:#b8862f;--tx-band:#1b2437;--tx-bar:#0f141e;--tx-band-text:#fff;--tx-band-muted:#c6cdd5;--tx-band-dim:#9aa4af;--tx-band-kicker:#d8a94f;--tx-onband:#fff;--tx-foot-c:#e8effc;--tx-tint-def:#e8effc;--tx-tint-ex:#f4ecd8;--tx-tint-alert:#f9ecec;--tx-row:color-mix(in srgb, var(--tx-struct) 7%, transparent);--tx-sans:var(--tx-f-sans,"CMU Sans Serif"), "Latin Modern Sans", Helvetica, Arial, sans-serif;--tx-sans-i:var(--tx-f-sans-i,"CMU Sans Serif"), var(--tx-f-sans,"CMU Sans Serif"), "Latin Modern Sans", Helvetica, Arial, sans-serif;--tx-serif:var(--tx-f-serif,"CMU Serif"), "Latin Modern Roman", "Times New Roman", serif;--tx-serif-b:var(--tx-f-serif-b,"CMU Serif"), var(--tx-f-serif,"CMU Serif"), "Latin Modern Roman", "Times New Roman", serif;--tx-mono:var(--tx-f-mono,"CMU Typewriter"), "Latin Modern Mono", Courier, monospace;--tx-ease:cubic-bezier(.2, .6, .2, 1);--tx-measure:40rem;--tx-hit:44px;--tx-dot-hit:24px;--tx-header-h:14rem;--tx-bar-h:0rem}.dark .tx:not([data-paper=light]){--tx-paper:#111315;--tx-ink:#f3f5f7;--tx-ink-2:#c6cdd5;--tx-muted:#9aa4af;--tx-hair:#6b7682;--tx-struct:#6ea8fe;--tx-forest:#7cc0af;--tx-forest-fill:#397a6b;--tx-on-forest:#f3f5f7;--tx-alert:#ff8f9a;--tx-gold:#d8a94f;--tx-filet:#d8a94f;--tx-band:#2a3442;--tx-bar:#2a3442;--tx-band-text:#f3f5f7;--tx-band-muted:#c6cdd5;--tx-band-dim:#9aa4af;--tx-band-kicker:#d8a94f;--tx-onband:#0d1117;--tx-foot-c:#1d2530;--tx-tint-def:transparent;--tx-tint-ex:transparent;--tx-tint-alert:transparent}@media (min-width:360px){.tx{--tx-header-h:11rem}}@media (min-width:640px){.tx{--tx-header-h:4.5625rem}}@media (min-width:1180px){.tx{--tx-bar-h:2.75rem}}.tx,.tx *,.tx :before,.tx :after{box-sizing:border-box}.tx{color:var(--tx-ink);font-family:var(--tx-sans);font-synthesis:none;font-kerning:normal;-webkit-font-smoothing:antialiased;font-size:1.125rem;line-height:1.6;overflow-x:clip;container-type:inline-size}.dark .tx[data-paper=light]{background:var(--tx-paper);padding:1.25rem 1rem 2.5rem}@media (max-width:639.98px){.dark .tx[data-paper=light]{margin-inline:-1rem;padding-inline:1rem}}.tx [id],.tx :is(a[href],button,input,summary,[tabindex]){scroll-margin-top:calc(var(--tx-header-h) + var(--tx-bar-h) + .75rem);scroll-margin-bottom:.75rem}.tx>*,.tx-partwrap>*{max-width:var(--tx-measure);margin-inline:auto}.tx>.tx-partwrap,.tx>.tx-title,.tx>.tx-bar,.tx-partwrap>.tx-foot{max-width:none}.tx p{margin:0 0 1rem}.tx a{color:var(--tx-struct);text-underline-offset:2px;text-decoration:underline;text-decoration-thickness:1px}.tx a:hover{text-decoration-thickness:2px}.tx :focus-visible{outline:2px solid var(--tx-struct);outline-offset:2px}.tx code{font-family:var(--tx-mono);color:inherit;overflow-wrap:anywhere;background:0 0;padding:0;font-size:.92em}.tx b,.tx strong{font-weight:700}.tx em{font-family:var(--tx-sans-i);font-style:italic}.tx-sr{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tx-sym{font-family:Latin Modern Roman,Times New Roman,serif}.tx-missing{color:var(--tx-alert)}.tx-defs{width:0;height:0;position:absolute;overflow:hidden}.tx-crumbs ol{font-family:var(--tx-mono);color:var(--tx-muted);flex-wrap:wrap;margin:0 0 .75rem;padding:0;font-size:.82rem;list-style:none;display:flex}.tx-crumbs li{min-height:var(--tx-dot-hit);align-items:center;display:inline-flex}.tx-crumbs li+li:before{content:"/";color:var(--tx-hair);margin:0 .45rem}.tx-crumbs a{color:var(--tx-ink-2);text-decoration:none}.tx-crumbs a:hover{color:var(--tx-struct);text-decoration:underline}.tx>.tx-title{background:var(--tx-band);color:var(--tx-band-text);padding:1.1rem 1.25rem 1.25rem;padding-inline:max(1.25rem, (100cqw - var(--tx-measure)) / 2);border-bottom:3px solid var(--tx-filet);position:relative}.dark .tx:not([data-paper=light])>.tx-title{border-top:1px solid var(--tx-hair)}.tx-kicker{font-family:var(--tx-mono);color:var(--tx-band-kicker);font-size:.9rem;margin:0 0 .4rem!important}.tx-h1{text-wrap:balance;font-family:var(--tx-serif-b);letter-spacing:0;color:inherit;margin:0;font-size:2rem;font-weight:700;line-height:1.12}.tx-sub{font-family:var(--tx-serif);color:var(--tx-band-muted);font-size:1.125rem;font-style:italic;line-height:1.35;margin:.45rem 0 0!important}.tx-title-mono{width:44px;height:44px;display:none;position:absolute;top:1.15rem;right:1.25rem}@media (min-width:640px){.tx-h1{font-size:2.5rem}.tx-title-mono{display:block}}.tx-byline{border-bottom:1px solid var(--tx-ink);color:var(--tx-ink-2);flex-wrap:wrap;justify-content:space-between;gap:.15rem 1.5rem;padding:.65rem 0;font-size:.94rem;line-height:1.45;display:flex}.tx-byline p{margin:0}.tx-rev{font-variant-numeric:tabular-nums}.tx-toc{margin-top:2rem}.tx-toc-head,.tx-toc-sub{font-family:var(--tx-serif);letter-spacing:.04em;color:var(--tx-ink);font-size:1.125rem;font-variant-caps:small-caps;margin:0 0 .4rem!important}.tx-toc-head{border-bottom:1px solid var(--tx-ink);padding-bottom:.25rem}.tx-toc ol,.tx-minitoc{margin:0;padding:0;list-style:none}.tx-toc-main>li{margin:.35rem 0}.tx-toc-main>li>a,.tx-toc-back a{color:var(--tx-ink);font-weight:700;text-decoration:none}.tx-toc-pn{font-family:var(--tx-serif);color:var(--tx-struct);font-variant-caps:small-caps;font-weight:400}.tx-toc-main ol li,.tx-minitoc li,.tx-toc-lists li{align-items:last baseline;gap:.5rem;font-size:1rem;display:flex}.tx-toc-lists li a{min-width:0;min-height:var(--tx-dot-hit);color:var(--tx-ink);flex:1;align-items:baseline;text-decoration:none;display:flex}.tx-toc-main ol li a,.tx-minitoc li a{min-width:0;min-height:var(--tx-dot-hit);color:var(--tx-ink);flex:1;padding-left:2.9rem;text-decoration:none;display:block;position:relative}.tx-toc-main ol li a .tx-toc-n,.tx-minitoc li a .tx-toc-n{position:absolute;top:0;left:0}.tx-toc-main ol li a:after,.tx-minitoc li a:after{content:"";background:radial-gradient(circle, var(--tx-ink-2) 0 .06em, transparent .08em) 0 0 / .5em .25em repeat-x;height:.25em;position:absolute;bottom:.48em;left:2.9rem;right:0}.tx-toc-main ol li.tx-toc-nofig a:after,.tx-minitoc li.tx-toc-nofig a:after{content:none}.tx-toc-main ol li a .tx-toc-t,.tx-minitoc li a .tx-toc-t{z-index:1;background:var(--tx-paper);padding-right:.4em;position:relative}.tx-toc-main ol li a:hover .tx-toc-t,.tx-minitoc li a:hover .tx-toc-t,.tx-toc-lists li a:hover .tx-toc-t{color:var(--tx-struct);text-decoration:underline}.tx-toc-n{width:2.4rem;color:var(--tx-struct);font-variant-numeric:tabular-nums;flex:none}.tx-toc-figs{color:var(--tx-muted);font-variant-numeric:tabular-nums;flex:none;font-size:.82rem}.tx-toc-main>li>ol{margin:.15rem 0 0}.tx-toc-back{margin-top:.5rem}.tx-toc-lists{border-top:1px solid var(--tx-hair);gap:.5rem 2rem;margin-top:1rem;padding-top:.75rem;display:grid}@media (min-width:640px){.tx-toc-lists{grid-template-columns:1fr 1fr}}.tx-aside{color:var(--tx-ink-2);font-size:.94rem;line-height:1.45}.tx-notice{border-left:3px solid var(--tx-gold);margin-top:2rem;padding:.4rem 0 .4rem 1rem}.tx-notice p:last-child,.tx-front p:last-child{margin-bottom:0}.tx-part{border-top:2px solid var(--tx-ink);margin-top:3.5rem;padding-top:.9rem}.tx-partno{font-family:var(--tx-serif);letter-spacing:.05em;color:var(--tx-struct);font-size:1.15rem;font-variant-caps:small-caps;margin:0!important}.tx-parttitle{text-wrap:balance;font-family:var(--tx-serif-b);margin:.05rem 0 .75rem;font-size:1.75rem;font-weight:700;line-height:1.2}.tx-partwrap>.tx-foot{grid-template-columns:auto minmax(0,1fr);margin-top:3rem;font-size:.82rem;line-height:1.3;display:grid}.tx-foot>div{min-height:var(--tx-hit);align-items:center;gap:.5rem;padding:.35rem .9rem;display:flex}.tx-foot-a{background:var(--tx-band);color:var(--tx-band-text);white-space:nowrap;justify-content:center}.tx-foot-a img{width:16px;height:16px}.tx-foot-role{color:var(--tx-band-muted);display:none}.tx-foot-b{background:var(--tx-struct);color:var(--tx-onband);justify-content:center;font-weight:700;display:none!important}.tx-foot-c{background:var(--tx-foot-c);color:var(--tx-ink-2);flex-wrap:wrap;justify-content:space-between}.tx-foot-c a{min-height:var(--tx-dot-hit);align-items:center;font-weight:700;text-decoration:none;display:inline-flex}@media (min-width:640px){.tx-partwrap>.tx-foot{grid-template-columns:1fr 1fr 1fr}.tx-foot-b{display:flex!important}}@media (min-width:1024px){.tx-partwrap>.tx-foot{grid-template-columns:minmax(0,1.6fr) 1fr 1fr}.tx-foot-role{display:inline}.tx-foot-role:before{content:"· "}}.tx>.tx-bar{display:none}@media (min-width:1180px){.tx>.tx-bar{top:var(--tx-header-h);z-index:20;height:var(--tx-bar-h);background:var(--tx-bar);color:var(--tx-band-muted);margin-bottom:0;font-size:.82rem;display:block;position:sticky}.dark .tx:not([data-paper=light])>.tx-bar{border-top:1px solid var(--tx-hair)}.dark .tx:not([data-paper=light])>.tx-bar+.tx-title{border-top:0}}.tx-bar ol{align-items:center;gap:.5rem;height:100%;margin:0;padding:0 .75rem;list-style:none;display:flex}.tx-bar-part{flex:auto;align-items:center;gap:.15rem;min-width:0;display:flex}.tx-bar-label{min-height:var(--tx-hit);align-items:center;gap:.4rem;padding:0 .3rem;display:inline-flex;color:inherit!important;text-decoration:none!important}.tx-bar-num{font-family:var(--tx-serif)}.tx-bar-part:not(.is-cur) .tx-bar-title{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tx-bar-part.is-cur .tx-bar-label{color:var(--tx-band-text)!important}.tx-bar-label.is-empty{color:var(--tx-band-dim)!important}.tx-bar :focus-visible{outline-color:var(--tx-band-text)}.tx-bar-dots{display:inline-flex}.tx-dot{width:var(--tx-dot-hit);height:var(--tx-dot-hit);place-items:center;display:inline-grid;color:inherit!important}.tx-dot:before{content:"";border:1px solid;border-radius:50%;width:7px;height:7px}.tx-dot.is-seen:before{border-width:2px}.tx-dot.is-cur:before{background:var(--tx-band-text);border-color:var(--tx-band-text)}.tx-sec{border-top:1px solid var(--tx-ink);margin-top:3.5rem;padding-top:1.1rem}.tx-part+.tx-sec{margin-top:1.75rem}.tx-h2{text-wrap:balance;font-family:var(--tx-serif-b);letter-spacing:0;margin:0 0 1rem;font-size:1.375rem;font-weight:700;line-height:1.25;position:relative}.tx-h2[data-n]:before{content:"§" attr(data-n);color:var(--tx-struct);margin-bottom:.15rem;font-size:1rem;display:block}@media (min-width:640px){.tx-h2{font-size:1.6rem}}@media (min-width:1024px){.tx-h2[data-n]:before{font-size:inherit;margin:0;position:absolute;top:0;right:calc(100% + 1.1rem)}}.tx-h3{font-family:var(--tx-sans);margin:1.75rem 0 .6rem;font-size:1.15rem;font-weight:700;line-height:1.3}.tx-answer{border-left:2px solid var(--tx-struct);font-family:var(--tx-serif);padding:.05rem 0 .1rem 1rem;font-size:1.125rem;line-height:1.55;margin:0 0 1.1rem!important}.tx-answer:before{content:"Short answer";font-family:var(--tx-serif);letter-spacing:.04em;color:var(--tx-struct);margin-bottom:.1rem;font-size:1rem;font-variant-caps:small-caps;display:block}.tx:lang(fr) .tx-answer:before{content:"En bref"}.tx-answer em,.tx-box-definition .tx-box-body em{font-family:var(--tx-serif)}.tx-answer b,.tx-box-definition .tx-box-body b{font-family:var(--tx-serif-b)}.tx-goal{color:var(--tx-muted);font-size:.94rem;line-height:1.45;margin:0 0 1.25rem!important}.tx-runin-i{font-family:var(--tx-sans-i);font-style:italic}.tx-srcline{color:var(--tx-muted);font-size:.82rem;line-height:1.45;margin-top:1.5rem!important}@media (min-width:1180px){.tx-partwrap>.tx-sec{grid-template-columns:var(--tx-measure) 11rem;align-items:start;display:grid}.tx-sec>*{grid-column:1}.tx-sec>.tx-note{color:var(--tx-ink-2);grid-column:2;padding-left:1.5rem;font-size:.875rem;line-height:1.4;margin:.3rem 0 0!important}.tx-sec>.tx-srcline.tx-note{word-spacing:-.05em;grid-row:1/span 2}.tx-sec>.tx-goal.tx-note{grid-row:3/span 2}}.tx-ul,.tx-ol{margin:0 0 1rem;padding:0;list-style:none}.tx-ul>li,.tx-ol>li{margin-bottom:.35rem;padding-left:1.6rem;position:relative}.tx-ul>li:before{content:"";border-left:.5rem solid var(--tx-struct);border-block:.3rem solid #0000;position:absolute;top:.5em;left:.25rem}.tx-ol{counter-reset:tx-ol}.tx-ol>li{counter-increment:tx-ol;padding-left:2.1rem}.tx-ol>li:before{color:var(--tx-struct);font-variant-numeric:tabular-nums;position:absolute;left:0}.tx-ol-decimal>li:before{content:counter(tx-ol) "."}.tx-ol-alpha>li:before{content:"(" counter(tx-ol, lower-alpha) ")"}.tx-ol-roman>li:before{content:"(" counter(tx-ol, lower-roman) ")"}.tx-box{--tx-bc:var(--tx-struct);--tx-bt:var(--tx-tint-def);border:1px solid var(--tx-bc);margin:1.5rem 0}.tx-box-example{--tx-bc:var(--tx-gold);--tx-bt:var(--tx-tint-ex)}.tx-box-alert{--tx-bc:var(--tx-alert);--tx-bt:var(--tx-tint-alert)}.tx-box-head{background:var(--tx-bc);color:var(--tx-onband);padding:.3rem .85rem;font-size:1rem;font-weight:700;line-height:1.4;margin:0!important}.tx-box-body{background:var(--tx-bt);padding:.8rem .9rem .3rem}.tx-box-definition .tx-box-body{font-family:var(--tx-serif);font-size:1.0625rem}.tx-remark{border-left:2px solid var(--tx-hair);margin:1.5rem 0;padding-left:1rem}.tx-remark>:last-child,.tx-check>:last-child{margin-bottom:0}.tx-check{margin:1.5rem 0 0}.tx-check details{margin-top:.25rem}.tx-check summary{min-height:var(--tx-hit);cursor:pointer;color:var(--tx-struct);align-items:center;gap:.5rem;font-weight:700;list-style:none;display:inline-flex}.tx-check summary::-webkit-details-marker{display:none}.tx-check summary:before{content:"";border-left:.45rem solid;transition:transform .16s var(--tx-ease);border-block:.3rem solid #0000}.tx-check details[open]>summary:before{transform:rotate(90deg)}.tx-check details>:not(summary){border-left:2px solid var(--tx-struct);padding-left:1rem}.tx-fieldnote{border-left:3px solid var(--tx-gold);font-family:var(--tx-serif);margin:1.5rem 0;padding-left:1rem}.tx-fieldnote-head{font-family:var(--tx-mono);color:var(--tx-gold);font-size:.82rem;margin:0 0 .3rem!important}.tx-eq{font-family:var(--tx-serif);align-items:baseline;margin:1.25rem 0;font-size:1.15rem;display:flex}.tx-eq-body{text-align:center;flex:1}.tx-eq var{font-style:italic}.tx-draw .tx-k-num text{paint-order:stroke;stroke:var(--tx-paper);stroke-width:3px;stroke-linejoin:round}.tx-supk{font-size:.72em;line-height:0}.tx-supk var{font-style:italic}.tx-dag a{text-decoration:none}.tx-cite,.tx-term{position:relative}.tx-cite{white-space:nowrap;font-variant-numeric:tabular-nums;text-decoration:none!important}.tx-term{color:inherit!important;-webkit-text-decoration:underline dotted!important;text-decoration:underline dotted!important}.tx-cite[data-pop]:after,.tx-term[data-pop]:after{content:attr(data-pop);z-index:25;border:1px solid var(--tx-ink);background:var(--tx-paper);width:max-content;max-width:min(22rem,100cqw - 2rem);color:var(--tx-ink);font:400 .8rem/1.4 var(--tx-sans);white-space:pre-line;text-align:left;padding:.45rem .6rem;display:none;position:absolute;top:100%;left:0}.tx-cite[data-side=end]:after,.tx-term[data-side=end]:after{left:auto;right:0}@media (hover:hover){.tx-cite[data-pop]:hover:after,.tx-term[data-pop]:hover:after{display:block}}.tx-cite[data-pop]:focus-visible:after,.tx-term[data-pop]:focus-visible:after{display:block}.tx[data-nopop] :is(.tx-cite,.tx-term):after{display:none!important}.tx-tab{border-collapse:collapse;border-top:2px solid var(--tx-ink);border-bottom:2px solid var(--tx-ink);width:100%;margin:1.5rem 0;font-size:.94rem;line-height:1.45}.tx-tab caption{caption-side:top;text-align:left;color:var(--tx-ink-2);padding-bottom:.5rem}.tx-tab th{border-bottom:1px solid var(--tx-ink);text-align:left;padding:.45rem 1rem .4rem 0;font-weight:700}.tx-tab td{vertical-align:top;padding:.4rem 1rem .4rem 0}.tx-tab td:first-child{font-weight:700}.tx-tab td.tx-code{font-family:var(--tx-mono);overflow-wrap:anywhere;font-size:.92em;font-weight:400}.tx :is(p,li,dd,td) .tx-nb,.tx-tab td .tx-nb,.tx-nw{white-space:nowrap}.tx-tabstamp{color:var(--tx-muted)}.tx-tab.tx-wide{width:100%;width:100cqw;max-width:none;margin-inline:calc(50% - 50cqw)}@media (max-width:639.98px){.tx-tab:has(thead th:nth-child(3)){border-top:0;display:block}.tx-tab:has(thead th:nth-child(3)) caption{display:block}.tx-tab:has(thead th:nth-child(3)) thead{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tx-tab:has(thead th:nth-child(3)) :is(tbody,tr,td){display:block}.tx-tab:has(thead th:nth-child(3)) tbody{border-top:2px solid var(--tx-ink)}.tx-tab:has(thead th:nth-child(3)) tbody tr{border-top:1px solid var(--tx-hair);padding:.5rem 0 .45rem}.tx-tab:has(thead th:nth-child(3)) tbody tr:first-child{border-top:0}.tx-tab:has(thead th:nth-child(3)) td{padding:.1rem 0}.tx-tab:has(thead th:nth-child(3)) td:not(:first-child):before{content:attr(data-label);font-family:var(--tx-sans);color:var(--tx-muted);font-size:.8rem;font-weight:400;display:block}.tx-tab:has(thead th:nth-child(3)) td:empty{display:none}}.tx-tab tbody tr{transition:background-color .16s var(--tx-ease)}.tx-tab tbody tr:hover td{background:var(--tx-row)}.tx-fignum{font-weight:700;color:var(--tx-ink)!important;text-decoration:none!important}.tx-figslot{margin:2.5rem 0}.tx-fig{border-block:1px solid var(--tx-ink);flex-direction:column;margin:0;padding:1rem 0 1.1rem;display:flex}.tx-fig.tx-wide{width:100%;width:100cqw;margin-inline:calc(50% - 50cqw)}.tx-figframe{order:0}.tx-fig>figcaption{order:1}.tx-fig>.tx-steps{order:2}.tx-fig>figcaption,.tx-fig>.tx-steps,.tx-fig .tx-controls{width:100%;max-width:var(--tx-measure);margin-inline:auto}.tx-fig:target,.tx-refs>li:target{animation:tx-target 1.2s var(--tx-ease) 1}@keyframes tx-target{0%{outline:2px solid var(--tx-struct);outline-offset:4px}to{outline-offset:4px;outline:2px solid #0000}}.tx-draw svg{width:100%;height:auto;margin-inline:auto;display:block;overflow:visible}.tx-draw .tx-geo-l{max-width:50rem}.tx-draw .tx-geo-p{max-width:30rem;display:none}@media (max-width:719.98px){.tx-draw .tx-geo-l{display:none}.tx-draw .tx-geo-p{display:block}}.tx-fig:not([data-v0="0"]) .x0-0,.tx-fig:not([data-v0="1"]) .x0-1,.tx-fig:not([data-v0="2"]) .x0-2,.tx-fig:not([data-v0="3"]) .x0-3,.tx-fig:not([data-v1="0"]) .x1-0,.tx-fig:not([data-v1="1"]) .x1-1,.tx-fig:not([data-v1="2"]) .x1-2,.tx-fig:not([data-v1="3"]) .x1-3,.tx-fig:not([data-sw0="1"]) .w0-on,.tx-fig[data-sw0="1"] .w0-off,.tx-fig:not([data-sw1="1"]) .w1-on,.tx-fig[data-sw1="1"] .w1-off,.tx-fig:not([data-sw2="1"]) .w2-on,.tx-fig[data-sw2="1"] .w2-off,.tx-fig:not([data-sw3="1"]) .w3-on,.tx-fig[data-sw3="1"] .w3-off{display:none}.tx-fig .lyr{opacity:0;visibility:hidden;transition:opacity .24s var(--tx-ease), visibility .24s, transform .24s var(--tx-ease), stroke .16s var(--tx-ease), stroke-width .16s var(--tx-ease), fill .16s var(--tx-ease);transform:translateY(4px)}.tx-fig[data-step=kf] .kf,.tx-fig[data-step="0"] :is(.s0,.u0),.tx-fig[data-step="1"] :is(.s1,.u0,.u1),.tx-fig[data-step="2"] :is(.s2,.u0,.u1,.u2),.tx-fig[data-step="3"] :is(.s3,.u0,.u1,.u2,.u3),.tx-fig[data-step="4"] :is(.s4,.u0,.u1,.u2,.u3,.u4),.tx-fig[data-step="5"] :is(.s5,.u0,.u1,.u2,.u3,.u4,.u5),.tx-fig[data-step="6"] :is(.s6,.u0,.u1,.u2,.u3,.u4,.u5,.u6),.tx-fig[data-step="7"] :is(.s7,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7),.tx-fig[data-step="8"] :is(.s8,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7,.u8),.tx-fig[data-step="9"] :is(.s9,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7,.u8,.u9),.tx-fig[data-step="10"] :is(.s10,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7,.u8,.u9,.u10),.tx-fig[data-step="11"] :is(.s11,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7,.u8,.u9,.u10,.u11),.tx-fig[data-step="12"] :is(.s12,.u0,.u1,.u2,.u3,.u4,.u5,.u6,.u7,.u8,.u9,.u10,.u11,.u12){opacity:1;visibility:visible;transform:none}.tx-fig .tr,.tx-fig[data-step=kf] .tx-k-stub{display:none}.tx-fig[data-step="0"] .tr.s0,.tx-fig[data-step="1"] .tr.s1,.tx-fig[data-step="2"] .tr.s2,.tx-fig[data-step="3"] .tr.s3,.tx-fig[data-step="4"] .tr.s4,.tx-fig[data-step="5"] .tr.s5,.tx-fig[data-step="6"] .tr.s6,.tx-fig[data-step="7"] .tr.s7,.tx-fig[data-step="8"] .tr.s8,.tx-fig[data-step="9"] .tr.s9,.tx-fig[data-step="10"] .tr.s10,.tx-fig[data-step="11"] .tr.s11,.tx-fig[data-step="12"] .tr.s12{display:inline}:is(.tx-fig:has(>.tx-steps>li:first-child:is(:hover,:focus-within)) .tx-draw :is(.h0,.h0 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(2):is(:hover,:focus-within)) .tx-draw :is(.h1,.h1 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(3):is(:hover,:focus-within)) .tx-draw :is(.h2,.h2 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(4):is(:hover,:focus-within)) .tx-draw :is(.h3,.h3 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(5):is(:hover,:focus-within)) .tx-draw :is(.h4,.h4 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(6):is(:hover,:focus-within)) .tx-draw :is(.h5,.h5 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(7):is(:hover,:focus-within)) .tx-draw :is(.h6,.h6 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(8):is(:hover,:focus-within)) .tx-draw :is(.h7,.h7 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(9):is(:hover,:focus-within)) .tx-draw :is(.h8,.h8 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(10):is(:hover,:focus-within)) .tx-draw :is(.h9,.h9 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(11):is(:hover,:focus-within)) .tx-draw :is(.h10,.h10 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(12):is(:hover,:focus-within)) .tx-draw :is(.h11,.h11 :not(text,tspan,use)),.tx-fig:has(>.tx-steps>li:nth-child(13):is(:hover,:focus-within)) .tx-draw :is(.h12,.h12 :not(text,tspan,use))){stroke:var(--tx-struct);stroke-width:3px}:is(.tx-fig:has(.tx-draw .h0:hover)>.tx-steps>li:first-child,.tx-fig:has(.tx-draw .h1:hover)>.tx-steps>li:nth-child(2),.tx-fig:has(.tx-draw .h2:hover)>.tx-steps>li:nth-child(3),.tx-fig:has(.tx-draw .h3:hover)>.tx-steps>li:nth-child(4),.tx-fig:has(.tx-draw .h4:hover)>.tx-steps>li:nth-child(5),.tx-fig:has(.tx-draw .h5:hover)>.tx-steps>li:nth-child(6),.tx-fig:has(.tx-draw .h6:hover)>.tx-steps>li:nth-child(7),.tx-fig:has(.tx-draw .h7:hover)>.tx-steps>li:nth-child(8),.tx-fig:has(.tx-draw .h8:hover)>.tx-steps>li:nth-child(9),.tx-fig:has(.tx-draw .h9:hover)>.tx-steps>li:nth-child(10),.tx-fig:has(.tx-draw .h10:hover)>.tx-steps>li:nth-child(11),.tx-fig:has(.tx-draw .h11:hover)>.tx-steps>li:nth-child(12),.tx-fig:has(.tx-draw .h12:hover)>.tx-steps>li:nth-child(13)){background:var(--tx-row);border-left-color:var(--tx-struct)}.tx-fig:has(.tx-draw .hv:hover) .tx-draw .hv:not(:hover){opacity:.4}.tx-draw .hv{transition:opacity .16s var(--tx-ease)}.tx-fig[data-step=kf]:has(>.tx-steps>li:is(:hover,:focus-within)) .tx-draw .tx-k-kfl{opacity:0;visibility:hidden}:is(.tx-fig[data-step=kf]:has(>.tx-steps>li:first-child:is(:hover,:focus-within)) .tx-draw .lyr.s0,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(2):is(:hover,:focus-within)) .tx-draw .lyr.s1,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(3):is(:hover,:focus-within)) .tx-draw .lyr.s2,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(4):is(:hover,:focus-within)) .tx-draw .lyr.s3,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(5):is(:hover,:focus-within)) .tx-draw .lyr.s4,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(6):is(:hover,:focus-within)) .tx-draw .lyr.s5,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(7):is(:hover,:focus-within)) .tx-draw .lyr.s6,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(8):is(:hover,:focus-within)) .tx-draw .lyr.s7,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(9):is(:hover,:focus-within)) .tx-draw .lyr.s8,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(10):is(:hover,:focus-within)) .tx-draw .lyr.s9,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(11):is(:hover,:focus-within)) .tx-draw .lyr.s10,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(12):is(:hover,:focus-within)) .tx-draw .lyr.s11,.tx-fig[data-step=kf]:has(>.tx-steps>li:nth-child(13):is(:hover,:focus-within)) .tx-draw .lyr.s12){opacity:1;visibility:visible;transform:none}.tx-draw text{font-family:var(--tx-sans);fill:var(--tx-ink);stroke:none;font-size:13px}.tx-k-lab{fill:var(--tx-ink-2)!important}.tx-k-muted{fill:var(--tx-muted)!important}.tx-draw .tx-k-strong{fill:var(--tx-ink);font-size:15px;font-weight:700}.tx-draw .tx-k-code{font-family:var(--tx-mono);fill:var(--tx-ink);font-size:13px}.tx-draw .tx-k-tool{font-family:var(--tx-sans);fill:var(--tx-forest);font-weight:700}.tx-draw .tx-k-on{fill:var(--tx-on-forest)!important}.tx-draw .tx-k-gold{fill:var(--tx-gold)!important}.tx-draw .tx-k-alert{fill:var(--tx-alert)!important}.tx-draw .tx-k-ok{fill:var(--tx-forest)!important}.tx-k-frame{fill:none;stroke:var(--tx-ink-2);stroke-width:1.25px;stroke-dasharray:6 4}.tx-k-arc{fill:none;stroke:var(--tx-ink-2);stroke-width:1.5px}.tx-k-edge{fill:none;stroke:var(--tx-ink-2);stroke-width:1.25px}.tx-k-human{fill:none;stroke:var(--tx-gold);stroke-width:1.25px;stroke-dasharray:5 3}.tx-k-mark{fill:none;stroke:var(--tx-struct);stroke-width:3.5px}.tx-k-mark-gold{stroke:var(--tx-gold);stroke-width:2.5px;stroke-dasharray:none}.tx-k-model{fill:var(--tx-paper);stroke:var(--tx-struct);stroke-width:1.5px}.tx-k-env{fill:var(--tx-forest-fill)}.tx-k-you{fill:var(--tx-paper);stroke:var(--tx-gold);stroke-width:1.25px}.tx-k-icon-gold{color:var(--tx-gold)}.tx-k-icon-on{color:var(--tx-on-forest)}.tx-k-term{fill:var(--tx-paper);stroke:var(--tx-ink-2);stroke-width:1.25px}.tx-k-final{fill:none;stroke:var(--tx-struct);stroke-width:2.5px}.tx-k-gate{fill:var(--tx-paper);stroke:var(--tx-gold);stroke-width:1.5px}.tx-k-tick{fill:none;stroke:var(--tx-forest);stroke-width:2px;stroke-linecap:square}.tx-k-diff{fill:none;stroke:var(--tx-hair);stroke-width:1px}.tx-k-dash{stroke:var(--tx-ink);stroke-width:2px}.tx-k-strike{stroke:var(--tx-alert);stroke-width:1.5px}.tx-k-root{fill:none;stroke:var(--tx-ink-2);stroke-width:1.25px}.tx-k-goal{fill:var(--tx-gold)}.tx-k-mspan{fill:var(--tx-paper);stroke:var(--tx-struct);stroke-width:1.5px}.tx-k-tspan{fill:var(--tx-forest-fill)}.tx-k-err{stroke:var(--tx-alert);stroke-width:1.5px}.tx-k-appr{fill:var(--tx-paper);stroke:var(--tx-gold);stroke-width:2.5px}.tx-k-cur{fill:var(--tx-struct)}.tx-draw .tx-k-dag{font-size:10px;font-weight:400;fill:var(--tx-struct)!important}.tx-k-ghost{fill:none;stroke:var(--tx-hair);stroke-width:1px;stroke-dasharray:2 3}.tx-k-grid{fill:none;stroke:var(--tx-hair);stroke-width:1px;stroke-dasharray:1 3}.tx-k-axis{fill:none;stroke:var(--tx-ink-2);stroke-width:1px}.tx-k-flow{fill:none;stroke:var(--tx-forest);stroke-width:3px;stroke-dasharray:1;stroke-dashoffset:0;animation:tx-flow .9s var(--tx-ease) both}.tx-k-flow-gold{stroke:var(--tx-gold)}.tx-k-flow-struct{stroke:var(--tx-struct)}.tx-k-think{fill:none;stroke:var(--tx-struct);stroke-width:3.5px;animation:tx-think .9s var(--tx-ease) both}.tx-k-think.tx-k-after{animation-name:tx-on;animation-duration:.16s}.tx-k-gatemark{fill:none;stroke:var(--tx-gold);stroke-width:3px;animation:tx-on .16s var(--tx-ease) both}.tx-draw .d9{animation-delay:.9s}.tx-draw .d18{animation-delay:1.8s}@keyframes tx-flow{0%{stroke-dashoffset:1px}to{stroke-dashoffset:0}}@keyframes tx-think{0%{stroke-opacity:0}18%,70%{stroke-opacity:1}to{stroke-opacity:0}}@keyframes tx-on{0%{stroke-opacity:0}to{stroke-opacity:1}}.tx-controls{border-top:1px solid var(--tx-hair);flex-wrap:wrap;align-items:center;gap:.5rem 1rem;margin-top:.75rem;padding-top:.75rem;display:flex}.tx-controls[data-ready="0"]>:not(.tx-now){visibility:hidden}.tx-transport{flex-wrap:wrap;align-items:center;gap:.375rem;min-width:0;max-width:100%;display:flex}.tx-btn,.tx-seg button,.tx-switch{min-width:var(--tx-hit);min-height:var(--tx-hit);border:1px solid var(--tx-ink-2);background:var(--tx-paper);color:var(--tx-ink);font:inherit;cursor:pointer;border-radius:2px;font-size:.94rem}.tx-btn{width:var(--tx-hit);height:var(--tx-hit);place-items:center;padding:0;display:inline-grid}.tx-btn svg{fill:currentColor}.tx-btn[aria-disabled=true]{opacity:.4;cursor:default}.tx-btn:not([aria-disabled=true]):hover,.tx-seg button:hover,.tx-switch:hover{border-color:var(--tx-struct);color:var(--tx-struct)}.tx-count{font-variant-numeric:tabular-nums;min-width:0;color:var(--tx-ink-2);margin-left:.35rem;font-size:.94rem}.tx-scrub{min-width:8rem;height:var(--tx-hit);appearance:none;cursor:pointer;background:0 0;flex:9rem;margin:0}.tx-scrub::-webkit-slider-runnable-track{background:var(--tx-ink-2);height:2px}.tx-scrub::-moz-range-track{background:var(--tx-ink-2);height:2px}.tx-scrub::-webkit-slider-thumb{-webkit-appearance:none;border:1px solid var(--tx-ink);background:var(--tx-struct);border-radius:0;width:12px;height:22px;margin-top:-10px}.tx-scrub::-moz-range-thumb{border:1px solid var(--tx-ink);background:var(--tx-struct);border-radius:0;width:12px;height:22px}.tx-now{min-height:2.9em;color:var(--tx-ink);flex:100%;font-size:.94rem;line-height:1.45;margin:0!important}.tx-axes{flex-wrap:wrap;flex:100%;justify-content:space-between;gap:.5rem 1rem;display:flex}.tx-seg{align-items:center;display:inline-flex}.tx-seg-label{color:var(--tx-muted);margin-right:.45rem;font-size:.82rem}.tx-seg button{border-radius:0;padding:0 .8rem}.tx-switch{text-align:left;align-items:center;gap:.5rem;padding:0 .8rem 0 .65rem;display:inline-flex}.tx-switch:before{content:"";width:.95em;height:.95em;-webkit-mask:var(--tx-sw-off) center / contain no-repeat;-webkit-mask:var(--tx-sw-off) center / contain no-repeat;mask:var(--tx-sw-off) center / contain no-repeat;background:currentColor;flex:none}.tx-switch[aria-checked=true]:before{-webkit-mask-image:var(--tx-sw-on);-webkit-mask-image:var(--tx-sw-on);mask-image:var(--tx-sw-on)}.tx{--tx-sw-on:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Crect x='0.75' y='0.75' width='14.5' height='14.5' fill='none' stroke='%23000' stroke-width='1.5'/%3E%3Cpath d='M3.6 8.4l3 3 5.8-6.6' fill='none' stroke='%23000' stroke-width='2'/%3E%3C/svg%3E");--tx-sw-off:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Crect x='0.75' y='0.75' width='14.5' height='14.5' fill='none' stroke='%23000' stroke-width='1.5'/%3E%3Cpath d='M4 8h8' fill='none' stroke='%23000' stroke-width='2'/%3E%3C/svg%3E")}.tx-axes:not(:has(.tx-seg)){justify-content:flex-start;gap:.5rem}.tx-seg button+button{border-left:0}.tx-seg button[aria-checked=true],.tx-switch[aria-checked=true]{background:var(--tx-ink);color:var(--tx-paper);border-color:var(--tx-ink)}.dark .tx:not([data-paper=light]) :is(.tx-seg button,.tx-switch)[aria-checked=true]{background:var(--tx-band);color:var(--tx-ink);border-color:var(--tx-ink-2);border-bottom:2px solid var(--tx-struct)}@media (max-width:639.98px){.tx-now{order:1;min-height:2.9em}.tx-scrub{flex-basis:100%;order:2}.tx-axes{order:3;justify-content:flex-start;gap:.5rem}}@media (max-width:479.98px){.tx-seg .tx-seg-label{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.tx-seg button{padding:0 .6rem}.tx-switch{padding:0 .6rem 0 .5rem}.tx-axes:not(:has(.tx-seg)) .tx-switch{flex:calc(50% - .25rem);min-width:0;padding-block:.3rem;line-height:1.25}.tx-controls>.tx-seg-label{flex:100%}}@media (max-width:359.98px){.tx-transport{gap:.25rem}.tx-count{margin-left:.25rem}}.tx-steps,.tx-taskt{margin:0;padding:0;font-size:.94rem;line-height:1.45;list-style:none}.tx-fig>.tx-steps{border-top:1px solid var(--tx-hair);margin-top:1rem}.tx-steps>li,.tx-taskt>li{border-left:2px solid #0000;border-top:1px dotted var(--tx-hair);transition:background-color .16s var(--tx-ease), border-color .16s var(--tx-ease), color .16s var(--tx-ease);grid-template-columns:4.6rem minmax(0,1fr);grid-template-areas:"tid line""tid plain";column-gap:.6rem;padding:.35rem 0 .35rem .5rem;display:grid}.tx-steps>li:first-child,.tx-taskt>li:first-child{border-top:0}.tx-taskt>li{border-left:0;grid-template-columns:3.4rem minmax(0,1fr);padding-left:0}.tx-steps>li:hover{background:var(--tx-row)}.tx-steps>li[aria-current=step]{border-left-color:var(--tx-struct);background:var(--tx-row)}.tx-steps>li[data-future] :is(.tx-tid,.tx-line,.tx-plain,.tx-role){color:var(--tx-muted)}.tx-tid{font-family:var(--tx-mono);color:var(--tx-muted);font-variant-numeric:tabular-nums;grid-area:tid;font-size:.9em}.tx-line{grid-area:line}.tx-plain{color:var(--tx-ink-2);grid-area:plain}.tx-role{font-family:var(--tx-serif);letter-spacing:.04em;margin-right:.4rem;font-size:1.02em;font-variant-caps:small-caps}.tx-role-user{color:var(--tx-gold)}.tx-role-harness{color:var(--tx-ink-2)}.tx-role-call{color:var(--tx-forest)}.tx-role-result{color:var(--tx-struct)}.tx-role-stop{color:var(--tx-ink)}@media (max-width:479.98px){.tx-steps>li,.tx-taskt>li{display:block}.tx-steps .tx-tid,.tx-taskt .tx-tid{margin-right:.5rem}.tx-steps .tx-plain,.tx-taskt .tx-plain{display:block}}.tx-fig>figcaption{color:var(--tx-ink-2);margin-top:.9rem;font-size:.94rem;line-height:1.45}.tx-figtitle{color:var(--tx-ink)}.tx-smallcap{font-family:var(--tx-serif);letter-spacing:.04em;color:var(--tx-ink);font-size:1.125rem;font-variant-caps:small-caps;font-weight:400;line-height:1.3;margin:0 0 .45rem!important}.tx>.tx-first{margin-top:1.75rem}.tx-abstract{font-family:var(--tx-serif);padding-inline:.5rem;font-size:1.0625rem;line-height:1.55}.tx-abstract .tx-smallcap{text-align:center}.tx-abstract em{font-family:var(--tx-serif)}.tx-disclosure{color:var(--tx-ink-2);font-size:.94rem;line-height:1.45}.tx-paths{border-top:1px solid var(--tx-hair);margin-top:1.25rem;padding-top:.75rem}.tx-paths .tx-ul,.tx-howto .tx-ul{margin-bottom:0;font-size:.94rem;line-height:1.45}.tx-first-b{margin-top:1.75rem}.tx-changes>ol,ol.tx-changes{border-top:1px solid var(--tx-ink);border-bottom:1px solid var(--tx-ink);margin:0;padding:0;font-size:.94rem;line-height:1.45;list-style:none}.tx-changes>ol>li,ol.tx-changes>li{border-top:1px solid var(--tx-hair);padding:.42rem 0}.tx-changes>ol>li:first-child,ol.tx-changes>li:first-child{border-top:0}.tx-changes time{font-variant-numeric:tabular-nums;color:var(--tx-ink);margin-right:.35em;font-weight:700}.tx-chg-to{white-space:nowrap;text-decoration:none!important}.tx-chg-to:hover{text-decoration:underline!important}@media (min-width:640px){.tx-abstract{padding-inline:1.25rem}}@media (min-width:1024px){.tx>.tx-first{grid-template-columns:minmax(0,1.12fr) minmax(0,1fr);max-width:none;display:grid}.tx-first-a{padding-right:2rem}.tx-first-b{border-left:1px solid var(--tx-hair);margin-top:0;padding-left:2rem}}.tx-front{margin-top:2rem}.tx-taskt-front{margin-top:1.5rem}.tx-case{border-top:3px double var(--tx-ink);border-bottom:3px double var(--tx-ink);margin-top:2.5rem;padding:.75rem 0 .35rem}.tx-case>p:last-child{margin-bottom:.5rem}.tx-case-head{font-family:var(--tx-mono);color:var(--tx-ink-2);font-size:.85rem;margin:0 0 .25rem!important}.tx-case-title{font-family:var(--tx-serif-b);margin:0 0 .6rem;font-size:1.25rem;font-weight:700;line-height:1.3}.tx-case:target{animation:tx-target 1.2s var(--tx-ease) 1}.tx-appno{font-family:var(--tx-serif);letter-spacing:.05em;color:var(--tx-struct);font-size:1.05rem;font-variant-caps:small-caps;margin:0 0 .1rem!important}.tx-timeline,.tx-changelog{margin:0 0 1rem;padding:0;font-size:.94rem;line-height:1.45;list-style:none}.tx-timeline>li{border-top:1px dotted var(--tx-hair);grid-template-columns:8rem minmax(0,1fr);grid-template-areas:"when tags""when text";column-gap:.85rem;padding:.42rem 0;display:grid}.tx-timeline>li:first-child{border-top:0}.tx-timeline time{font-variant-numeric:tabular-nums;color:var(--tx-ink-2);grid-area:when}.tx-tl-tags{font-family:var(--tx-serif);letter-spacing:.04em;color:var(--tx-muted);grid-area:tags;font-variant-caps:small-caps}.tx-tl-t{grid-area:text}.tx-gloss{grid-template-columns:11rem minmax(0,1fr);margin:0;font-size:.94rem;line-height:1.45;display:grid}.tx-gloss dt,.tx-gloss dd{border-top:1px dotted var(--tx-hair);margin:0;padding:.45rem 0}.tx-gloss dt{padding-right:1rem;font-weight:700}.tx-gloss dt:first-of-type,.tx-gloss dt:first-of-type+dd{border-top:0}.tx-gloss dt:target{animation:tx-target 1.2s var(--tx-ease) 1}.tx-changelog>li{border-top:1px dotted var(--tx-hair);grid-template-columns:9.5rem minmax(0,1fr);column-gap:.85rem;padding:.35rem 0;display:grid}.tx-changelog time{color:var(--tx-ink-2)}@media (max-width:639.98px){.tx-timeline>li,.tx-changelog>li{display:block}.tx-timeline time,.tx-changelog time{margin-right:.5rem;font-weight:700}.tx-tl-tags{display:inline}.tx-tl-t,.tx-gloss{display:block}.tx-gloss dt{padding-bottom:.1rem}.tx-gloss dd{border-top:0;padding-top:0}}.tx-refs{margin:0;padding:0;font-size:.94rem;line-height:1.5;list-style:none}.tx-refs>li{grid-template-columns:2.7rem minmax(0,1fr);margin-bottom:.7rem;display:grid}.tx-refn{color:var(--tx-ink-2);font-variant-numeric:tabular-nums}.tx-reftitle{color:var(--tx-ink)}.tx-url{font-family:var(--tx-mono);overflow-wrap:anywhere;font-size:.88em;color:var(--tx-ink-2)!important}.tx-refmeta{color:var(--tx-muted)}.tx-kind{font-style:italic;font-family:var(--tx-sans-i)}.tx-back .tx-goal{margin-bottom:1rem!important}@media (forced-colors:active){.tx-seg button[aria-checked=true],.tx-switch[aria-checked=true]{forced-color-adjust:none;color:highlighttext;background:highlight;border-color:highlight}.tx-switch:before{forced-color-adjust:none;background:buttontext}.tx-switch[aria-checked=true]:before{background:highlighttext}.tx-steps>li[aria-current=step]{border-left-color:highlight}.tx-dot.is-cur:before{background:highlight}}@media (prefers-reduced-motion:reduce){.tx *,.tx :before,.tx :after{transition:none!important;animation:none!important}}@media print{.dark .tx{--tx-paper:#fff;--tx-ink:#1b2437;--tx-ink-2:#4a5363;--tx-muted:#5f6773;--tx-hair:#747d8b;--tx-struct:#2860d0;--tx-forest:#2f6b5e;--tx-forest-fill:#2f6b5e;--tx-on-forest:#fff;--tx-alert:#b3261e;--tx-gold:#8a6423;--tx-band:#1b2437;--tx-bar:#0f141e;--tx-band-text:#fff;--tx-onband:#fff;--tx-foot-c:#e8effc;--tx-tint-def:#e8effc;--tx-tint-ex:#f4ecd8;--tx-tint-alert:#f9ecec}.tx{font-size:11pt;overflow:visible}.tx>.tx-bar,.tx-controls,.tx-live,.tx-crumbs{display:none!important}.tx-fig .lyr{opacity:0!important;visibility:hidden!important}.tx-fig .lyr.kf{opacity:1!important;visibility:visible!important;transform:none!important}.tx-fig .tr,.tx-fig .tx-geo-p,.tx-fig :is(.x0-1,.x0-2,.x0-3,.x1-1,.x1-2,.x1-3){display:none!important}.tx-fig .tx-geo-l:is(.x0-0,:not([class*=x0-])){display:block!important}.tx-check details>:not(summary){display:block}.tx-part{break-before:page}.tx-fig,.tx-box,.tx-tab,.tx-remark,.tx-case,.tx-changes,.tx-refs>li{break-inside:avoid}.tx-app{break-before:page}.tx a{color:inherit!important}}
@font-face{font-family:sans;src:url(../media/cmu_sans_serif_500_roman-s.p.1bkeb4602yw41.woff2)format("woff2");font-display:swap;font-weight:400;font-style:normal}@font-face{font-family:sans;src:url(../media/cmu_sans_serif_700_roman-s.p.1nsonzot52rd0.woff2)format("woff2");font-display:swap;font-weight:700;font-style:normal}@font-face{font-family:sans Fallback;src:local(Arial);ascent-override:95.25%;descent-override:26.46%;line-gap-override:21.17%;size-adjust:94.49%}.sans_d01959af-module__E0MaiG__className{font-family:sans,sans Fallback}.sans_d01959af-module__E0MaiG__variable{--tx-f-sans:"sans", "sans Fallback"}
@font-face{font-family:sansItalic;src:url(../media/cmu_sans_serif_500_italic-s.0gxqzypeypbsh.woff2)format("woff2");font-display:swap;font-weight:400;font-style:italic}@font-face{font-family:sansItalic Fallback;src:local(Arial);ascent-override:95.25%;descent-override:26.46%;line-gap-override:21.17%;size-adjust:94.49%}.sansitalic_affdd50b-module__-03iUa__className{font-family:sansItalic,sansItalic Fallback}.sansitalic_affdd50b-module__-03iUa__variable{--tx-f-sans-i:"sansItalic", "sansItalic Fallback"}
@font-face{font-family:serifBold;src:url(../media/cmu_serif_700_roman-s.p.3iatzq7x8h-hb.woff2)format("woff2");font-display:swap;font-weight:700;font-style:normal}@font-face{font-family:serifBold Fallback;src:local(Times New Roman);ascent-override:74.64%;descent-override:24.54%;line-gap-override:15.93%;size-adjust:125.53%}.serifbold_b6351295-module__PBsRsW__className{font-family:serifBold,serifBold Fallback}.serifbold_b6351295-module__PBsRsW__variable{--tx-f-serif-b:"serifBold", "serifBold Fallback"}
@font-face{font-family:"serif";src:url(../media/cmu_serif_500_roman-s.2u48qtkdwg06d.woff2)format("woff2");font-display:swap;font-weight:400;font-style:normal}@font-face{font-family:"serif";src:url(../media/cmu_serif_500_italic-s.2k8tn87pug496.woff2)format("woff2");font-display:swap;font-weight:400;font-style:italic}@font-face{font-family:serif Fallback;src:local(Times New Roman);ascent-override:85.91%;descent-override:22.97%;line-gap-override:18.38%;size-adjust:108.84%}.serif_bb1b9696-module__pMzSMa__className{font-family:"serif",serif Fallback}.serif_bb1b9696-module__pMzSMa__variable{--tx-f-serif:"serif", "serif Fallback"}
@font-face{font-family:mono;src:url(../media/cmu_typewriter_text_500_roman.1uczg5wvm26pd.woff2)format("woff2");font-display:swap;font-weight:400;font-style:normal}.mono_28308e96-module__TZqe1a__className{font-family:mono}.mono_28308e96-module__TZqe1a__variable{--tx-f-mono:"mono"}