.appearance-module__v5cekq__appearance{color:var(--ink);margin-left:auto;position:relative}:root:not([data-js=true]) .appearance-module__v5cekq__appearance{display:none}.appearance-module__v5cekq__appearance summary{border:1px solid var(--line);border-radius:var(--radius-control);background:var(--surface);cursor:pointer;align-items:center;gap:8px;min-height:44px;padding:8px 12px;font-size:14px;list-style:none;display:flex}.appearance-module__v5cekq__appearance summary::-webkit-details-marker{display:none}.appearance-module__v5cekq__appearance summary:hover{background:var(--surface-soft)}.appearance-module__v5cekq__options{border:1px solid var(--line);border-radius:var(--radius-control);background:var(--surface);width:205px;box-shadow:var(--shadow-popover);z-index:30;margin:0;padding:8px;position:absolute;inset:calc(100% + 8px) 0 auto auto}.appearance-module__v5cekq__options legend{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.appearance-module__v5cekq__options label{cursor:pointer;border-radius:4px;align-items:center;gap:10px;min-height:44px;padding:10px;font-size:14px;display:flex}.appearance-module__v5cekq__options label:hover{background:var(--surface-soft)}.appearance-module__v5cekq__options label:has(input:checked){background:var(--accent-soft)}.appearance-module__v5cekq__options input{accent-color:var(--accent)}@media (max-width:1180px){.appearance-module__v5cekq__label{display:none}.appearance-module__v5cekq__appearance summary{padding:10px}}
.status-module__fKDU9a__pill{--tone:var(--status-unknown);--tone-soft:var(--status-unknown-soft);border:1px solid color-mix(in srgb, var(--tone) 38%, transparent);background:var(--tone-soft);color:var(--tone);font:600 var(--step--1) / 1.5 var(--sans);white-space:nowrap;border-radius:999px;align-items:center;gap:.4em;padding:2px 10px 2px 8px;text-decoration:none;display:inline-flex}a.status-module__fKDU9a__pill:hover{color:var(--tone);border-color:var(--tone)}.status-module__fKDU9a__sm{padding:0 8px 0 6px;font-size:.75rem}.status-module__fKDU9a__glyph{font-size:1.05em;line-height:1}.status-module__fKDU9a__pill[data-status=open]{--tone:var(--status-open);--tone-soft:var(--status-open-soft)}.status-module__fKDU9a__pill[data-status=partial]{--tone:var(--status-partial);--tone-soft:var(--status-partial-soft)}.status-module__fKDU9a__pill[data-status=proposed]{--tone:var(--status-proposed);--tone-soft:var(--status-proposed-soft);border-style:dashed}.status-module__fKDU9a__pill[data-status=proved]{--tone:var(--status-proved);--tone-soft:var(--status-proved-soft)}.status-module__fKDU9a__pill[data-status=refuted]{--tone:var(--status-refuted);--tone-soft:var(--status-refuted-soft)}.status-module__fKDU9a__pill[data-status=disputed]{--tone:var(--status-disputed);--tone-soft:var(--status-disputed-soft)}.status-module__fKDU9a__attributed{flex-wrap:wrap;align-items:center;gap:6px 10px;display:inline-flex}.status-module__fKDU9a__attribution{color:var(--muted);font-size:var(--step--1)}
.search-module__Fggsuq__trigger{border:1px solid var(--line);border-radius:var(--radius-control);background:var(--canvas);min-width:200px;min-height:40px;color:var(--muted);align-items:center;gap:8px;padding:0 8px 0 12px;font-size:14px;display:inline-flex}.search-module__Fggsuq__trigger:hover{border-color:var(--line-strong);color:var(--ink)}.search-module__Fggsuq__triggerLabel{text-align:left;flex:1}.search-module__Fggsuq__kbd{border:1px solid var(--line);background:var(--surface);color:var(--muted);font:500 11px / 1.6 var(--sans);border-radius:4px;padding:1px 6px}.search-module__Fggsuq__dialog{border:1px solid var(--line);background:var(--surface);width:min(640px,100vw - 32px);max-height:min(70vh,640px);color:var(--ink);box-shadow:var(--shadow-popover);border-radius:12px;margin:12vh auto auto;padding:0}.search-module__Fggsuq__dialog::backdrop{background:color-mix(in srgb, var(--canvas) 55%, transparent);-webkit-backdrop-filter:blur(2px);backdrop-filter:blur(2px)}.search-module__Fggsuq__panel{flex-direction:column;max-height:min(70vh,640px);display:flex}.search-module__Fggsuq__field{border-bottom:1px solid var(--line);color:var(--muted);align-items:center;gap:10px;padding:12px 16px;display:flex}.search-module__Fggsuq__field input{background:0 0;border:0;outline:0;flex:1;min-height:32px;font-size:1rem}.search-module__Fggsuq__results{padding:6px 8px 8px;overflow-y:auto}.search-module__Fggsuq__group{color:var(--muted);font:600 11px / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase;margin:10px 8px 4px}.search-module__Fggsuq__option{cursor:pointer;border-radius:6px;justify-content:space-between;align-items:center;gap:12px;padding:8px 10px;display:flex}.search-module__Fggsuq__option[aria-selected=true]{background:var(--accent-soft)}.search-module__Fggsuq__optionText{min-width:0;display:grid}.search-module__Fggsuq__optionTitle{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.search-module__Fggsuq__optionDetail{color:var(--muted);font-size:var(--step--1);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.search-module__Fggsuq__empty{color:var(--muted);text-align:center;margin:0;padding:24px 12px}.search-module__Fggsuq__footer{border-top:1px solid var(--line);color:var(--muted);gap:16px;margin:0;padding:8px 16px;font-size:12px;display:flex}@media (max-width:1180px){.search-module__Fggsuq__trigger{min-width:0}.search-module__Fggsuq__triggerLabel,.search-module__Fggsuq__trigger .search-module__Fggsuq__kbd{display:none}}
.evidence-module__WpCkXq__compact{vertical-align:middle;gap:3px;display:inline-flex}.evidence-module__WpCkXq__mark{border:1px solid var(--line-strong);width:18px;height:18px;color:var(--subtle);font:600 .625rem / 1 var(--sans);border-radius:4px;flex:none;place-items:center;display:inline-grid}.evidence-module__WpCkXq__mark[data-state=partial]{border-color:var(--ink);color:var(--ink);background:linear-gradient(to top, color-mix(in srgb, var(--ink) 28%, transparent) 50%, transparent 50%)}.evidence-module__WpCkXq__mark[data-state=present]{border-color:var(--ink);background:var(--ink);color:var(--canvas)}.evidence-module__WpCkXq__mark[data-state=disputed]{border-color:var(--status-disputed);background:var(--status-disputed-soft);color:var(--status-disputed)}.evidence-module__WpCkXq__full{gap:2px;margin:0;display:grid}.evidence-module__WpCkXq__full>div{gap:var(--space-3);border-top:1px solid var(--line);grid-template-columns:116px 1fr;align-items:baseline;padding:6px 0;display:grid}.evidence-module__WpCkXq__full dt{color:var(--muted);font-size:var(--step--1);align-items:center;gap:8px;display:flex}.evidence-module__WpCkXq__full dt .evidence-module__WpCkXq__mark{transform:translateY(1px)}.evidence-module__WpCkXq__full dd{font-size:var(--step--1);margin:0;line-height:1.45}.evidence-module__WpCkXq__full>div[data-state=none] dd{color:var(--subtle)}
.evidence-table-module__48U5Ia__table{width:100%;margin:0 0 var(--space-5);border-collapse:collapse;font-size:.9375rem}.evidence-table-module__48U5Ia__table th,.evidence-table-module__48U5Ia__table td{border-top:1px solid var(--line);text-align:left;vertical-align:top;padding:12px 10px}.evidence-table-module__48U5Ia__table tr:last-child th,.evidence-table-module__48U5Ia__table tr:last-child td{border-bottom:1px solid var(--line)}.evidence-table-module__48U5Ia__table th{white-space:nowrap;width:170px;font-weight:500}.evidence-table-module__48U5Ia__table th>span{vertical-align:-3px;margin-right:10px}.evidence-table-module__48U5Ia__table td p,.evidence-table-module__48U5Ia__table td ul{margin:0 0 4px}.evidence-table-module__48U5Ia__table td ul{padding-left:1.1em}.evidence-table-module__48U5Ia__table td>:last-child{margin-bottom:0}.evidence-table-module__48U5Ia__table td>:not(.evidence-table-module__48U5Ia__value){color:var(--muted);font-size:.875rem}.evidence-table-module__48U5Ia__value{font-weight:500}.evidence-table-module__48U5Ia__by{color:var(--muted)}@media (max-width:640px){.evidence-table-module__48U5Ia__table th{width:auto}.evidence-table-module__48U5Ia__table tr{display:grid}.evidence-table-module__48U5Ia__table td{border-top:0;padding-top:0}}.evidence-table-module__48U5Ia__lead{color:var(--ink);font-weight:500}.evidence-table-module__48U5Ia__reports{margin:4px 0 0;padding-left:1.1em}.evidence-table-module__48U5Ia__reports li+li{margin-top:4px}.evidence-table-module__48U5Ia__scope{font-size:.8125rem;display:block}
.clamp-text-module__qJ3uQW__text{-webkit-line-clamp:var(--lines);line-clamp:var(--lines);-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.clamp-text-module__qJ3uQW__text[data-open]{-webkit-line-clamp:unset;line-clamp:none;display:block}@media print{.clamp-text-module__qJ3uQW__text{-webkit-line-clamp:unset;display:block}.clamp-text-module__qJ3uQW__toggle{display:none}}.clamp-text-module__qJ3uQW__toggle{color:var(--accent);cursor:pointer;background:0 0;border:0;margin:2px 0 0;padding:0;font-size:.8125rem}
.brief-module__0tiMzq__brief{align-items:stretch;gap:var(--space-3);margin:0 0 var(--space-5);grid-template-columns:repeat(auto-fit,minmax(240px,1fr));display:grid}.brief-module__0tiMzq__brief>section{gap:var(--space-3);padding:var(--space-4);border:1px solid var(--line);background:var(--surface);border-radius:12px;flex-direction:column;display:flex}.brief-module__0tiMzq__brief h3{color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase;margin:0}.brief-module__0tiMzq__brief p{margin:0;font-size:.9375rem;line-height:1.55}.brief-module__0tiMzq__items{gap:var(--space-3);padding:var(--space-3) 0 0;border-top:1px solid var(--line);margin:0;list-style:none;display:grid}.brief-module__0tiMzq__latest{border-top:0;padding-top:0}.brief-module__0tiMzq__items li{gap:4px;display:grid}.brief-module__0tiMzq__itemTitle{color:var(--ink);font:400 .9688rem / 1.4 var(--math-text);text-decoration:none}.brief-module__0tiMzq__itemTitle:hover{color:var(--accent);text-decoration:underline}.brief-module__0tiMzq__latest .brief-module__0tiMzq__itemTitle{font-family:var(--sans);font-size:.9375rem;font-weight:500}.brief-module__0tiMzq__meta{color:var(--muted);flex-wrap:wrap;align-items:center;gap:4px 8px;font-size:12.5px;display:flex}
.visuals-module__30obra__figure{border:1px solid var(--line);border-top:3px solid var(--accent);background:var(--surface);overflow-wrap:anywhere;min-width:0;margin:2rem 0;padding:1.4rem;scroll-margin-top:7rem;container:math-figure/inline-size}.visuals-module__30obra__figure h3{font-family:var(--serif);margin:.35rem 0 .65rem;font-size:1.65rem;font-weight:500;line-height:1.2}.visuals-module__30obra__figure h4{margin:.4rem 0 .7rem;font-size:1.1rem;line-height:1.35}.visuals-module__30obra__eyebrow{text-transform:uppercase;font:500 .72rem/1.4 var(--mono);letter-spacing:.08em;color:var(--accent);margin:0}.visuals-module__30obra__caption{color:var(--muted);margin:0 0 .85rem}.visuals-module__30obra__assumptions{border-bottom:1px solid var(--line);color:var(--muted);padding-bottom:1rem;font-size:.87rem}.visuals-module__30obra__explorer,.visuals-module__30obra__drawing{min-width:0}.visuals-module__30obra__selection{box-sizing:border-box;cursor:pointer;text-align:left;border:1px solid var(--line);background:var(--surface);width:100%;min-height:48px;color:var(--ink);font:inherit;overflow-wrap:anywhere;border-radius:3px;padding:.7rem .8rem;text-decoration:none;display:block}.visuals-module__30obra__selection:hover,.visuals-module__30obra__selection:focus-visible{border-color:var(--accent);background:var(--surface-soft)}.visuals-module__30obra__selection:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.visuals-module__30obra__selection:hover .visuals-module__30obra__selectionLabel{color:var(--accent)}.visuals-module__30obra__selection[data-selected]{border:2px solid var(--accent);box-shadow:inset 3px 0 var(--accent);padding:calc(.7rem - 1px) calc(.8rem - 1px)}.visuals-module__30obra__selection[data-tone=scoped]{background:var(--good-soft)}.visuals-module__30obra__selection[data-tone=conditional]{background:var(--warn-soft)}.visuals-module__30obra__selection[data-tone=proposed]{background:color-mix(in srgb, var(--status-proposed) 12%, var(--surface));border-style:dashed;border-color:var(--status-proposed)}.visuals-module__30obra__selection[data-tone=finite]{background:var(--surface-soft);border-style:dashed}.visuals-module__30obra__selectionLabel,.visuals-module__30obra__selectionState{display:block}.visuals-module__30obra__selectionLabel{font-weight:500;line-height:1.35}.visuals-module__30obra__selectionState{color:var(--muted);margin-top:.3rem;font-size:.72rem;line-height:1.4}.visuals-module__30obra__matrix{table-layout:fixed;border-collapse:collapse;width:100%;font-size:.85rem}.visuals-module__30obra__matrix th,.visuals-module__30obra__matrix td{border:1px solid var(--line);vertical-align:top;text-align:left;overflow-wrap:anywhere;padding:.5rem}.visuals-module__30obra__matrix th{background:var(--surface-soft);font-weight:500}.visuals-module__30obra__matrix th:first-child{width:20%}.visuals-module__30obra__matrix td{background:var(--canvas)}.visuals-module__30obra__matrix .visuals-module__30obra__selection{padding:.55rem;font-size:.82rem}.visuals-module__30obra__matrix .visuals-module__30obra__selection[data-selected]{padding:calc(.55rem - 1px)}.visuals-module__30obra__matrix .visuals-module__30obra__selection+.visuals-module__30obra__selection{margin-top:.5rem}.visuals-module__30obra__empty{text-align:center;color:var(--subtle);padding:.7rem;display:block}.visuals-module__30obra__mobileColumn{display:none}.visuals-module__30obra__legend{color:var(--muted);flex-wrap:wrap;gap:.4rem 1.1rem;margin:.9rem 0;font-size:.75rem;display:flex}.visuals-module__30obra__evidenceLabel{color:var(--muted);font-size:.76rem!important}.visuals-module__30obra__conditions{background:var(--surface-soft);padding:.75rem 1rem;font-size:.87rem}.visuals-module__30obra__conditions ul{margin:.45rem 0 0;padding-left:1.1rem}.visuals-module__30obra__conditions li+li{margin-top:.4rem}.visuals-module__30obra__limit{color:var(--muted)}.visuals-module__30obra__sources{margin:1rem 0;padding:0;font-size:.8rem;list-style:none}.visuals-module__30obra__sources li{flex-wrap:wrap;column-gap:.65rem;margin:.55rem 0;display:flex}.visuals-module__30obra__sources li>a:first-child{flex-basis:100%}.visuals-module__30obra__sources li>*{min-width:0;max-width:100%}.visuals-module__30obra__sources span{color:var(--muted)}.visuals-module__30obra__claimDestination a{min-height:44px;padding:.65rem 0;display:inline-block}.visuals-module__30obra__textView,.visuals-module__30obra__provenance{border-top:1px solid var(--line);margin-top:1rem;padding-top:.85rem;font-size:.85rem}.visuals-module__30obra__textView summary,.visuals-module__30obra__provenance summary{cursor:pointer;color:var(--accent);min-height:44px}.visuals-module__30obra__fallback{padding-left:1.1rem}.visuals-module__30obra__fallback>li{margin:1.5rem 0}.visuals-module__30obra__figureLimit{border-left:2px solid var(--line);color:var(--muted);margin:0 0 1.25rem;padding-left:.85rem;font-size:.82rem}.visuals-module__30obra__relationGroup+.visuals-module__30obra__relationGroup{border-top:1px solid var(--line);margin-top:1.25rem;padding-top:1rem}.visuals-module__30obra__groupHeading{font:500 .78rem var(--mono);color:var(--muted);margin:0 0 .65rem}.visuals-module__30obra__relationBranches{grid-template-columns:minmax(0,1fr) 54px minmax(0,.75fr);align-items:center;display:grid}.visuals-module__30obra__premises{gap:.5rem;display:grid;position:relative}.visuals-module__30obra__connector{justify-content:center;align-self:stretch;align-items:center;display:flex;position:relative}.visuals-module__30obra__connector:before{content:"";border-left:1px solid var(--subtle);position:absolute;inset:24px auto 24px 15px}.visuals-module__30obra__connector span{z-index:1;background:var(--surface);padding:.25rem;font-size:1.65rem}.visuals-module__30obra__relationBranches[data-relation=analogue_of] .visuals-module__30obra__connector:before{border-left-style:dashed}.visuals-module__30obra__branchNote{color:var(--muted);margin:.75rem 0 0;font-size:.78rem}.visuals-module__30obra__endpoints{padding-left:1.1rem}.visuals-module__30obra__endpoints span{color:var(--muted);font-size:.78rem;display:block}.visuals-module__30obra__assertion{border-top:1px solid var(--line);margin-top:1rem;padding-top:1rem}.visuals-module__30obra__strip{width:100%;height:auto;color:var(--muted);display:block}.visuals-module__30obra__strip text{font:16px var(--sans);fill:var(--ink)}.visuals-module__30obra__strip .visuals-module__30obra__plotHeading{font:500 18px var(--sans)}.visuals-module__30obra__stripDomain{fill:var(--surface-soft)}.visuals-module__30obra__stripDomain[data-active=true]{fill:var(--accent-soft)}.visuals-module__30obra__boundary{stroke:var(--subtle);stroke-width:1px;stroke-dasharray:5 5}.visuals-module__30obra__axis{fill:none;stroke:var(--ink);stroke-width:1px}.visuals-module__30obra__targetLine{stroke:var(--ink);stroke-width:2px;fill:none}.visuals-module__30obra__targetLine[data-active=true]{stroke:var(--accent);stroke-width:3px}.visuals-module__30obra__finiteWindow{opacity:.8;stroke:var(--subtle)}.visuals-module__30obra__finiteWindow[data-active=true]{opacity:1}.visuals-module__30obra__strip .visuals-module__30obra__windowLabel{paint-order:stroke;stroke:var(--surface);stroke-width:4px}.visuals-module__30obra__featureChoices{grid-template-columns:repeat(3,minmax(0,1fr));gap:.55rem;display:grid}.visuals-module__30obra__featureChoices .visuals-module__30obra__selection{font-size:.82rem}.visuals-module__30obra__srOnly{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (max-width:700px){.visuals-module__30obra__figure{padding:1rem}.visuals-module__30obra__featureChoices{grid-template-columns:1fr}}@media (max-width:420px){.visuals-module__30obra__figure{padding:.85rem}.visuals-module__30obra__matrix tr{grid-template-columns:1fr}.visuals-module__30obra__relationBranches{grid-template-columns:minmax(0,1fr) 30px minmax(0,.72fr)}.visuals-module__30obra__connector:before{left:5px}.visuals-module__30obra__selection{padding:.6rem}.visuals-module__30obra__selection[data-selected]{padding:calc(.6rem - 1px)}}.visuals-module__30obra__premises>.visuals-module__30obra__selection{position:relative}.visuals-module__30obra__premises>.visuals-module__30obra__selection:after{content:"";border-top:1px solid var(--subtle);width:15px;position:absolute;top:50%;left:100%}.visuals-module__30obra__relationBranches[data-relation=analogue_of] .visuals-module__30obra__premises>.visuals-module__30obra__selection:after{border-top-style:dashed}@media (max-width:420px){.visuals-module__30obra__premises>.visuals-module__30obra__selection:after{width:5px}}@container math-figure (max-width:40rem){.visuals-module__30obra__matrix,.visuals-module__30obra__matrix tbody{display:block}.visuals-module__30obra__matrix thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.visuals-module__30obra__matrix tr{border-bottom:1px solid var(--line);grid-template-columns:repeat(2,minmax(0,1fr));gap:.6rem;padding:.65rem 0;display:grid}.visuals-module__30obra__matrix th:first-child{background:0 0;border:0;grid-column:1/-1;width:auto;padding:0}.visuals-module__30obra__matrix td{background:0 0;border:0;padding:0}.visuals-module__30obra__matrix td[data-empty=true]{display:none}.visuals-module__30obra__mobileColumn{color:var(--muted);margin-bottom:.35rem;font-size:.75rem;display:block}.visuals-module__30obra__relationBranches{grid-template-columns:minmax(0,1fr);gap:.5rem}.visuals-module__30obra__connector{min-height:2.5rem}.visuals-module__30obra__connector span{transform:rotate(90deg)}.visuals-module__30obra__connector:before,.visuals-module__30obra__premises>.visuals-module__30obra__selection:after{display:none}.visuals-module__30obra__featureChoices{grid-template-columns:1fr}}@container math-figure (max-width:22rem){.visuals-module__30obra__matrix tr{grid-template-columns:1fr}.visuals-module__30obra__strip text{font-size:22px}.visuals-module__30obra__strip .visuals-module__30obra__plotHeading{font-size:24px}}.visuals-module__30obra__schematic{width:100%;max-width:36rem;color:var(--ink);margin-inline:auto;font-size:21px;display:block}.visuals-module__30obra__schematicMark{stroke:currentColor;stroke-width:2px}.visuals-module__30obra__schematicMark text{stroke:none;fill:currentColor}.visuals-module__30obra__schematicMark[data-active=true]{color:var(--accent);stroke-width:3px}.visuals-module__30obra__schematicPoint{fill:currentColor}@container math-figure (max-width:22rem){.visuals-module__30obra__schematic{font-size:26px}.visuals-module__30obra__schematicLongLabel{font-size:20px}}.visuals-module__30obra__figureFooter{gap:var(--space-2) var(--space-5);margin-top:var(--space-4);padding-top:var(--space-3);border-top:1px solid var(--line);flex-wrap:wrap;display:flex}.visuals-module__30obra__figureFooter>details{border:0;margin:0;padding:0}.visuals-module__30obra__figureFooter>details[open]{flex-basis:100%}.visuals-module__30obra__figureFooter>details>summary{color:var(--accent);cursor:pointer;font-size:.875rem}.visuals-module__30obra__ladder{margin:var(--space-4) 0 0;gap:0;padding:0;list-style:none;display:grid}.visuals-module__30obra__rung{gap:var(--space-3) var(--space-5);padding:var(--space-4) 0;border-top:1px solid var(--line);grid-template-columns:minmax(200px,280px) minmax(0,1fr);display:grid;position:relative}.visuals-module__30obra__rung[data-position=top]{border-top:0}.visuals-module__30obra__rungLabel{font:500 1rem / 1.35 var(--serif);color:var(--ink);margin:0}.visuals-module__30obra__rungNote{color:var(--muted);margin:4px 0 0;font-size:.8125rem;line-height:1.5}.visuals-module__30obra__rungSteps{gap:var(--space-2);grid-template-columns:repeat(auto-fill,minmax(190px,1fr));align-content:start;display:grid}@media (max-width:720px){.visuals-module__30obra__rung{grid-template-columns:minmax(0,1fr)}}.visuals-module__30obra__worlds{gap:var(--space-4);margin-top:var(--space-4);display:grid}.visuals-module__30obra__worldPair{gap:var(--space-4);grid-template-columns:repeat(auto-fit,minmax(240px,1fr));display:grid}.visuals-module__30obra__world{align-content:start;gap:var(--space-3);padding:var(--space-4);border:1px solid var(--line);background:var(--canvas);border-radius:4px;display:grid}.visuals-module__30obra__worldPremise .visuals-module__30obra__selectionLabel{font:500 1.15rem / 1.3 var(--serif)}.visuals-module__30obra__worldDrawing{min-width:0}.visuals-module__30obra__worldRing{gap:var(--space-2);padding:var(--space-2) var(--space-3) var(--space-3);border:1px solid var(--line);background:color-mix(in srgb, var(--accent) 4%, var(--surface));border-radius:18px;display:grid}.visuals-module__30obra__worldRing .visuals-module__30obra__worldRing{background:color-mix(in srgb, var(--accent) 9%, var(--surface))}.visuals-module__30obra__worldRing .visuals-module__30obra__worldRing .visuals-module__30obra__worldRing{background:color-mix(in srgb, var(--accent) 14%, var(--surface))}.visuals-module__30obra__worldRing[data-innermost]{border-color:var(--accent);text-align:center}.visuals-module__30obra__worldRingLabel{font:500 .95rem / 1.35 var(--serif);margin:0}.visuals-module__30obra__worldRing .visuals-module__30obra__selection{padding:.5rem .6rem;font-size:.82rem}.visuals-module__30obra__worldSubhead{font:500 .72rem / 1.4 var(--mono);text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0}.visuals-module__30obra__worldConsequences{gap:var(--space-2);display:grid}.visuals-module__30obra__worldShared{gap:var(--space-2);padding-top:var(--space-3);border-top:1px dashed var(--line);display:grid}.visuals-module__30obra__frontier{grid-template-columns:7rem repeat(var(--frontier-models), minmax(0, 1fr));gap:var(--space-3);margin-top:var(--space-4);align-items:start;display:grid}.visuals-module__30obra__frontierRow{font:500 .72rem / 1.4 var(--mono);text-transform:uppercase;letter-spacing:.06em;color:var(--muted);grid-column:1;margin:0;padding-top:.7rem}.visuals-module__30obra__frontierCell{min-width:0}.visuals-module__30obra__frontierCell[data-target] .visuals-module__30obra__selection{border:2px dashed var(--ink);background:var(--surface)}.visuals-module__30obra__frontierWall{padding:var(--space-3);border-block:3px solid var(--ink);background:repeating-linear-gradient(-45deg, var(--surface-soft) 0 8px, var(--surface) 8px 16px);grid-column:1/-1}.visuals-module__30obra__frontierWallLabel{margin:0 0 var(--space-2);color:var(--muted);font-size:.8125rem}.visuals-module__30obra__frontierBarriers{gap:var(--space-2);grid-template-columns:repeat(auto-fit,minmax(160px,1fr));display:grid}.visuals-module__30obra__frontierModel{padding-top:var(--space-2);border-top:2px solid var(--ink);font:500 .85rem / 1.35 var(--serif);margin:0}.visuals-module__30obra__frontierAxis{color:var(--muted);text-align:right;grid-column:2/-1;margin:0;font-size:.75rem}.visuals-module__30obra__tracks{margin-top:var(--space-4)}.visuals-module__30obra__trackGrid{grid-template-columns:8.5rem repeat(var(--track-columns), minmax(0, 1fr));align-items:stretch;gap:4px;display:grid}.visuals-module__30obra__trackRow{display:contents}.visuals-module__30obra__trackHeading,.visuals-module__30obra__trackColumn{font:500 .75rem / 1.3 var(--mono);color:var(--muted);border-bottom:1px solid var(--line);margin:0;padding:.3rem 0}.visuals-module__30obra__trackColumn{text-align:center;color:var(--ink);font-size:.85rem}.visuals-module__30obra__trackLabel{font:500 .9rem / 1.3 var(--serif);margin:0;padding:.5rem .5rem .5rem 0}.visuals-module__30obra__trackCell{min-width:0;position:relative}.visuals-module__30obra__trackCell .visuals-module__30obra__selection{text-align:center;border-radius:3px;height:100%;min-height:64px;padding:1.5rem .3rem .35rem;font-size:.72rem}.visuals-module__30obra__trackCell .visuals-module__30obra__selection[data-selected]{padding:calc(1.5rem - 1px) calc(.3rem - 1px) calc(.35rem - 1px)}.visuals-module__30obra__trackCell .visuals-module__30obra__selectionState{clip:rect(0, 0, 0, 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.visuals-module__30obra__trackMark{z-index:1;text-align:center;pointer-events:none;font-weight:600;position:absolute;top:.3rem;left:0;right:0}.visuals-module__30obra__trackCell[data-outcome=holds] .visuals-module__30obra__selection{background:var(--good-soft);border-color:var(--good-line)}.visuals-module__30obra__trackCell[data-outcome=holds] .visuals-module__30obra__trackMark{color:var(--good)}.visuals-module__30obra__trackCell[data-outcome=fails] .visuals-module__30obra__selection{background:var(--bad-soft);border-color:var(--bad-line)}.visuals-module__30obra__trackCell[data-outcome=fails] .visuals-module__30obra__trackMark{color:var(--bad)}.visuals-module__30obra__trackCell[data-proposed] .visuals-module__30obra__selection{border:1px dashed var(--status-proposed);background:color-mix(in srgb, var(--bad-soft) 55%, var(--surface))}.visuals-module__30obra__trackCell[data-outcome=open] .visuals-module__30obra__selection{background:var(--surface);border:1px dashed var(--ink)}.visuals-module__30obra__pipeline{gap:var(--space-4);margin:var(--space-4) 0 0;counter-reset:step;grid-template-columns:repeat(auto-fit,minmax(170px,1fr));padding:0;list-style:none;display:grid}.visuals-module__30obra__pipelineStep{align-content:start;gap:var(--space-2);display:grid;position:relative}.visuals-module__30obra__pipelineStep:not(:last-child):after{content:"→";top:2.4rem;right:calc(-1 * var(--space-4));width:var(--space-4);text-align:center;color:var(--accent);font-size:1.1rem;position:absolute}.visuals-module__30obra__pipelineNumber{font:500 .72rem / 1 var(--mono);color:var(--accent)}.visuals-module__30obra__pipelineNote{color:var(--muted);margin:0;font-size:.8125rem;line-height:1.5}@container math-figure (max-width:40rem){.visuals-module__30obra__frontier{grid-template-columns:minmax(0,1fr)}.visuals-module__30obra__frontier>*{grid-area:auto/1!important}.visuals-module__30obra__frontierModel,.visuals-module__30obra__frontierAxis{display:none}.visuals-module__30obra__frontierCell .visuals-module__30obra__mobileColumn,.visuals-module__30obra__trackCell .visuals-module__30obra__mobileColumn{color:var(--muted);margin-bottom:4px;font-size:.75rem;display:block}.visuals-module__30obra__trackGrid{grid-template-columns:minmax(0,1fr)}.visuals-module__30obra__trackGrid>*,.visuals-module__30obra__trackRow>*{grid-area:auto/1!important}.visuals-module__30obra__trackColumn,.visuals-module__30obra__trackHeading{display:none}.visuals-module__30obra__trackLabel{padding-top:var(--space-3)}.visuals-module__30obra__trackCell .visuals-module__30obra__selection{text-align:left;height:auto;min-height:48px;padding:.55rem .6rem .55rem 2rem;font-size:.82rem}.visuals-module__30obra__trackCell .visuals-module__30obra__selection[data-selected]{padding:calc(.55rem - 1px) calc(.6rem - 1px) calc(.55rem - 1px) calc(2rem - 1px)}.visuals-module__30obra__trackMark{inset:auto auto .7rem .7rem}.visuals-module__30obra__pipeline{grid-template-columns:minmax(0,1fr)}.visuals-module__30obra__pipelineStep:not(:last-child):after{content:"↓";top:auto;bottom:calc(-1 * var(--space-4));width:auto;height:var(--space-4);left:0;right:auto}}.visuals-module__30obra__zeros{gap:var(--space-5);margin-top:var(--space-4);grid-template-columns:minmax(0,420px) minmax(0,1fr);align-items:start;display:grid}.visuals-module__30obra__zerosPlot{min-width:0}.visuals-module__30obra__zerosSvg{touch-action:none;background:var(--canvas);border:1px solid var(--line);border-radius:4px;width:100%;height:auto;display:block}.visuals-module__30obra__zerosAxis{stroke:var(--line);stroke-width:.006px}.visuals-module__30obra__zerosDisk{fill:color-mix(in srgb, var(--accent) 6%, transparent);stroke:var(--ink);stroke-width:.012px}.visuals-module__30obra__zerosReach{fill:none;stroke:var(--accent);stroke-width:.01px;stroke-dasharray:.04 .03}.visuals-module__30obra__zerosLink{stroke:var(--accent);stroke-width:.012px}.visuals-module__30obra__zerosCritical path{fill:none;stroke:var(--bad);stroke-width:.022px;stroke-linecap:round}.visuals-module__30obra__zerosZero{fill:var(--ink);stroke:var(--surface);stroke-width:.015px;cursor:grab}.visuals-module__30obra__zerosZero[data-active]{fill:var(--accent)}.visuals-module__30obra__zerosZero:focus-visible{stroke:var(--accent);stroke-width:.03px;outline:none}.visuals-module__30obra__zerosKey{color:var(--muted);flex-wrap:wrap;gap:.3rem 1rem;margin:.6rem 0 0;font-size:.75rem;display:flex}.visuals-module__30obra__zerosPanel{gap:var(--space-3);min-width:0;display:grid}.visuals-module__30obra__zerosReadout{font-variant-numeric:tabular-nums;margin:0;font-size:.95rem;line-height:1.5}.visuals-module__30obra__zerosControls{gap:var(--space-2);flex-wrap:wrap;display:flex}.visuals-module__30obra__zerosControls button{border:1px solid var(--line);background:var(--surface);min-height:40px;color:var(--ink);font:inherit;cursor:pointer;border-radius:3px;padding:.4rem .8rem;font-size:.85rem}.visuals-module__30obra__zerosControls button:hover:not(:disabled){border-color:var(--accent)}.visuals-module__30obra__zerosControls button:disabled{opacity:.5;cursor:not-allowed}.visuals-module__30obra__zerosLinks{gap:var(--space-2);display:grid}@container math-figure (max-width:40rem){.visuals-module__30obra__zeros{grid-template-columns:minmax(0,1fr)}}
.figures-module__0iQuSW__frame{margin:0}.figures-module__0iQuSW__frame figcaption h3{font:500 var(--step-2) / 1.25 var(--serif);margin:0 0 4px}.figures-module__0iQuSW__caption{margin:0 0 var(--space-3);max-width:var(--measure);color:var(--muted);font-size:var(--step--1)}.figures-module__0iQuSW__body{min-width:0}.figures-module__0iQuSW__footer{gap:var(--space-2);margin-top:var(--space-3);padding-top:var(--space-3);border-top:1px solid var(--line);color:var(--muted);font-size:var(--step--1);display:grid}.figures-module__0iQuSW__footerText p{margin:0 0 4px}.figures-module__0iQuSW__data summary{cursor:pointer;color:var(--accent)}.figures-module__0iQuSW__data table{width:100%;margin-top:var(--space-2);border-collapse:collapse}.figures-module__0iQuSW__data th,.figures-module__0iQuSW__data td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:4px 8px}.figures-module__0iQuSW__data thead th{color:var(--muted);font-weight:500}.figures-module__0iQuSW__svg{width:100%;height:auto;display:block}.figures-module__0iQuSW__axis{stroke:var(--line-strong);stroke-width:1px}.figures-module__0iQuSW__tick{fill:var(--muted);font:13px var(--sans)}.figures-module__0iQuSW__curve{fill:none;stroke:var(--accent);stroke-width:1.6px}.figures-module__0iQuSW__mark{fill:var(--status-proved);stroke:var(--surface);stroke-width:1.5px;cursor:pointer}.figures-module__0iQuSW__mark:focus-visible{stroke:var(--ink);stroke-width:2.5px;outline:none}.figures-module__0iQuSW__tipBox{fill:var(--ink)}.figures-module__0iQuSW__tipText{fill:var(--canvas);font:600 14px var(--sans)}.figures-module__0iQuSW__plot .figures-module__0iQuSW__controls{align-items:center;gap:var(--space-2) var(--space-5);margin-bottom:var(--space-2);color:var(--muted);font-size:var(--step--1);flex-wrap:wrap;display:flex}.figures-module__0iQuSW__plot .figures-module__0iQuSW__controls label{align-items:center;gap:var(--space-2);display:inline-flex}.figures-module__0iQuSW__plot .figures-module__0iQuSW__controls input[type=range]{width:200px;accent-color:var(--accent)}.figures-module__0iQuSW__bars{gap:var(--space-3);margin:0;padding:0;list-style:none;display:grid}.figures-module__0iQuSW__bars li{gap:var(--space-3);grid-template-columns:minmax(180px,280px) 1fr;align-items:center;display:grid}.figures-module__0iQuSW__barLabel{font-size:.9375rem;display:grid}.figures-module__0iQuSW__barLabel span{color:var(--muted);font-size:12px}.figures-module__0iQuSW__bar{background:var(--surface-soft);border-radius:6px;height:28px;position:relative;overflow:hidden}.figures-module__0iQuSW__bar i{background:color-mix(in srgb, var(--status-proved) 55%, transparent);position:absolute;inset:0 auto 0 0}.figures-module__0iQuSW__bars li[data-status=proposed] .figures-module__0iQuSW__bar i{background:repeating-linear-gradient(135deg, color-mix(in srgb, var(--status-proposed) 45%, transparent) 0 6px, transparent 6px 10px)}.figures-module__0iQuSW__bar b{color:var(--ink);font-size:13px;position:absolute;top:4px;left:10px}.figures-module__0iQuSW__proved{fill:var(--status-proved-soft);stroke:var(--status-proved)}.figures-module__0iQuSW__provedText{fill:var(--status-proved);font:600 14px var(--sans)}.figures-module__0iQuSW__proposed{stroke:var(--status-proposed);stroke-width:2px;stroke-dasharray:4 3}.figures-module__0iQuSW__proposedText{fill:var(--status-proposed);font:14px var(--sans)}.figures-module__0iQuSW__legend{gap:4px var(--space-5);margin:var(--space-2) 0 0;font-size:var(--step--1);flex-wrap:wrap;padding:0;list-style:none;display:flex}.figures-module__0iQuSW__legend span{color:var(--muted)}.figures-module__0iQuSW__step{fill:none;stroke-width:2px}.figures-module__0iQuSW__seriesA{--series:var(--accent)}.figures-module__0iQuSW__seriesB{--series:var(--status-partial)}.figures-module__0iQuSW__seriesA .figures-module__0iQuSW__step,.figures-module__0iQuSW__seriesB .figures-module__0iQuSW__step{stroke:var(--series)}.figures-module__0iQuSW__seriesB .figures-module__0iQuSW__step{stroke-dasharray:6 4}.figures-module__0iQuSW__dot{fill:var(--series,var(--accent));stroke:var(--surface);stroke-width:1.5px}.figures-module__0iQuSW__dot[data-status=proposed]{fill:var(--surface);stroke:var(--status-proposed);stroke-dasharray:2 2}.figures-module__0iQuSW__seriesB .figures-module__0iQuSW__dot{fill:var(--surface);stroke:var(--series);stroke-width:2px}.figures-module__0iQuSW__gridline{stroke:var(--line);stroke-width:1px;stroke-dasharray:2 4}.figures-module__0iQuSW__target line{stroke:var(--ink);stroke-width:1.5px;stroke-dasharray:8 5}.figures-module__0iQuSW__targetKey .figures-module__0iQuSW__swatch{border-top:2px dashed var(--ink);background:0 0;height:0}.figures-module__0iQuSW__pointLabel{fill:var(--ink);font:13px var(--sans)}.figures-module__0iQuSW__swatch{vertical-align:middle;background:var(--series);width:18px;height:3px;margin-right:4px;display:inline-block}@media (max-width:700px){.figures-module__0iQuSW__bars li{grid-template-columns:minmax(0,1fr);gap:4px}}.figures-module__0iQuSW__domain{fill:var(--surface);stroke:var(--line)}.figures-module__0iQuSW__hatch{stroke:var(--status-proved);stroke-width:1.2px;opacity:.55}.figures-module__0iQuSW__band{stroke:none}.figures-module__0iQuSW__layer{--tone:var(--status-proved);--tone-soft:var(--status-proved-soft)}.figures-module__0iQuSW__layer[data-status=proposed]{--tone:var(--status-proposed);--tone-soft:var(--status-proposed-soft)}.figures-module__0iQuSW__regionFill{fill:color-mix(in srgb, var(--tone) 24%, transparent)}.figures-module__0iQuSW__regionEdge{fill:none;stroke:var(--tone);stroke-width:2px}.figures-module__0iQuSW__layer[data-status=proposed] .figures-module__0iQuSW__regionEdge{stroke-dasharray:6 4}.figures-module__0iQuSW__layer[data-status=proposed] .figures-module__0iQuSW__regionFill{fill:color-mix(in srgb, var(--tone) 14%, transparent)}.figures-module__0iQuSW__targetLine{stroke:var(--accent);stroke-width:3px}.figures-module__0iQuSW__layerLabel{font:500 14px var(--sans);fill:var(--status-proved)}.figures-module__0iQuSW__layerLabel[data-status=proposed]{fill:var(--status-proposed)}.figures-module__0iQuSW__layerLabel[data-status=target]{fill:var(--accent)}.figures-module__0iQuSW__layerToggle input{accent-color:var(--toggle)}.figures-module__0iQuSW__layerToggle{--toggle:var(--status-proved);color:var(--toggle);align-items:center;gap:6px;font-weight:500;display:inline-flex}.figures-module__0iQuSW__layerToggle[data-status=proposed]{--toggle:var(--status-proposed)}.figures-module__0iQuSW__layerToggle[data-status=target]{--toggle:var(--accent)}.figures-module__0iQuSW__controls{flex-wrap:wrap;gap:8px 18px;margin-bottom:8px;font-size:.875rem;display:flex}.figures-module__0iQuSW__statementLinks{gap:2px;margin:0 0 6px;padding-left:1.1em;display:grid}.figures-module__0iQuSW__superseded summary{cursor:pointer;color:var(--accent)}.figures-module__0iQuSW__gridLine{stroke:var(--line);stroke-width:1px}.figures-module__0iQuSW__endLabel{font:500 13px var(--sans)}.figures-module__0iQuSW__boundary{margin:var(--space-2) 0 0;max-width:76ch;padding-left:var(--space-3);border-left:2px solid var(--line-strong);color:var(--muted);font-size:.875rem;line-height:1.5}.figures-module__0iQuSW__diamondWrap{align-items:center;gap:var(--space-4) var(--space-6);flex-wrap:wrap;display:flex}.figures-module__0iQuSW__diamond{width:min(100%,420px);height:auto;display:block}.figures-module__0iQuSW__diamondCell circle{fill:var(--surface);stroke:var(--line-strong)}.figures-module__0iQuSW__diamondCell text{fill:var(--ink);font:500 14px var(--sans)}.figures-module__0iQuSW__diamondCell[data-status=proved] circle{fill:color-mix(in srgb, var(--status-proved) 22%, var(--surface));stroke:var(--status-proved);stroke-width:2px}.figures-module__0iQuSW__diamondCell[data-status=proposed] circle{fill:color-mix(in srgb, var(--status-proposed) 18%, var(--surface));stroke:var(--status-proposed);stroke-dasharray:4 3}.figures-module__0iQuSW__diamondKey{gap:var(--space-2);margin:0;padding:0;font-size:.9375rem;list-style:none;display:grid}.figures-module__0iQuSW__diamondKey li{align-items:center;gap:var(--space-2);display:flex}.figures-module__0iQuSW__diamondDot{border:2px solid var(--status-proved);background:color-mix(in srgb, var(--status-proved) 22%, var(--surface));border-radius:50%;width:12px;height:12px}.figures-module__0iQuSW__diamondKey li[data-status=proposed] .figures-module__0iQuSW__diamondDot{border-color:var(--status-proposed);border-style:dashed}.figures-module__0iQuSW__layer[data-status=open]{--tone:var(--status-disputed);--tone-soft:var(--status-disputed-soft)}.figures-module__0iQuSW__layer[data-status=open] .figures-module__0iQuSW__regionFill{fill:url(#region-hatch-open)}.figures-module__0iQuSW__hatchOpen{stroke:var(--status-disputed);stroke-width:1.4px;opacity:.6}.figures-module__0iQuSW__regionOutline{fill:none;stroke:var(--tone);stroke-width:1.5px}.figures-module__0iQuSW__segment{fill:none;stroke:var(--tone);stroke-width:4px;stroke-linecap:round}.figures-module__0iQuSW__dotLayer{fill:var(--tone);stroke:var(--surface);stroke-width:2px}.figures-module__0iQuSW__layerLabel[data-status=open],.figures-module__0iQuSW__layerToggle[data-status=open]{fill:var(--status-disputed);color:var(--status-disputed)}.figures-module__0iQuSW__layerToggle[data-status=open]{--toggle:var(--status-disputed)}.figures-module__0iQuSW__exactTable{overflow-x:auto}.figures-module__0iQuSW__exactTable table{border-collapse:collapse;width:100%;font:.95rem / 1.4 var(--mono);font-variant-numeric:tabular-nums}.figures-module__0iQuSW__exactTable th,.figures-module__0iQuSW__exactTable td{border-bottom:1px solid var(--line);text-align:left;white-space:nowrap;padding:.55rem .75rem}.figures-module__0iQuSW__exactTable thead th{font:500 .8rem / 1.3 var(--sans);color:var(--muted)}.figures-module__0iQuSW__exactTable tbody th{font-weight:500}.figures-module__0iQuSW__layer[data-status=scope]{--tone:var(--muted)}.figures-module__0iQuSW__layer[data-status=scope] .figures-module__0iQuSW__regionFill{fill:none}.figures-module__0iQuSW__layer[data-status=scope] .figures-module__0iQuSW__regionOutline,.figures-module__0iQuSW__layer[data-status=scope] .figures-module__0iQuSW__regionEdge{stroke-dasharray:5 4}.figures-module__0iQuSW__layerLabel[data-status=scope]{fill:var(--muted)}.figures-module__0iQuSW__statusLine{stroke:var(--tone);stroke-width:3px}.figures-module__0iQuSW__graphPanels{gap:var(--space-3);grid-template-columns:repeat(auto-fill,minmax(180px,1fr));display:grid}.figures-module__0iQuSW__graphPanels[data-single]{grid-template-columns:minmax(0,560px);justify-content:center}.figures-module__0iQuSW__graphPanel{min-width:0;margin:0}.figures-module__0iQuSW__graphSvg{background:var(--canvas);border:1px solid var(--line);border-radius:4px;width:100%;height:auto;display:block}.figures-module__0iQuSW__graphEdge{stroke:var(--ink);stroke-linecap:round;opacity:.7}.figures-module__0iQuSW__graphEdge[data-dim]{opacity:.18}.figures-module__0iQuSW__graphEdge[data-highlight]{stroke:var(--accent);opacity:1}.figures-module__0iQuSW__graphNode{fill:var(--ink)}.figures-module__0iQuSW__graphLabel{fill:var(--surface);font-family:var(--sans);font-weight:600}.figures-module__0iQuSW__graphCaption{color:var(--muted);margin-top:.4rem;font-size:.8rem;line-height:1.4}
.landscape-module__ip5-Ea__frame{border:1px solid var(--line);background:var(--surface);border-radius:12px;overflow:hidden}.landscape-module__ip5-Ea__tabs{border-bottom:1px solid var(--line);background:var(--canvas);scrollbar-width:thin;gap:4px;padding:6px;display:flex;overflow-x:auto}.landscape-module__ip5-Ea__tabs button{max-width:280px;color:var(--muted);text-align:left;background:0 0;border:0;border-radius:7px;padding:6px 12px;display:grid}.landscape-module__ip5-Ea__tabs button[aria-selected=true]{background:var(--surface);box-shadow:0 0 0 1px var(--line);color:var(--ink)}.landscape-module__ip5-Ea__tabLabel{text-overflow:ellipsis;white-space:nowrap;font-size:13.5px;font-weight:500;overflow:hidden}.landscape-module__ip5-Ea__panelWrap{padding:var(--space-4)}.landscape-module__ip5-Ea__frame[data-ready] .landscape-module__ip5-Ea__panelWrap:not([data-active]){display:none}.landscape-module__ip5-Ea__frame:not([data-ready]) .landscape-module__ip5-Ea__panelWrap+.landscape-module__ip5-Ea__panelWrap{border-top:1px solid var(--line)}.landscape-module__ip5-Ea__panel>figure{background:0 0;border:0;margin:0;padding:0}.landscape-module__ip5-Ea__witness h3{margin:0 0 var(--space-3);font:500 var(--step-2) / 1.25 var(--serif)}.landscape-module__ip5-Ea__note{margin:var(--space-3) 0 0;font-size:var(--step--1)}@media (max-width:700px){.landscape-module__ip5-Ea__panelWrap{padding:var(--space-3)}}
.timeline-module___278vW__timeline{gap:var(--space-4);display:grid}.timeline-module___278vW__controls{justify-content:space-between;gap:var(--space-2);flex-wrap:wrap;display:flex}.timeline-module___278vW__filters{flex-wrap:wrap;gap:6px;display:flex}.timeline-module___278vW__filters button,.timeline-module___278vW__expand{border:1px solid var(--line);background:var(--surface);min-height:32px;color:var(--muted);border-radius:999px;padding:0 12px;font-size:13px}.timeline-module___278vW__filters button[aria-pressed=true]{border-color:var(--accent);background:var(--accent-soft);color:var(--ink)}.timeline-module___278vW__list{border-left:2px solid var(--line);margin:0;padding:0;list-style:none}.timeline-module___278vW__item{padding:0 0 2px var(--space-4);position:relative}.timeline-module___278vW__item:before{content:"";border:2px solid var(--line-strong);background:var(--canvas);border-radius:50%;width:12px;height:12px;position:absolute;top:13px;left:-7px}.timeline-module___278vW__item[data-kind=frontier]:before{border-color:var(--accent)}.timeline-module___278vW__item[data-kind=proposal]:before{border-style:dashed;border-color:var(--status-proposed)}.timeline-module___278vW__item[data-kind=formalization]:before{border-color:var(--ink)}.timeline-module___278vW__item[data-kind=source]:before{border-color:var(--status-disputed)}.timeline-module___278vW__item[data-kind=source] .timeline-module___278vW__tag{border-color:var(--status-disputed);color:var(--status-disputed)}.timeline-module___278vW__entry{border-radius:8px}.timeline-module___278vW__entry:target,.timeline-module___278vW__entry:focus-visible{background:var(--accent-soft);outline:none}.timeline-module___278vW__row{gap:var(--space-3);cursor:pointer;border-radius:8px;grid-template-columns:112px minmax(0,1fr) auto;align-items:baseline;padding:8px 10px;list-style:none;display:grid}.timeline-module___278vW__row::-webkit-details-marker{display:none}.timeline-module___278vW__row:hover{background:var(--surface)}.timeline-module___278vW__entry[open]>.timeline-module___278vW__row{background:var(--surface);border-radius:8px 8px 0 0}.timeline-module___278vW__date{color:var(--muted);font-size:var(--step--1);font-variant-numeric:tabular-nums}.timeline-module___278vW__title{min-width:0;color:var(--ink);font-weight:500}.timeline-module___278vW__title:after{content:" ▸";color:var(--muted);font-size:.75em}.timeline-module___278vW__entry[open] .timeline-module___278vW__title:after{content:" ▾"}.timeline-module___278vW__tag{border:1px solid var(--line);color:var(--muted);white-space:nowrap;border-radius:999px;justify-self:end;padding:0 8px;font-size:.75rem}.timeline-module___278vW__item[data-kind=proposal] .timeline-module___278vW__tag{border-style:dashed;border-color:var(--status-proposed);color:var(--status-proposed)}.timeline-module___278vW__item[data-kind=frontier] .timeline-module___278vW__tag{border-color:color-mix(in srgb, var(--accent) 40%, var(--line));color:var(--accent)}.timeline-module___278vW__body{min-width:0;padding:4px 10px 12px calc(112px + var(--space-3) + 10px);background:var(--surface);border-radius:0 0 8px 8px}.timeline-module___278vW__summary{color:var(--ink);margin:0;font-size:.9375rem}.timeline-module___278vW__limit{color:var(--muted);font-size:var(--step--1);margin:4px 0 0}.timeline-module___278vW__refs{gap:4px var(--space-4);font-size:var(--step--1);flex-wrap:wrap;margin:6px 0 0;padding:0;list-style:none;display:flex}.timeline-module___278vW__related{color:var(--muted);font-size:var(--step--1);margin:6px 0 0}.timeline-module___278vW__more{margin:0}.timeline-module___278vW__timeline[data-collapsed=true] .timeline-module___278vW__item[data-extra],.timeline-module___278vW__timeline[data-show=milestone] .timeline-module___278vW__item:not([data-kind=milestone]),.timeline-module___278vW__timeline[data-show=proposal] .timeline-module___278vW__item:not([data-kind=proposal]),.timeline-module___278vW__timeline[data-show=formalization] .timeline-module___278vW__item:not([data-kind=formalization]),.timeline-module___278vW__timeline[data-show=source] .timeline-module___278vW__item:not([data-kind=source]),.timeline-module___278vW__timeline[data-show=frontier] .timeline-module___278vW__item:not([data-kind=frontier]){display:none}@media (max-width:700px){.timeline-module___278vW__row{grid-template-columns:minmax(0,1fr) auto}.timeline-module___278vW__date{grid-column:1/-1}.timeline-module___278vW__body{padding-left:10px}}
.explorer-module__PZSlma__explorer{gap:8px;display:grid}.explorer-module__PZSlma__status{color:var(--muted);flex-wrap:wrap;align-items:center;gap:6px 14px;margin:-16px 0 8px;font-size:.875rem;display:flex}.explorer-module__PZSlma__status strong{color:var(--ink);font-weight:500}.explorer-module__PZSlma__status button{border:1px solid var(--line);background:var(--surface);min-height:28px;color:var(--ink);border-radius:999px;padding:0 10px;font-size:.8125rem}.explorer-module__PZSlma__section{margin-top:18px}.explorer-module__PZSlma__section h3{color:var(--muted);font:600 .75rem / 1.4 var(--sans);letter-spacing:.07em;text-transform:uppercase;align-items:baseline;gap:8px;margin:0 0 6px;display:flex}.explorer-module__PZSlma__section h3 span{letter-spacing:0;font-weight:500}.explorer-module__PZSlma__rows{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.explorer-module__PZSlma__rows>li{border-bottom:1px solid var(--line)}.explorer-module__PZSlma__rows>li[hidden]{display:none}
.graph-module__Pn8IAa__graph{background:var(--surface);border:1px solid var(--line);border-radius:12px;margin:0 0 28px;padding:12px 12px 8px}.graph-module__Pn8IAa__caption{font:600 .8125rem var(--sans);letter-spacing:.04em;text-transform:uppercase;color:var(--muted);margin:4px 6px 6px}.graph-module__Pn8IAa__svg{width:100%;height:auto;font-family:var(--sans);display:block}.graph-module__Pn8IAa__edge line{stroke:var(--line-strong);stroke-width:1.4px}.graph-module__Pn8IAa__edge[data-relation=equivalent_to] line{stroke-width:2.4px}.graph-module__Pn8IAa__edge[data-relation=analogue_of] line,.graph-module__Pn8IAa__edge[data-relation=related_to] line{stroke-dasharray:5 4}.graph-module__Pn8IAa__edge text{fill:var(--muted);paint-order:stroke;stroke:var(--surface);stroke-width:4px;font-size:12px}.graph-module__Pn8IAa__arrow{fill:var(--line-strong)}.graph-module__Pn8IAa__node{--tone:var(--status-unknown);cursor:pointer}.graph-module__Pn8IAa__node[data-status=open]{--tone:var(--status-open)}.graph-module__Pn8IAa__node[data-status=partial]{--tone:var(--status-partial)}.graph-module__Pn8IAa__node[data-status=proposed]{--tone:var(--status-proposed)}.graph-module__Pn8IAa__node[data-status=proved]{--tone:var(--status-proved)}.graph-module__Pn8IAa__node[data-status=refuted]{--tone:var(--status-refuted)}.graph-module__Pn8IAa__node[data-status=disputed]{--tone:var(--status-disputed)}.graph-module__Pn8IAa__node rect{fill:var(--surface);stroke:var(--tone);stroke-width:1.4px}.graph-module__Pn8IAa__node[data-hub] rect{stroke:var(--accent);stroke-width:2.4px}.graph-module__Pn8IAa__label{fill:var(--ink);font-size:13.5px;font-weight:500}.graph-module__Pn8IAa__status{fill:var(--tone);font-size:11px}a:hover .graph-module__Pn8IAa__node rect,a:focus-visible .graph-module__Pn8IAa__node rect{fill:var(--accent-soft);stroke:var(--accent)}a:focus-visible{outline:none}.graph-module__Pn8IAa__legend{color:var(--muted);flex-wrap:wrap;gap:4px 18px;margin:4px 6px 0;padding:0;font-size:.8125rem;list-style:none;display:flex}.graph-module__Pn8IAa__svg a[data-graph-node]{transition:opacity .15s}.graph-module__Pn8IAa__svg a[data-graph-node][data-dim],.graph-module__Pn8IAa__edge[data-dim]{opacity:.25}.graph-module__Pn8IAa__svg a[data-graph-node][data-selected] rect{fill:var(--accent-soft);stroke:var(--accent);stroke-width:2.4px}
.relations-module__P4L2zW__row{gap:6px;padding:14px 4px 12px;scroll-margin-top:120px;display:grid}.relations-module__P4L2zW__row:focus-visible,.relations-module__P4L2zW__row:target{background:var(--accent-soft);outline:none}.relations-module__P4L2zW__head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:6px 16px;display:flex}.relations-module__P4L2zW__ends,.relations-module__P4L2zW__title{min-width:0;margin:0}.relations-module__P4L2zW__title{font-weight:500}.relations-module__P4L2zW__endsVisual{flex-wrap:wrap;align-items:center;gap:6px 10px;display:inline-flex}.relations-module__P4L2zW__verb{color:var(--muted);white-space:nowrap;font-size:.8125rem}.relations-module__P4L2zW__glyph{color:var(--ink);font-size:1rem}.relations-module__P4L2zW__verb[data-relation=analogue_of],.relations-module__P4L2zW__verb[data-relation=related_to]{font-style:italic}.relations-module__P4L2zW__tag{border:1px solid var(--line);color:var(--muted);white-space:nowrap;border-radius:999px;padding:0 8px;font-size:.75rem}.relations-module__P4L2zW__why{max-width:72ch;margin:0;font-size:.9375rem;line-height:1.55}.relations-module__P4L2zW__limit{max-width:72ch;color:var(--muted);margin:0;font-size:.875rem;line-height:1.5}.relations-module__P4L2zW__limit>span{color:var(--status-open);letter-spacing:.06em;text-transform:uppercase;margin-right:4px;font-size:.6875rem;font-weight:600}.relations-module__P4L2zW__refs{flex-wrap:wrap;gap:4px 16px;margin:0;padding:0;font-size:.875rem;list-style:none;display:flex}.relations-module__P4L2zW__more{font-size:.875rem}.relations-module__P4L2zW__more>summary{width:max-content;color:var(--accent);cursor:pointer}.relations-module__P4L2zW__more[open]{border-left:2px solid var(--line);padding:4px 0 6px 14px}.relations-module__P4L2zW__more[open]>summary{margin:0 0 6px -14px}.relations-module__P4L2zW__assertion,.relations-module__P4L2zW__review{color:var(--muted);margin:4px 0}.relations-module__P4L2zW__insight{margin-top:10px}.relations-module__P4L2zW__insight h5{margin:0 0 4px;font-size:.875rem;font-weight:600}.relations-module__P4L2zW__premise{flex-wrap:wrap;align-items:center;gap:8px;margin:14px 0 0;padding:0 4px 6px;font-size:.875rem;display:flex}.relations-module__P4L2zW__premise>span:first-child{color:var(--muted);letter-spacing:.06em;text-transform:uppercase;font-size:.6875rem;font-weight:600}
.approaches-module__rhiIdG__cards{grid-template-columns:repeat(auto-fit,minmax(260px,1fr));gap:14px;display:grid}.approaches-module__rhiIdG__card{background:var(--surface);border:1px solid var(--line);border-radius:10px;flex-direction:column;gap:10px;padding:16px 18px 12px;display:flex}.approaches-module__rhiIdG__card:focus-visible,.approaches-module__rhiIdG__card:target{outline:2px solid var(--accent);outline-offset:2px}.approaches-module__rhiIdG__card h3{font:500 1.0625rem/1.3 var(--serif);letter-spacing:0;text-transform:none;color:var(--ink);margin:0}.approaches-module__rhiIdG__summary{margin:0;font-size:.9375rem;line-height:1.5}.approaches-module__rhiIdG__limit{color:var(--muted);margin:0;font-size:.875rem;line-height:1.5}.approaches-module__rhiIdG__limit span{letter-spacing:.04em;text-transform:uppercase;color:var(--status-open);font-size:.75rem;font-weight:600;display:block}.approaches-module__rhiIdG__refs{flex-wrap:wrap;gap:6px;margin:0;padding:0;list-style:none;display:flex}.approaches-module__rhiIdG__refs a{border:1px solid var(--line);color:var(--ink);border-radius:999px;align-items:baseline;gap:6px;padding:2px 10px;font-size:.8125rem;text-decoration:none;display:inline-flex}.approaches-module__rhiIdG__refs a[data-status=proposed]{border-style:dashed;border-color:var(--status-proposed)}.approaches-module__rhiIdG__refs a:hover{border-color:var(--accent);background:var(--accent-soft)}.approaches-module__rhiIdG__more{border-top:1px solid var(--line);margin-top:auto;padding-top:8px;font-size:.875rem}.approaches-module__rhiIdG__more summary{cursor:pointer;color:var(--accent)}.approaches-module__rhiIdG__notes{margin-top:24px}.approaches-module__rhiIdG__glyph{color:var(--status-open)}.approaches-module__rhiIdG__refs a[data-status=proved] .approaches-module__rhiIdG__glyph{color:var(--status-proved)}.approaches-module__rhiIdG__refs a[data-status=proposed] .approaches-module__rhiIdG__glyph{color:var(--status-proposed)}.approaches-module__rhiIdG__refs a[data-status=partial] .approaches-module__rhiIdG__glyph{color:var(--status-partial)}
.copy-text-module__Ctldia__copy{border:1px solid var(--line);background:var(--surface);min-height:30px;color:var(--muted);font:500 12.5px / 1 var(--sans);white-space:nowrap;cursor:pointer;border-radius:999px;align-items:center;gap:6px;padding:0 10px;display:inline-flex}.copy-text-module__Ctldia__copy:hover{border-color:var(--line-strong);color:var(--ink)}.copy-text-module__Ctldia__copy:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
.math-module__Q_DbtW__text{overflow-wrap:anywhere;word-break:normal}.math-module__Q_DbtW__text .katex{font-size:1em}.math-module__Q_DbtW__display{white-space:nowrap;min-width:0;max-width:100%;margin-block:.35em;padding:.4em .2em;display:block;overflow-x:auto}.math-module__Q_DbtW__formula{vertical-align:middle;display:inline-block}.math-module__Q_DbtW__display .katex-display{text-align:left;margin:0}.math-module__Q_DbtW__display .katex-display>.katex{text-align:left}.math-module__Q_DbtW__paragraph>p{margin-bottom:.5rem}.math-module__Q_DbtW__copy{margin:0 0 .75rem}
.guide-module__kmVebG__sources{margin-block:.6rem;padding-left:1.2rem;font-size:.8rem}.guide-module__kmVebG__definition{margin-block:1rem}.guide-module__kmVebG__definition dt{font-weight:600}.guide-module__kmVebG__definition dd{margin:.4rem 0 0}.guide-module__kmVebG__account+.guide-module__kmVebG__account{border-top:1px solid var(--line)}.guide-module__kmVebG__neighbors{flex-wrap:wrap;gap:.5rem;display:flex}.guide-module__kmVebG__neighbors button{border:1px solid var(--line);color:var(--accent);font:inherit;cursor:pointer;background:0 0;border-radius:.25rem;padding:.4rem .7rem}.guide-module__kmVebG__contributors{margin-block:1.5rem}.guide-module__kmVebG__contributors>h3{margin-bottom:.5rem;font-size:1rem}.guide-module__kmVebG__tableWrap{max-width:100%;margin-block:1.5rem;overflow-x:auto}.guide-module__kmVebG__tableWrap table{border-collapse:collapse;width:100%;font-size:.85rem}.guide-module__kmVebG__tableWrap caption{text-align:left;padding-block:.6rem;font-weight:600}.guide-module__kmVebG__tableWrap th,.guide-module__kmVebG__tableWrap td{text-align:left;vertical-align:top;border-bottom:1px solid var(--line);min-width:8rem;padding:.75rem .6rem}.guide-module__kmVebG__tableWrap td:last-child{min-width:15rem}.guide-module__kmVebG__tableWrap th{color:var(--muted);font-weight:500}.guide-module__kmVebG__facts{margin-block:.8rem}.guide-module__kmVebG__facts>div{border-bottom:1px solid var(--line);grid-template-columns:minmax(6rem,9rem) 1fr;gap:.7rem;padding:.65rem 0;display:grid}.guide-module__kmVebG__facts dt{color:var(--muted);font-size:.8rem}.guide-module__kmVebG__facts dd{min-width:0;margin:0}.guide-module__kmVebG__leadProof{border-left:3px solid var(--accent);background:var(--surface);margin-block:1.2rem;padding:.5rem 1rem}.guide-module__kmVebG__leadProof h3,.guide-module__kmVebG__aspects>h3{font-size:1rem}.guide-module__kmVebG__network label{margin-block:1rem;font-size:.9rem;display:block}.guide-module__kmVebG__network select{width:100%;max-width:32rem;min-height:44px;margin-top:.35rem;display:block}.guide-module__kmVebG__network button{min-height:44px}.guide-module__kmVebG__exactLink{min-height:44px;margin-top:.5rem;font-size:.8rem;font-weight:400;display:block}@media (max-width:600px){.guide-module__kmVebG__facts>div{grid-template-columns:1fr;gap:.3rem}.guide-module__kmVebG__tableWrap{overflow-x:visible}.guide-module__kmVebG__tableWrap table,.guide-module__kmVebG__tableWrap tbody,.guide-module__kmVebG__tableWrap tr{width:100%;display:block}.guide-module__kmVebG__tableWrap thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.guide-module__kmVebG__tableWrap tr{border-bottom:1px solid var(--line);padding-block:12px}.guide-module__kmVebG__tableWrap td,.guide-module__kmVebG__tableWrap th[scope=row]{border:0;width:100%;min-width:0;padding:8px 0;display:block}.guide-module__kmVebG__tableWrap [data-label]:before{content:attr(data-label);color:var(--muted);margin-bottom:4px;font-size:12px;font-weight:500;display:block}}.guide-module__kmVebG__account>p:not([class]){font:400 1.0625rem/1.6 var(--math-text)}.guide-module__kmVebG__definitions{margin:var(--space-5) 0}.guide-module__kmVebG__definitions dl{gap:var(--space-3) var(--space-5);grid-template-columns:repeat(auto-fit,minmax(280px,1fr));margin:0;display:grid}.guide-module__kmVebG__definitions .guide-module__kmVebG__definition{margin:0}.guide-module__kmVebG__precise{max-width:80ch;margin:var(--space-5) 0;padding:var(--space-4) var(--space-5) var(--space-2);border-left:3px solid var(--accent);background:var(--surface);border-radius:0 10px 10px 0}.guide-module__kmVebG__preciseLabel{margin:0 0 var(--space-2);color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.guide-module__kmVebG__precise :where(p:not([class])){font-family:var(--math-text);font-size:1.0625rem;line-height:1.65}.guide-module__kmVebG__definitions>h3{margin:0 0 var(--space-3);color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.guide-module__kmVebG__definitions dt{font:500 1rem / 1.4 var(--math-text)}.guide-module__kmVebG__definitions dd{color:var(--ink);font-size:.9375rem;line-height:1.55}
.layout-module__k4dmiG__page{grid-template-columns:var(--contents) minmax(0, 1fr) var(--rail);column-gap:var(--space-7);max-width:var(--page-max);padding:var(--space-5) var(--space-6) var(--space-8);grid-template-areas:"header header header""contents body rail";margin:0 auto;display:grid}.layout-module__k4dmiG__noContents{grid-template-columns:minmax(0, 1fr) var(--rail);grid-template-areas:"header header""body rail"}.layout-module__k4dmiG__noRail:not(.layout-module__k4dmiG__noContents){grid-template-columns:var(--contents) minmax(0, 1fr);grid-template-areas:"header header""contents body"}.layout-module__k4dmiG__noContents.layout-module__k4dmiG__noRail{display:block}.layout-module__k4dmiG__wide .layout-module__k4dmiG__body{max-width:1000px}.layout-module__k4dmiG__wide.layout-module__k4dmiG__noContents.layout-module__k4dmiG__noRail .layout-module__k4dmiG__body,.layout-module__k4dmiG__wide .layout-module__k4dmiG__header{max-width:none}.layout-module__k4dmiG__header{max-width:calc(var(--measure) + var(--contents) + var(--space-7));grid-area:header}.layout-module__k4dmiG__contents{grid-area:contents;min-width:0}.layout-module__k4dmiG__body{grid-area:body;min-width:0;max-width:760px}.layout-module__k4dmiG__rail{grid-area:rail;min-width:0}.layout-module__k4dmiG__heading{padding-bottom:var(--space-5);margin-bottom:var(--space-5);border-bottom:1px solid var(--line)}.layout-module__k4dmiG__heading h1{font:500 var(--step-4) / 1.15 var(--serif);letter-spacing:-.01em;text-wrap:balance;margin:0}.layout-module__k4dmiG__toolbar{justify-content:space-between;align-items:center;gap:var(--space-4);margin-bottom:var(--space-4);display:flex}.layout-module__k4dmiG__kicker{margin:0 0 var(--space-2);color:var(--muted);font:600 .75rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.layout-module__k4dmiG__lead{margin-top:var(--space-3);color:var(--muted);max-width:var(--measure)}.layout-module__k4dmiG__notice{margin:var(--space-3) 0 0;padding:var(--space-2) var(--space-3);border-left:3px solid var(--status-disputed);background:var(--status-disputed-soft);font-size:var(--step--1)}.layout-module__k4dmiG__card{top:calc(var(--header-height) + var(--space-5));gap:var(--space-3);padding:var(--space-4);border:1px solid var(--line);background:var(--surface);border-radius:10px;display:grid;position:sticky}.layout-module__k4dmiG__cardStatus{gap:var(--space-2);display:grid}.layout-module__k4dmiG__cardKind{color:var(--muted);font-size:var(--step--1)}.layout-module__k4dmiG__cardNote{color:var(--muted);font-size:var(--step--1);margin:0;line-height:1.45}.layout-module__k4dmiG__card>.layout-module__k4dmiG__cardHeading{margin:var(--space-2) 0 0;color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.layout-module__k4dmiG__cardFacts{padding-top:var(--space-2);border-top:1px solid var(--line);font-size:var(--step--1);gap:4px;margin:0;display:grid}.layout-module__k4dmiG__cardFacts>div{justify-content:space-between;gap:var(--space-3);display:flex}.layout-module__k4dmiG__cardFacts dt{color:var(--muted)}.layout-module__k4dmiG__cardFacts dd{text-align:right;margin:0}.layout-module__k4dmiG__cardActions{gap:var(--space-2);padding-top:var(--space-3);border-top:1px solid var(--line);flex-wrap:wrap;display:flex}@media (max-width:1180px){.layout-module__k4dmiG__noContents:not(.layout-module__k4dmiG__noRail){grid-template-columns:minmax(0,1fr);grid-template-areas:"header""rail""body"}.layout-module__k4dmiG__page:not(.layout-module__k4dmiG__noContents){grid-template-columns:var(--contents) minmax(0, 1fr);column-gap:var(--space-6);grid-template-areas:"header header""contents rail""contents body"}.layout-module__k4dmiG__noRail:not(.layout-module__k4dmiG__noContents){grid-template-areas:"header header""contents body"}.layout-module__k4dmiG__rail{margin-bottom:var(--space-6);max-width:760px}.layout-module__k4dmiG__card{position:static}}@media (max-width:800px){.layout-module__k4dmiG__page{padding:var(--space-4) var(--space-4) var(--space-7);display:block}.layout-module__k4dmiG__heading h1{font-size:var(--step-3)}.layout-module__k4dmiG__rail,.layout-module__k4dmiG__contents{margin-bottom:var(--space-4)}}
.frontier-module__eFeLla__toolbar{justify-content:space-between;align-items:center;gap:var(--space-4);margin-bottom:var(--space-4);flex-wrap:wrap;display:flex}.frontier-module__eFeLla__note{color:var(--muted);font-size:var(--step--1);max-width:62ch;margin:0}.frontier-module__eFeLla__filters{gap:var(--space-3);padding:var(--space-4) 0;border-block:1px solid var(--line);margin-bottom:var(--space-5);display:grid}.frontier-module__eFeLla__filterForm{gap:var(--space-2);flex-wrap:wrap;display:flex}.frontier-module__eFeLla__filterForm input[type=search]{border:1px solid var(--line-strong);border-radius:var(--radius-control);flex:260px;min-height:40px;padding:0 12px}.frontier-module__eFeLla__filterForm select{border:1px solid var(--line-strong);border-radius:var(--radius-control);min-height:40px;padding:0 8px}.frontier-module__eFeLla__kinds{flex-wrap:wrap;gap:6px;display:flex}.frontier-module__eFeLla__kinds a{border:1px solid var(--line);min-height:32px;color:var(--muted);border-radius:999px;align-items:center;gap:6px;padding:0 10px;font-size:13px;text-decoration:none;display:inline-flex}.frontier-module__eFeLla__kinds a span{color:var(--subtle);font-size:12px}.frontier-module__eFeLla__kinds a[aria-current=true]{border-color:var(--accent);background:var(--accent-soft);color:var(--ink)}.frontier-module__eFeLla__timeline{gap:var(--space-6);display:grid}.frontier-module__eFeLla__month h2{top:var(--header-height);z-index:2;padding:var(--space-2) 0;background:var(--canvas);border-bottom:1px solid var(--line-strong);font:600 var(--step--1) / 1.4 var(--sans);letter-spacing:.06em;text-transform:uppercase;margin:0;position:sticky}.frontier-module__eFeLla__month h2 span{color:var(--subtle);margin-left:6px;font-weight:500}.frontier-module__eFeLla__event{gap:var(--space-4);padding:var(--space-4) 0;border-bottom:1px solid var(--line);grid-template-columns:104px minmax(0,1fr) auto;display:grid}.frontier-module__eFeLla__event[data-highlight] h3 a{font-weight:600}.frontier-module__eFeLla__date{color:var(--muted);font:500 var(--step--1) / 1.6 var(--sans);font-variant-numeric:tabular-nums}.frontier-module__eFeLla__eventBody{min-width:0}.frontier-module__eFeLla__eventTop{flex-wrap:wrap;align-items:center;gap:6px 10px;display:flex}.frontier-module__eFeLla__area{color:var(--muted);font-size:12px}.frontier-module__eFeLla__event h3{font:500 var(--step-1) / 1.3 var(--serif);margin:6px 0 4px}.frontier-module__eFeLla__event h3 a{color:var(--ink);text-decoration:none}.frontier-module__eFeLla__event h3 a:hover{color:var(--accent);text-decoration:underline}.frontier-module__eFeLla__summary{-webkit-line-clamp:2;color:var(--muted);max-width:var(--measure);-webkit-box-orient:vertical;margin:0;font-size:.9375rem;display:-webkit-box;overflow:hidden}.frontier-module__eFeLla__meta{font-size:var(--step--1);flex-wrap:wrap;gap:4px 16px;margin-top:6px;display:flex}.frontier-module__eFeLla__contributors{color:var(--subtle)}.frontier-module__eFeLla__problemLink{font-weight:500}.frontier-module__eFeLla__evidence{padding-top:2px}@media (max-width:800px){.frontier-module__eFeLla__event{grid-template-columns:minmax(0,1fr);gap:6px}.frontier-module__eFeLla__evidence{order:3}}
.results-module__ioxnYa__list{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.results-module__ioxnYa__row{gap:var(--space-4);padding:var(--space-3) 0;border-bottom:1px solid var(--line);grid-template-columns:148px minmax(0,1fr);display:grid}.results-module__ioxnYa__status{padding-top:2px}.results-module__ioxnYa__main{min-width:0}.results-module__ioxnYa__title{color:var(--ink);font:500 var(--step-1) / 1.35 var(--serif);text-decoration:none}.results-module__ioxnYa__title:hover{color:var(--accent);text-decoration:underline}.results-module__ioxnYa__meta{color:var(--muted);font-size:var(--step--1);flex-wrap:wrap;gap:2px 14px;margin:4px 0 0;display:flex}.results-module__ioxnYa__formal{color:var(--ink);font-weight:500}.results-module__ioxnYa__filters{gap:var(--space-2);margin-bottom:var(--space-4);flex-wrap:wrap;align-items:center;display:flex}.results-module__ioxnYa__filters input[type=search]{border:1px solid var(--line-strong);border-radius:var(--radius-control);flex:260px;min-height:40px;padding:0 12px}.results-module__ioxnYa__filters select{border:1px solid var(--line-strong);border-radius:var(--radius-control);min-height:40px;padding:0 8px}.results-module__ioxnYa__statusChips{margin-bottom:var(--space-4);flex-wrap:wrap;gap:6px;display:flex}.results-module__ioxnYa__statusChips a{opacity:.55;text-decoration:none}.results-module__ioxnYa__statusChips a[aria-current=true],.results-module__ioxnYa__statusChips a:hover{opacity:1}.results-module__ioxnYa__count{margin:0 0 var(--space-2);color:var(--muted);font-size:var(--step--1)}@media (max-width:700px){.results-module__ioxnYa__row{grid-template-columns:minmax(0,1fr);gap:4px}}
.contents-module__xeX0-a__contents{position:sticky;top:116px}.contents-module__xeX0-a__mobile{display:none}@media (max-width:800px){.contents-module__xeX0-a__contents{position:static}.contents-module__xeX0-a__desktop{display:none}.contents-module__xeX0-a__mobile{border-block:1px solid var(--line);display:block}.contents-module__xeX0-a__mobile>summary{cursor:pointer;min-height:44px;padding-block:12px}.contents-module__xeX0-a__mobile>summary span{color:var(--muted);margin-left:.5rem;font-size:.75rem}.contents-module__xeX0-a__mobile>nav{padding-bottom:12px}.contents-module__xeX0-a__mobile>nav>a{min-height:44px}}
.home-module__j8ab0G__page{max-width:var(--page-max);padding:var(--space-7) var(--space-6) var(--space-8);gap:var(--space-8);margin:0 auto;display:grid}.home-module__j8ab0G__hero{gap:var(--space-4);max-width:860px;display:grid}.home-module__j8ab0G__hero h1{font:500 clamp(2.4rem, 5vw, 3.6rem) / 1.05 var(--serif);letter-spacing:-.02em;text-wrap:balance;margin:0}.home-module__j8ab0G__lead{max-width:60ch;color:var(--muted);font-size:var(--step-1);margin:0}.home-module__j8ab0G__search{gap:var(--space-2);max-width:640px;display:flex}.home-module__j8ab0G__search input{border:1px solid var(--line-strong);border-radius:8px;flex:1;min-height:48px;padding:0 16px;font-size:1rem}.home-module__j8ab0G__stats{gap:var(--space-2) var(--space-5);color:var(--muted);font-size:var(--step--1);flex-wrap:wrap;display:flex}.home-module__j8ab0G__stats strong{color:var(--ink);font-weight:600}.home-module__j8ab0G__split{gap:var(--space-7);grid-template-columns:minmax(0,1.5fr) minmax(0,1fr);display:grid}.home-module__j8ab0G__sectionHead{justify-content:space-between;align-items:baseline;gap:var(--space-4);margin-bottom:var(--space-3);border-bottom:1px solid var(--line-strong);padding-bottom:var(--space-2);display:flex}.home-module__j8ab0G__sectionHead h2{font:600 var(--step--1) / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase;margin:0}.home-module__j8ab0G__problemList{margin:0;padding:0;list-style:none}.home-module__j8ab0G__problemList li{justify-content:space-between;align-items:baseline;gap:var(--space-3);border-bottom:1px solid var(--line);padding:10px 0;display:flex}.home-module__j8ab0G__problemList a{color:var(--ink);font:500 var(--step-1) / 1.3 var(--serif);text-decoration:none}.home-module__j8ab0G__problemList a:hover{color:var(--accent);text-decoration:underline}.home-module__j8ab0G__legend{gap:var(--space-5);grid-template-columns:repeat(auto-fit,minmax(240px,1fr));display:grid}.home-module__j8ab0G__legend h3{margin:0 0 var(--space-2);font:500 var(--step-1) / 1.3 var(--serif)}.home-module__j8ab0G__legend p{margin:0 0 var(--space-3);color:var(--muted);font-size:var(--step--1)}.home-module__j8ab0G__pills{flex-wrap:wrap;gap:6px;display:flex}.home-module__j8ab0G__code{padding:var(--space-3) var(--space-4);border:1px solid var(--line);background:var(--surface);font-size:var(--step--1);border-radius:8px;margin:0;overflow-x:auto}@media (max-width:900px){.home-module__j8ab0G__page{padding:var(--space-5) var(--space-4) var(--space-7);gap:var(--space-7)}.home-module__j8ab0G__split{grid-template-columns:minmax(0,1fr)}}
.index-module__4_PudG__page{max-width:var(--page-max);padding:var(--space-6) var(--space-6) var(--space-8);margin:0 auto}.index-module__4_PudG__header{margin-bottom:var(--space-5)}.index-module__4_PudG__headerTop{justify-content:space-between;align-items:baseline;gap:var(--space-4);flex-wrap:wrap;display:flex}.index-module__4_PudG__header h1{font:500 var(--step-4) / 1.1 var(--serif);margin:0}.index-module__4_PudG__aside{font-size:var(--step--1)}.index-module__4_PudG__lead{max-width:var(--measure);margin:var(--space-2) 0 0;color:var(--muted)}.index-module__4_PudG__switch{border:1px solid var(--line);background:var(--surface);border-radius:8px;padding:3px;display:inline-flex}.index-module__4_PudG__switch a{min-height:34px;color:var(--muted);border-radius:6px;align-items:center;gap:8px;padding:0 12px;font-size:14px;font-weight:500;text-decoration:none;display:inline-flex}.index-module__4_PudG__switch a[aria-current=page]{background:var(--accent-soft);color:var(--ink)}.index-module__4_PudG__switch a span{color:var(--subtle);font-size:12px}.index-module__4_PudG__pagination{margin-top:var(--space-6);padding-top:var(--space-4);border-top:1px solid var(--line);color:var(--muted);font-size:var(--step--1);justify-content:space-between;align-items:center;display:flex}@media (max-width:800px){.index-module__4_PudG__page{padding:var(--space-4) var(--space-4) var(--space-7)}.index-module__4_PudG__header h1{font-size:var(--step-3)}}