.tx.attn .katex{color:var(--tx-ink);font-size:1.04em}.tx.attn .katex-display{margin:0}.tx.attn .katex-display>.katex{font-size:1.08em}.tx.attn .tx-eq{gap:1rem;padding-block:.1rem;overflow:auto hidden}.tx.attn .tx-eqno{font-family:var(--tx-serif);font-variant-numeric:tabular-nums;color:var(--tx-ink-2);flex:none}.tx.attn .tx-eq:target{background:var(--tx-row)}.tx.attn .attn-steps{counter-reset:attn-step;margin:0 0 1.25rem;padding:0;list-style:none}.tx.attn .attn-steps>li{counter-increment:attn-step;border-top:1px dotted var(--tx-hair);margin:0;padding:.55rem 0 .55rem 3rem;position:relative}.tx.attn .attn-steps>li:first-child{border-top:0}.tx.attn .attn-steps>li:before{content:counter(attn-step);border:1px solid var(--tx-struct);width:2rem;height:2rem;font-family:var(--tx-serif-b);color:var(--tx-struct);border-radius:50%;place-items:center;font-size:.95rem;font-weight:700;display:grid;position:absolute;top:.5rem;left:.1rem}.tx.attn .attn-steps>li>b:first-child{font-family:var(--tx-sans)}.tx.attn .attn-steps p{margin:.25rem 0 0}.tx.attn .attn-code{border-block:1px solid var(--tx-ink);background:var(--tx-row);font-family:var(--tx-mono);white-space:pre;tab-size:4;margin:1.25rem 0;padding:.9rem 1rem;font-size:.9rem;line-height:1.45;overflow-x:auto}.tx.attn .attn-code .c{color:var(--tx-muted)}.tx.attn .attn-code .k{color:var(--tx-struct);font-weight:700}.tx.attn .attn-num td,.tx.attn .attn-num th{font-variant-numeric:tabular-nums;text-align:right;padding-left:1rem;padding-right:0}.tx.attn .attn-num td:first-child,.tx.attn .attn-num th:first-child{text-align:left;padding-left:0}.tx.attn .attn-num td.hi{color:var(--tx-struct);font-weight:700}.tx.attn .attn-num td.hi:after{content:" ◂";font-size:.8em}.tx.attn .tx-fig svg{width:100%;max-width:36rem;height:auto;margin:0 auto;display:block;overflow:visible}.tx.attn .tx-fig figcaption{color:var(--tx-ink-2);margin-top:.75rem;font-size:.94rem;line-height:1.45}.tx.attn .tx-fig figcaption b{color:var(--tx-ink)}.tx.attn .af-axis{stroke:var(--tx-ink);stroke-width:1.2px;fill:none}.tx.attn .af-grid{stroke:var(--tx-hair);stroke-width:.6px;stroke-dasharray:2 3;fill:none}.tx.attn .af-vec{stroke:var(--tx-ink);stroke-width:2px;fill:none}.tx.attn .af-vec-acc{stroke:var(--tx-struct);stroke-width:2.4px;fill:none}.tx.attn .af-vec-gold{stroke:var(--tx-gold);stroke-width:2.4px;fill:none;stroke-dasharray:5 4}.tx.attn .af-lab{font-family:var(--tx-sans);fill:var(--tx-ink);font-size:13px}.tx.attn .af-lab-i{font-family:var(--tx-serif);fill:var(--tx-ink-2);font-size:13px;font-style:italic}.tx.attn .af-lab-acc{font-family:var(--tx-sans);fill:var(--tx-struct);font-size:13px;font-weight:700}.tx.attn .af-lab-gold{font-family:var(--tx-sans);fill:var(--tx-gold);font-size:13px;font-weight:700}.tx.attn .af-mono{font-family:var(--tx-mono);fill:var(--tx-ink);font-size:12px}.tx.attn .af-box{fill:var(--tx-paper);stroke:var(--tx-ink);stroke-width:1.2px}.tx.attn .af-box-acc{fill:var(--tx-tint-def);stroke:var(--tx-struct);stroke-width:1.2px}.tx.attn .af-box-gold{fill:var(--tx-tint-ex);stroke:var(--tx-gold);stroke-width:1.2px}.tx.attn .af-box-alert{fill:var(--tx-tint-alert);stroke:var(--tx-alert);stroke-width:1.2px}.tx.attn .af-arrow{stroke:var(--tx-ink);stroke-width:1.3px;fill:none;marker-end:url(#af-head)}.tx.attn .af-arrow-acc{stroke:var(--tx-struct);stroke-width:1.6px;fill:none;marker-end:url(#af-head-acc)}.tx.attn .af-cell{stroke:var(--tx-paper);stroke-width:1.5px}.tx.attn .af-cell-t{font-family:var(--tx-mono);text-anchor:middle;font-size:12px}.tx.attn .af-curve{fill:none;stroke-width:2px}.tx.attn .attn-gloss dt{margin-top:.6rem;font-weight:700}.tx.attn .attn-gloss dd{color:var(--tx-ink-2);margin:.1rem 0 0;font-size:.97rem;line-height:1.5}.tx.attn .attn-refs{margin:0;padding:0 0 0 2rem;font-size:.97rem;line-height:1.5;list-style:decimal}.tx.attn .attn-refs li{margin-bottom:.45rem}@media (max-width:639.98px){.tx.attn .katex-display>.katex{font-size:.86em}.tx.attn .tx-eq{font-size:1.02rem}.tx.attn .attn-steps>li{padding-left:2.6rem}}