.tg{gap:12px;display:grid}.tg__bar{flex-wrap:wrap;align-items:center;gap:8px 16px;padding-inline:4px;display:flex}.tg__bar:empty,.tg__foot:empty{display:none}.tg__foot{gap:6px;padding-inline:4px;display:grid}.tg__group{border:0;align-items:center;gap:10px;min-width:0;margin:0;padding:0;display:inline-flex}.tg__group>legend,.tg__lab{float:left;font:700 .6875rem/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);margin:0;padding:0}.tg__seg{background:var(--paper-2);border-radius:999px;flex-wrap:wrap;gap:2px;padding:3px;display:inline-flex}.tg__seg label{cursor:pointer;display:inline-block;position:relative}.tg__seg input{opacity:0;cursor:pointer;width:100%;height:100%;margin:0;position:absolute;inset:0}.tg__seg span{font:600 .8125rem/1.2 var(--font-sans);color:var(--ink-2);white-space:nowrap;transition:background-color .18s var(--ease-out), color .18s var(--ease-out), box-shadow .18s var(--ease-out);border-radius:999px;padding:7px 14px;display:inline-block}.tg__seg input:checked+span{background:var(--surface);color:var(--ink);box-shadow:var(--lift-1)}.tg__seg input:focus-visible+span{outline:2px solid var(--structure-mark);outline-offset:2px}.tg__seg input:not(:checked):hover+span{color:var(--ink)}.ctl__btn[aria-pressed=true]{background:var(--ink);color:var(--surface)}.ctl__btn:focus-visible{outline:2px solid var(--structure-mark);outline-offset:2px}.ctl__btn[disabled]{opacity:.45;cursor:default}.tg__bar .ctl,.tg__foot .ctl{min-height:36px}.tg__bar .ctl--toggle{grid-template-columns:auto auto;gap:8px}.tg__bar .ctl{grid-template-columns:auto minmax(110px,180px) auto}.tg__bar .ctl--toggle{grid-template-columns:auto auto}.tg__num{border-radius:var(--r-s);border:1px solid var(--line-2);background:var(--surface);width:5.5em;min-height:34px;font:600 .8125rem var(--font-mono);color:var(--ink);padding:4px 8px}.tg__num:focus-visible{outline:2px solid var(--structure-mark);outline-offset:2px}.tg__read{font:400 .8125rem/1.65 var(--font-mono);color:var(--ink-2);font-variant-numeric:tabular-nums;min-height:var(--tg-read-h,0);overflow-wrap:anywhere}.tg__read b{color:var(--ink);font-weight:600}.tg__read .ok{color:var(--proof-text);font-weight:600}.tg__read .no{color:var(--refused-text);font-weight:600}.tg__read .wrong{color:var(--withdrawn-text);font-weight:600}.tg__read .base{color:var(--baseline-text);font-weight:600}.tg__read .dim{color:var(--ink-3)}.tg__read .sep{color:var(--line-2);padding-inline:.35em}.tg__note{font:400 .75rem/1.5 var(--font-sans);color:var(--ink-3)}.tg__chip{font:700 .75rem/1.3 var(--font-mono);letter-spacing:.02em;color:var(--ink);box-shadow:inset 0 0 0 1px var(--line-2);border-radius:999px;align-items:center;gap:8px;padding:4px 11px;display:inline-flex}.tg__chip--proof{background:var(--proof-wash);color:var(--proof-text);box-shadow:inset 0 0 0 1px var(--proof-mark)}.tg__chip--refused{background:var(--refused-hatch), var(--refused-wash);color:var(--refused-text);box-shadow:inset 0 0 0 1px var(--refused-mark)}.tg__chip--wrong{background:var(--withdrawn-wash);color:var(--withdrawn-text);box-shadow:inset 0 0 0 1px var(--withdrawn-mark)}.tg-tab{font:400 .8125rem/1.4 var(--font-mono);color:var(--ink-2);font-variant-numeric:tabular-nums;grid-template-columns:minmax(7.5em,auto) minmax(60px,1fr) auto;align-items:center;gap:7px 12px;display:grid}.tg-tab__h{font:700 .6875rem/1 var(--font-sans);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-3);grid-column:1/-1;margin-top:8px}.tg-tab__r{text-align:right;white-space:nowrap}.tg-tab b{color:var(--ink);font-weight:600}.tg-bar{background:var(--surface);height:14px;box-shadow:inset 0 0 0 1px var(--line-2);border-radius:4px;display:flex;overflow:hidden}.tg-bar>i{height:100%;display:block}.tg-bar .p{background:var(--proof-mark)}.tg-bar .b{background:var(--baseline-mark)}.tg-bar .w{background:var(--withdrawn-mark)}.tg-bar .h{background:var(--refused-hatch), var(--refused-wash)}.tg-bar .n{box-shadow:inset 0 0 0 1.5px var(--structure-mark)}@media (width<=520px){.tg-tab{grid-template-columns:1fr}.tg-tab__r{text-align:left}}.lbl.tg-g.tg-handle{background:color-mix(in srgb, var(--surface) 72%, transparent);box-shadow:inset 0 0 0 2.5px var(--structure-mark), 0 0 0 2px var(--surface);cursor:grab;min-width:22px;height:22px}.lbl.tg-g.tg-hit{box-shadow:none;color:#0000;background:0 0;border-radius:6px;min-width:0}.lbl.tg-g.tg-hit:hover{background:color-mix(in srgb, var(--structure-mark) 8%, transparent)}.tg-gl{background:var(--structure-text);width:18px;height:18px;color:var(--surface);font:700 .625rem/1 var(--font-mono);vertical-align:-4px;border-radius:50%;place-items:center;margin-inline:2px;display:inline-grid}.tg-gl[data-s=\-]{background:var(--surface);color:var(--structure-text);box-shadow:inset 0 0 0 2.5px var(--structure-text)}.tg-gl[data-s=\?]{background:var(--refused-hatch), var(--refused-wash);color:var(--refused-text);box-shadow:inset 0 0 0 1.5px var(--refused-mark);border-radius:5px}.lbl.tg-g{min-width:26px;height:26px;font:700 .6875rem/1 var(--font-mono);color:var(--surface);background:var(--structure-text);box-shadow:0 0 0 2px var(--surface), 0 1px 4px #28201440;cursor:pointer;user-select:none;-webkit-tap-highlight-color:transparent;transition:transform .18s var(--ease-out);border-radius:50%;place-items:center;display:grid}.lbl.tg-g:hover{transform-origin:50%}.lbl.tg-g[data-s=\-]{background:var(--surface);color:var(--structure-text);box-shadow:inset 0 0 0 2.5px var(--structure-text), 0 0 0 2px var(--surface)}.lbl.tg-g[data-s=\?]{background:var(--refused-hatch), var(--refused-wash);color:var(--refused-text);box-shadow:inset 0 0 0 1.5px var(--refused-mark), 0 0 0 2px var(--surface);border-radius:6px}.lbl.tg-g:focus-visible{outline:2px solid var(--structure-mark);outline-offset:3px}.lbl.tg-g.is-focus{outline:2px solid var(--parameter-mark);outline-offset:3px}@media (width<=520px){.tg__seg span{padding:7px 11px}.tg__bar{gap:8px 10px}}.sb-row{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;display:grid}@media (width<=719px){.sb-row{grid-template-columns:minmax(0,1fr)}}.sb-row>.stage{min-width:0}.sb-diffs{grid-template-columns:repeat(2,minmax(0,140px));gap:14px;margin-top:4px;display:grid}.sb-diffs figure{gap:4px;margin:0;display:grid}.sb-diffs canvas{aspect-ratio:1;width:100%;image-rendering:pixelated;box-shadow:inset 0 0 0 1px var(--line-2);background:var(--paper-2);border-radius:6px}.sb-diffs figcaption{font:400 .6875rem/1.4 var(--font-mono);color:var(--ink-3)}.sb-diffs figcaption b{color:var(--ink);font-weight:600}.yoc{grid-template-columns:minmax(0,480px) minmax(0,1fr);align-items:start;gap:16px 22px;display:grid}@media (width<=719px){.yoc{grid-template-columns:minmax(0,1fr)}}.yoc-card{background:var(--surface);box-shadow:inset 0 0 0 1px var(--line-2);font:400 .8125rem/1.55 var(--font-mono);color:var(--ink-2);border-radius:12px;gap:6px;padding:14px 16px;display:grid}.yoc-card--proof{background:color-mix(in srgb, var(--proof-wash) 55%, var(--surface));box-shadow:inset 0 0 0 2px var(--proof-mark)}.yoc-card--refused{box-shadow:inset 0 0 0 1.5px var(--refused-mark);background:linear-gradient(var(--surface), var(--surface)) padding-box;position:relative}.yoc-card--refused:before{content:"";background:var(--refused-hatch), var(--refused-wash);width:10px;box-shadow:inset 0 0 0 1px var(--refused-mark);border-radius:12px 0 0 12px;position:absolute;top:0;bottom:0;left:0}.yoc-card--refused>*{margin-left:8px}.yoc-card__head{color:var(--ink);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:4px 14px;font-size:.9375rem;display:flex}.yoc-card--proof .yoc-card__head b{color:var(--proof-text)}.yoc-card__row{overflow-wrap:anywhere;grid-template-columns:6.8em minmax(0,1fr);gap:8px;display:grid}.yoc-card__k{font:700 .6875rem/1.9 var(--font-sans);letter-spacing:.07em;text-transform:uppercase;color:var(--ink-3)}.yoc-card__conv{color:var(--ink-3);font-size:.75rem;line-height:1.5}.yoc-nl{height:40px;margin:6px 0 4px 7.6em;position:relative}.yoc-nl:before{content:"";background:var(--line-2);height:1px;position:absolute;top:18px;left:0;right:0}.yoc-nl i{background:var(--line-2);width:1px;height:9px;position:absolute;top:14px}.yoc-nl i u{text-align:center;width:2em;color:var(--ink-3);font-size:.6875rem;text-decoration:none;position:absolute;top:12px;left:-1em}.yoc-nl__bar{height:17px;box-shadow:inset 0 0 0 1.25px var(--ink);position:absolute;top:9px}.yoc-nl__bar.is-good{background:var(--proof-mark)}.yoc-nl__bar.is-hatch{background:var(--refused-hatch), var(--refused-wash)}.yoc-nl__zero{background:var(--ink);width:2px;height:31px;margin-left:-1px;position:absolute;top:2px}.cs-multi{grid-template-columns:repeat(4,minmax(0,1fr));gap:10px;display:grid}@media (width<=520px){.cs-multi{grid-template-columns:repeat(2,minmax(0,1fr))}}.cs-multi__p{background:var(--paper-2);border-radius:10px;justify-items:center;gap:4px;margin:0;padding:6px;display:grid}.cs-multi__p svg{width:72px;height:72px}.cs-multi__p figcaption{font:400 .6875rem/1.4 var(--font-mono);color:var(--ink-2);font-variant-numeric:tabular-nums;text-align:left;display:grid}.stage[data-stage=tangle\/occlusion-reader],.stage[data-stage=tangle\/occlusion-sweep]{container-type:inline-size}@container (width<=539px){.stage[data-stage=tangle\/occlusion-reader] .stage__box{--ar:3 / 4!important}.stage[data-stage=tangle\/occlusion-sweep] .stage__box{--ar:4 / 5!important}}#fig-occlusion .tg__group{flex-wrap:wrap;row-gap:6px}.lbl.occ-kept-chip{background:var(--surface);border-radius:4px;padding:1px 5px}.pbs[data-astro-cid-c7woehh6]{gap:.75rem;display:grid}.pbs__model[data-astro-cid-c7woehh6]{font:500 .875rem/1.4 var(--font-sans);color:var(--ink-2);border:0;flex-wrap:wrap;gap:.5rem 1.25rem;margin:0;padding:0;display:flex}.pbs__model[data-astro-cid-c7woehh6] legend[data-astro-cid-c7woehh6]{color:var(--ink);margin-bottom:.25rem;padding:0;font-weight:600}.pbs__model[data-astro-cid-c7woehh6] label[data-astro-cid-c7woehh6]{cursor:pointer;align-items:center;gap:.4rem;display:inline-flex}.pbs__read[data-astro-cid-c7woehh6]{min-height:3.2em;font:400 .8125rem/1.5 var(--font-mono);color:var(--ink-2);margin:0}.pbs__read[data-astro-cid-c7woehh6] span[data-astro-cid-c7woehh6]{display:block}.pbs__note[data-astro-cid-c7woehh6]{font:400 .8125rem/1.5 var(--font-sans);color:var(--ink-3);margin:0}.rw[data-astro-cid-emvyhy6y] .stage__box{aspect-ratio:952/731}@media (width<=899px) and (width>=600px){.rw[data-astro-cid-emvyhy6y] .stage__box{aspect-ratio:3/4}}@media (width<=599px){.rw[data-astro-cid-emvyhy6y] .stage__box{aspect-ratio:9/20}}