.art-dateline{margin:0.4rem 0 1.6rem}.nb{white-space:nowrap}.art-prose>p,.art-prose>ul,.art-prose>ol,.art-prose>blockquote{max-width:var(--measure)}.art-prose>:first-child{margin-top:0.2rem}.art-prose h3{margin:1.8rem 0 0.4rem;font-size:1.05rem;font-weight:600;letter-spacing:-0.01em;line-height:1.35;max-width:var(--measure)}.art-prose>ul,.art-prose>ol{padding-left:1.4rem}.art-prose li{margin-block:0.3em}.art-prose li::marker{color:var(--muted)}.art-prose ol{font-variant-numeric:tabular-nums}.art-prose blockquote{margin:1.4rem 0;padding:0.1rem 0 0.1rem 1.25rem;border-left:1px solid var(--line);color:var(--muted)}.art-prose blockquote p{margin-block:0.4em}.art-prose:not(pre)>code{background:color-mix(in srgb,var(--fg) 8%,transparent);padding:0.08em 0.3em;font-size:0.875em}.art-prose pre{position:relative;margin:1.4rem 0;padding:0.9rem 1.1rem;border:1px solid var(--line);font-family:var(--mono);font-size:0.85rem;line-height:1.6;overflow-x:auto}.art-prose pre code{font-size:1em}.code-copy{position:absolute;top:0;right:0;padding:0.3rem 0.6rem;background:var(--bg);border:none;border-left:1px solid var(--line);border-bottom:1px solid var(--line);cursor:pointer;font-family:var(--mono);font-size:0.68rem;letter-spacing:0.06em;color:var(--muted)}.code-copy:hover,.code-copy:focus-visible,.code-copy.done{color:var(--accent)}.tok-c{color:var(--muted)}.tok-s{color:color-mix(in srgb,var(--accent) 80%,var(--fg))}.art-prose a>code{color:inherit}.art-table-wrap{margin:1.5rem 0;overflow-x:auto}.art-table{border-collapse:collapse;font-size:0.95rem;font-variant-numeric:tabular-nums}.art-table thead th{padding:0 1.4em 0.45em 0;font-family:var(--mono);font-size:0.72rem;font-weight:400;letter-spacing:0.06em;text-transform:uppercase;color:var(--muted);text-align:left;border-bottom:1px solid var(--line)}.art-table td,.art-table tbody th{padding:0.4em 1.4em 0.4em 0;text-align:left;vertical-align:baseline;border-bottom:1px solid var(--line)}.art-table tbody th{font-weight:600}.art-table thead th:last-child,.art-table td:last-child{padding-right:0}.art-table .num,.art-table thead th.num{text-align:right}.art-table tbody tr:last-child td,.art-table tbody tr:last-child th{border-bottom:0}.math-block{margin:1.5rem 0;max-width:var(--measure);padding:0.9rem 1.25rem;border:1px solid var(--line);overflow-x:auto}.math-block math.tml-display{margin-block:0.35rem}.math-split{text-align:center}.math-block .math-split>math{display:inline-flex;width:auto;math-style:normal}.math-read{margin:0.5rem 0 0.1rem;font-family:var(--mono);font-size:0.72rem;letter-spacing:0.04em;color:var(--muted);text-align:center}.math-read math{font-size:0.95rem}.math-block__label{margin:0 0 0.4rem;font-family:var(--mono);font-size:0.68rem;letter-spacing:0.08em;text-transform:uppercase;color:var(--muted)}.art-fig{margin:1.5rem 0;max-width:var(--measure)}.art-fig .fig-cap{display:block;margin-top:0.5rem;text-align:center}.art-fig>svg,.art-fig>table{margin-inline:auto}.art-fig .lattice-svg{display:block;width:220px;margin-left:auto}.mth{white-space:nowrap}.art-interactive-slot{margin:1.5rem 0;padding:1rem 1.25rem;border:1px dashed var(--line);min-height:14rem;display:grid;place-content:center;font-family:var(--mono);font-size:0.72rem;letter-spacing:0.06em;color:var(--muted);text-align:center}.toc{list-style:none;margin:0;padding:0;font-family:var(--mono);font-size:0.78rem}.toc li{padding-block:0.16rem}.toc a{color:var(--muted);text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--accent) 45%,transparent);text-underline-offset:3px}.toc a:hover,.toc a:focus-visible{color:var(--accent);text-decoration-color:var(--accent)}section[id]{scroll-margin-top:0.75rem}.co-sec__label a{color:inherit;text-decoration:none}.co-sec__label a:hover,.co-sec__label a:focus-visible{text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--accent) 45%,transparent);text-underline-offset:3px}.art-anchor{margin-left:0.4em;font-family:var(--mono);font-size:0.85em;font-weight:400;color:var(--muted);text-decoration:none;opacity:0;transition:opacity 0.2s ease}.art-prose h3:hover .art-anchor,.art-anchor:focus-visible{opacity:1}.art-anchor:hover{color:var(--accent)}.fn-ref{line-height:0}.fn-ref a{font-family:var(--mono);font-size:0.7em;text-decoration:none;color:var(--accent)}.fn-ref a:hover,.fn-ref a:focus-visible{text-decoration:underline;text-underline-offset:2px}.fn-list{margin:0;padding-left:1.1rem;font-size:0.9rem;color:var(--muted);max-width:var(--measure)}.fn-list li{margin-block:0.5em}.fn-list li::marker{font-family:var(--mono);font-size:0.8em;color:var(--accent)}.fn-back{font-family:var(--mono);font-size:0.85em;text-decoration:none}.src-note{margin:0.15rem 0 0;max-width:33em;color:var(--muted);font-size:0.95rem}.art-write-in{margin-top:1.6rem;color:var(--muted);max-width:var(--measure)}math{font-family:"Cambria Math","STIX Two Math",'STIXTwoMath-Regular',"Noto Sans Math",'NotoSansMath-Regular',math;font-style:normal;font-weight:normal;line-height:normal;font-size-adjust:none;text-indent:0;text-transform:none;letter-spacing:normal;word-wrap:normal;direction:ltr;font-feature-settings:"dtls" off}math *{border-color:currentColor}math.tml-display{display:block;width:100%}mfrac>:nth-child(2),msqrt,mover>:first-child{math-shift:compact}menclose{-webkit-print-color-adjust:exact;print-color-adjust:exact}@supports (not (-moz-appearance:none)){.tml-sml-pad{padding-left:0.05em}.tml-med-pad{padding-left:0.10em}.tml-lrg-pad{padding-left:0.15em}}@supports (not (-webkit-backdrop-filter:blur(1px))) and (not (-moz-appearance:none)){menclose{position:relative;padding:0.5ex 0ex}.tml-underline{padding:0 0 0.1em 0;border-bottom:0.065em solid}}math{display:inline-flex;flex-wrap:wrap;align-items:baseline}math>mrow{padding:0.5ex 0ex}@-moz-document url-prefix(){math{display:inline}math>mrow{padding:0}}.art-fig{margin:1.8rem 0}.fig-cap{font-family:var(--mono);font-size:0.72rem;color:var(--muted);letter-spacing:0.03em;margin-top:0.7rem}.fig-scroll{overflow-x:auto}.art-fig .ctx-table{margin-inline:auto}@media (max-width:560px){.fig-scroll{margin-inline:-1.25rem}.fig-scroll:focus-visible{outline-offset:-2px}.fig-scroll:focus-visible tbody th,.fig-scroll:focus-visible thead th:first-child{background:linear-gradient(var(--bg),var(--bg)) no-repeat 2px 0 / calc(100% - 2px) 100%}.fig-scroll:focus-visible thead th:first-child{background-position:2px 2px;background-size:calc(100% - 2px) calc(100% - 2px)}.fig-scroll:focus-visible tbody tr:last-child th{background-size:calc(100% - 2px) calc(100% - 2px)}}.fig-scroll tbody th,.fig-scroll thead th:first-child{position:sticky;left:0;z-index:1;background:var(--bg)}@property --fade-l{syntax:"<length>";inherits:false;initial-value:0px}@property --fade-r{syntax:"<length>";inherits:false;initial-value:0px}@property --edge{syntax:"<number>";inherits:false;initial-value:0}@supports (animation-timeline:scroll()){@keyframes scroll-fade{0%{--fade-l:0px;--fade-r:1.5rem}15%{--fade-l:1.5rem}85%{--fade-r:1.5rem}100%{--fade-l:1.5rem;--fade-r:0px}}@keyframes scroll-fade-r{0%,85%{--fade-r:1.5rem}100%{--fade-r:0px}}@keyframes scroll-edge{0%{--edge:0}15%,100%{--edge:1}}.math-block{animation:scroll-fade linear both;animation-timeline:scroll(self inline);mask-image:linear-gradient(to right,transparent 0,#000 var(--fade-l),#000 calc(100% - var(--fade-r)),transparent 100%)}.fig-scroll{animation:scroll-fade-r linear both;animation-timeline:scroll(self inline);mask-image:linear-gradient(to right,#000 calc(100% - var(--fade-r)),transparent 100%)}.fig-scroll:focus-visible,.math-block:focus-visible{mask-image:none}.fig-scroll tbody th::after,.fig-scroll thead th:first-child::after{content:"";position:absolute;inset-block:0;left:100%;width:1.25rem;background:linear-gradient(to right,var(--bg),transparent);pointer-events:none;opacity:var(--edge);animation:scroll-edge linear both;animation-timeline:scroll(nearest inline)}}.ctx-table tbody tr.lit th{color:var(--fg);font-weight:600}.ctx-table td.in-block{color:var(--accent);background:var(--wash-cell-on);font-weight:600}.ctx-table.seeded tbody tr:not(.lit) td.on{color:var(--muted);background:none;font-weight:400}.ctx-table.seeded tbody tr.lit td.on:not(.in-block){color:var(--muted);background:none;font-weight:400}.fca-live .ctx-table tbody td[role="button"]{cursor:pointer}.fca-live .ctx-table tbody td[role="button"]:hover,.fca-live .ctx-table tbody td[role="checkbox"]:hover{background:var(--wash-cell)}:root.has-js .art-fig--read .ctx-table td{cursor:default}.fig-steps{list-style:none;margin:1.2rem 0 0;padding:0;display:grid;gap:0.35rem 0.9rem}.fig-steps__row{display:grid;grid-template-columns:max-content auto 1fr;align-items:baseline;gap:0.9rem}.fig-steps__row.is-dim .s-label,.fig-steps__row.is-dim .s-text{opacity:0.5}.s-label{font-family:var(--mono);font-size:0.72rem;letter-spacing:0.06em;color:var(--muted);white-space:nowrap}.s-text{font-size:0.94rem}.fig-step{font-family:var(--mono);font-size:0.7rem;letter-spacing:0.04em;color:var(--accent);background:none;border:1px solid var(--line);padding:0.3rem 0.65rem;cursor:pointer;justify-self:start;white-space:nowrap}.fig-step:hover{border-color:var(--accent)}@media (min-width:561px){.fig-steps__row .fig-step{grid-column:3;grid-row:1}.fig-steps__row .fig-step[hidden]{display:block;visibility:hidden}}@media (max-width:560px){.fig-steps__row{grid-template-columns:1fr;gap:0.1rem}}.fca-again{display:inline-block;margin-top:1rem}.fca-again:hover{border-color:var(--accent)}.fca-again[hidden]{display:none}.art-fig .lattice-svg{display:block;width:100%;max-width:30rem;margin:1.4rem auto 0}.art-fig .lattice-svg .edges{stroke-width:1.1}.art-fig .lattice-svg .labels text{stroke-width:3.4}.art-fig--dense .lattice-svg .edges{stroke-width:0.5}.art-fig--dense .lattice-svg .nodes circle{r:2.2}.art-fig--dense .lattice-svg .nodes circle.is-read{r:3.6}.lattice-svg .nodes circle:focus{outline:none}.lattice-svg .nodes circle:focus-visible{stroke:var(--fg);stroke-width:1.4}.lattice-svg .nodes circle.is-read{r:5.2}.lattice-svg .edges line{transition:opacity 0.2s ease}.lattice-svg .nodes circle{transition:r 0.2s ease,opacity 0.2s ease}.lattice-svg .is-out{opacity:0;pointer-events:none}.fca-count{font-family:var(--mono);font-size:0.72rem;letter-spacing:0.03em;color:var(--muted);margin:0.8rem 0 0;text-align:center;font-variant-numeric:tabular-nums}.fca-slider{display:grid;grid-template-columns:8.5rem 1fr 8.5rem;align-items:center;gap:0.9rem;max-width:30rem;margin:1.4rem auto 0}.fca-slider input[type="range"]{width:100%;accent-color:var(--accent)}.s-value{font-family:var(--mono);font-size:0.7rem;letter-spacing:0.03em;color:var(--muted);margin:0;white-space:nowrap;font-variant-numeric:tabular-nums}@media (max-width:560px){.fca-slider{grid-template-columns:1fr auto;gap:0.3rem 0.6rem}.fca-slider input[type="range"]{grid-column:1 / -1;order:2}.s-value{text-align:right}}.ctx-table th,.ctx-table td{transition:opacity 0.2s ease}.ctx-table .no-support{opacity:0.2}:root.has-js .static-only{display:none}.fca-pair{display:grid;grid-template-columns:1fr 1fr;gap:1.4rem;align-items:start;margin-top:0.6rem}.fca-live .fca-pair{grid-template-columns:1fr}@media (max-width:560px){.fca-pair{grid-template-columns:1fr}}.concept{display:grid;grid-template-columns:7.5rem 1fr;gap:0.7rem 1.1rem;margin:1.4rem 0 0;padding-top:1.1rem;border-top:1px solid var(--line)}.concept[hidden]{display:none}.concept:focus{outline:none}.c-key{display:flex;flex-direction:column;gap:0.1rem}.c-label{font-family:var(--mono);font-size:0.72rem;letter-spacing:0.06em;color:var(--fg);margin:0.14rem 0 0;white-space:nowrap}.c-gloss{font-family:var(--mono);font-size:0.65rem;letter-spacing:0.04em;color:var(--muted);margin:0;white-space:nowrap}.c-val{margin:0;font-size:0.97rem;line-height:1.5}.c-read{grid-column:1 / -1;font-family:var(--mono);font-size:0.72rem;line-height:1.6;color:var(--muted);margin:0.2rem 0 0}@media (max-width:560px){.concept{grid-template-columns:1fr;gap:0.2rem}.c-key{flex-direction:row;gap:0.5rem;align-items:baseline}.c-val{margin-bottom:0.6rem}}