.section-tabs-module__349LOq__bar{top:var(--header-height);z-index:15;margin:var(--space-5) 0 var(--space-6);border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--canvas) 94%, transparent);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);position:sticky}.section-tabs-module__349LOq__inner{align-items:stretch;min-width:0;display:flex}.section-tabs-module__349LOq__identity{align-items:center;gap:var(--space-2);opacity:0;flex:none;max-width:0;transition:max-width .2s,opacity .2s,margin .2s;display:flex;overflow:hidden}.section-tabs-module__349LOq__bar[data-compact] .section-tabs-module__349LOq__identity{max-width:420px;margin-right:var(--space-5);opacity:1}.section-tabs-module__349LOq__title{font:500 1.0625rem / 1.3 var(--serif);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.section-tabs-module__349LOq__tabs{gap:var(--space-1);scrollbar-width:none;min-width:0;display:flex;overflow-x:auto}.section-tabs-module__349LOq__tabs::-webkit-scrollbar{display:none}.section-tabs-module__349LOq__tabs a{color:var(--muted);white-space:nowrap;border-bottom:2px solid #0000;flex:none;margin-bottom:-1px;padding:12px 10px 10px;font-size:14px;font-weight:500;text-decoration:none}.section-tabs-module__349LOq__tabs a:hover{color:var(--ink);border-bottom-color:var(--line-strong)}.section-tabs-module__349LOq__tabs a[aria-current=location]{color:var(--ink);border-bottom-color:var(--accent)}.section-tabs-module__349LOq__tabs a:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}@media (prefers-reduced-motion:reduce){.section-tabs-module__349LOq__identity{transition:none}}@media (max-width:900px){.section-tabs-module__349LOq__bar[data-compact] .section-tabs-module__349LOq__identity{display:none}}
.drawer-module__KCKDvG__drawer{border:0;border-left:1px solid var(--line);background:var(--surface);width:min(560px,100vw);max-width:100vw;height:100dvh;max-height:100dvh;color:var(--ink);box-shadow:var(--shadow-popover);margin:0;padding:0;position:fixed;inset:0 0 0 auto}.drawer-module__KCKDvG__drawer::backdrop{background:color-mix(in srgb, var(--canvas) 50%, transparent)}.drawer-module__KCKDvG__drawer[open]{animation:.18s ease-out drawer-module__KCKDvG__slide}@keyframes drawer-module__KCKDvG__slide{0%{opacity:.6;transform:translate(24px)}}@media (prefers-reduced-motion:reduce){.drawer-module__KCKDvG__drawer[open]{animation:none}}.drawer-module__KCKDvG__inner{flex-direction:column;height:100%;display:flex}.drawer-module__KCKDvG__bar{padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--line);justify-content:flex-end;display:flex}.drawer-module__KCKDvG__close{min-height:36px;padding:0 var(--space-3);border:1px solid var(--line);border-radius:var(--radius-control);background:var(--surface);font-size:var(--step--1);font-weight:500}.drawer-module__KCKDvG__body{padding:var(--space-5);flex:1;overflow-y:auto}
.results-module__jjZgzG__results{gap:var(--space-5);display:grid}.results-module__jjZgzG__filters{flex-wrap:wrap;gap:6px;display:flex}.results-module__jjZgzG__filters button{border:1px solid var(--line);background:var(--surface);min-height:32px;color:var(--muted);border-radius:999px;padding:0 12px;font-size:13px}.results-module__jjZgzG__filters button[aria-pressed=true]{border-color:var(--accent);background:var(--accent-soft);color:var(--ink)}.results-module__jjZgzG__group h3{margin:0 0 var(--space-2);color:var(--muted);font:600 .75rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.results-module__jjZgzG__group h3 small{color:var(--subtle);letter-spacing:0;margin-left:6px;font-weight:500}.results-module__jjZgzG__rows{border-top:1px solid var(--line);margin:0;padding:0;list-style:none}.results-module__jjZgzG__row{gap:var(--space-3);padding:var(--space-3) 0;border-bottom:1px solid var(--line);grid-template-columns:112px minmax(0,1fr) auto;align-items:start;display:grid}.results-module__jjZgzG__row>:first-child{justify-self:start;margin-top:3px}.results-module__jjZgzG__row:target{background:var(--accent-soft)}.results-module__jjZgzG__rowMain{min-width:0}.results-module__jjZgzG__rowTitle{overflow-wrap:anywhere;color:var(--ink);font:400 1.0625rem / 1.4 var(--math-text);text-decoration:none}.results-module__jjZgzG__rowTitle:hover{color:var(--accent);text-decoration:underline}.results-module__jjZgzG__rowSummary{color:var(--muted);font-size:var(--step--1);margin:2px 0 0;line-height:1.45}.results-module__jjZgzG__rowMeta{color:var(--muted);text-align:right;overflow-wrap:anywhere;justify-items:end;gap:2px;max-width:220px;font-size:12.5px;display:grid}.results-module__jjZgzG__formalMark{color:var(--ink);font-weight:500}.results-module__jjZgzG__results[data-show=proved] .results-module__jjZgzG__row:not([data-status=proved]),.results-module__jjZgzG__results[data-show=partial] .results-module__jjZgzG__row:not([data-status=partial]),.results-module__jjZgzG__results[data-show=proposed] .results-module__jjZgzG__row:not([data-status=proposed]),.results-module__jjZgzG__results[data-show=open] .results-module__jjZgzG__row:not([data-status=open]),.results-module__jjZgzG__results[data-show=refuted] .results-module__jjZgzG__row:not([data-status=refuted]),.results-module__jjZgzG__results[data-show=disputed] .results-module__jjZgzG__row:not([data-status=disputed]),:is(.results-module__jjZgzG__results[data-show=proved] .results-module__jjZgzG__group:not(:has([data-status=proved])),.results-module__jjZgzG__results[data-show=partial] .results-module__jjZgzG__group:not(:has([data-status=partial])),.results-module__jjZgzG__results[data-show=proposed] .results-module__jjZgzG__group:not(:has([data-status=proposed])),.results-module__jjZgzG__results[data-show=open] .results-module__jjZgzG__group:not(:has([data-status=open])),.results-module__jjZgzG__results[data-show=refuted] .results-module__jjZgzG__group:not(:has([data-status=refuted])),.results-module__jjZgzG__results[data-show=disputed] .results-module__jjZgzG__group:not(:has([data-status=disputed]))){display:none}.results-module__jjZgzG__ref{max-width:100%;color:var(--ink);flex-wrap:wrap;align-items:center;gap:8px;text-decoration:none;display:inline-flex}.results-module__jjZgzG__ref:hover .results-module__jjZgzG__refTitle{overflow-wrap:anywhere;min-width:0;color:var(--accent);text-decoration:underline}.results-module__jjZgzG__refTitle{overflow-wrap:anywhere;min-width:0;font:400 1rem / 1.4 var(--math-text)}.results-module__jjZgzG__panel h3{margin:var(--space-4) 0 var(--space-2);color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.results-module__jjZgzG__panel p{margin:0 0 var(--space-2)}.results-module__jjZgzG__panelKicker{color:var(--muted);font:600 .6875rem / 1.4 var(--sans);letter-spacing:.08em;text-transform:uppercase}.results-module__jjZgzG__panelTitle{margin:var(--space-3) 0;font:500 var(--step-2) / 1.25 var(--serif)}.results-module__jjZgzG__statement{padding:var(--space-3) var(--space-4);border-left:3px solid var(--accent);background:var(--canvas);font:400 1.125rem / 1.55 var(--math-text);border-radius:0 8px 8px 0;overflow-x:auto}.results-module__jjZgzG__assumptions{font:400 1rem / 1.55 var(--math-text);margin:0;padding-left:1.2em}.results-module__jjZgzG__facts{margin:var(--space-3) 0 0;font-size:var(--step--1);gap:4px;display:grid}.results-module__jjZgzG__facts>div{gap:var(--space-3);grid-template-columns:120px 1fr;display:grid}.results-module__jjZgzG__facts dt{color:var(--muted)}.results-module__jjZgzG__facts dd{margin:0}.results-module__jjZgzG__limit{color:var(--muted);font-size:var(--step--1)}.results-module__jjZgzG__formal{font-size:var(--step--1);margin:0;padding:0;list-style:none}.results-module__jjZgzG__formal li{padding:4px 0;display:grid}.results-module__jjZgzG__formal span{color:var(--muted)}.results-module__jjZgzG__open{margin-top:var(--space-4);padding-top:var(--space-3);border-top:1px solid var(--line)}@media (max-width:700px){.results-module__jjZgzG__row{grid-template-columns:minmax(0,1fr);gap:4px}.results-module__jjZgzG__rowMeta{text-align:left;justify-items:start;max-width:none}}.results-module__jjZgzG__refList{margin:0;padding:0;list-style:none}.results-module__jjZgzG__refList li{border-bottom:1px solid var(--line);padding:6px 0}.results-module__jjZgzG__value{color:var(--ink);font-variant-numeric:tabular-nums;display:block}.results-module__jjZgzG__proof+.results-module__jjZgzG__proof{border-top:1px solid var(--line);margin-top:14px;padding-top:12px}.results-module__jjZgzG__proofTitle{margin:0;font-weight:600}.results-module__jjZgzG__proofMethod{color:var(--muted);margin:2px 0;font-size:13px}.results-module__jjZgzG__results:is(:not([data-show]),[data-show=""]) .results-module__jjZgzG__group:not([data-expanded]) .results-module__jjZgzG__row[data-extra],.results-module__jjZgzG__results[data-show]:not([data-show=""]) .results-module__jjZgzG__more{display:none}.results-module__jjZgzG__more{margin:var(--space-2) 0 0;border:1px solid var(--line);background:var(--surface);min-height:32px;color:var(--ink);cursor:pointer;border-radius:999px;padding:0 12px;font-size:13px}.results-module__jjZgzG__more:hover{border-color:var(--line-strong)}
.strip-module__KlR9Tq__strip{align-items:center;gap:var(--space-3) var(--space-6);margin-top:var(--space-5);padding:var(--space-4) var(--space-5);border:1px solid var(--line);background:var(--surface);border-radius:12px;grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"status end""evidence end";display:grid}.strip-module__KlR9Tq__status{align-items:center;gap:4px var(--space-3);flex-wrap:wrap;grid-area:status;display:flex}.strip-module__KlR9Tq__kind{color:var(--muted);font-size:var(--step--1)}.strip-module__KlR9Tq__evidence{gap:6px var(--space-4);font-size:var(--step--1);flex-wrap:wrap;grid-area:evidence;margin:0;padding:0;list-style:none;display:flex}.strip-module__KlR9Tq__evidence li,.strip-module__KlR9Tq__evidence a{align-items:center;gap:6px;display:inline-flex}.strip-module__KlR9Tq__evidence a{color:inherit;text-decoration:none}.strip-module__KlR9Tq__evidence a:hover .strip-module__KlR9Tq__slotLabel{color:var(--accent);text-decoration:underline}.strip-module__KlR9Tq__evidence li[data-state=none] .strip-module__KlR9Tq__slotLabel{color:var(--subtle)}.strip-module__KlR9Tq__end{align-items:flex-end;gap:var(--space-2);flex-direction:column;grid-area:end;display:flex}.strip-module__KlR9Tq__fact{color:var(--muted);font-size:var(--step--1);order:2}.strip-module__KlR9Tq__actions{gap:var(--space-2);flex-wrap:wrap;display:flex}@media (max-width:800px){.strip-module__KlR9Tq__strip{padding:var(--space-3) var(--space-4);grid-template-columns:minmax(0,1fr);grid-template-areas:"status""evidence""end"}.strip-module__KlR9Tq__end{padding-top:var(--space-3);border-top:1px solid var(--line);align-items:flex-start}}