.claim-mini:where(.astro-zlnnwkif){margin:0 0 .55rem;max-width:640px}.claim-mini-card:where(.astro-zlnnwkif){cursor:pointer;padding:.85rem 1rem;border-radius:8px;border:1px solid #e5e7eb;background:#fff;transition:border-color .12s ease,box-shadow .12s ease,background-color .12s ease;outline:none}.claim-mini-verified:where(.astro-zlnnwkif){border-left:3px solid #22c55e}.claim-mini-card:where(.astro-zlnnwkif):hover,.claim-mini-card:where(.astro-zlnnwkif):focus-visible{border-color:#9ca3af;background:#fafafa}.claim-mini-top:where(.astro-zlnnwkif){display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;font-size:.72rem;margin-bottom:.4rem}.mini-number:where(.astro-zlnnwkif){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:13px;color:#888;font-weight:400;letter-spacing:.02em}.mini-role-chip:where(.astro-zlnnwkif){display:inline-block;font-size:9.5px;font-weight:600;letter-spacing:.04em;padding:1px 6px;border-radius:3px;border:1px solid;text-transform:uppercase}.mini-panel:where(.astro-zlnnwkif){color:#94a3b8;text-transform:uppercase;letter-spacing:.08em;font-size:10px;font-variant:small-caps}.mini-status-dot:where(.astro-zlnnwkif){width:8px;height:8px;border-radius:999px;display:inline-block;flex-shrink:0}.mini-verified-badge:where(.astro-zlnnwkif){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9.5px;font-weight:600;color:#166534;background:#f0fdf4;border:1px solid #bbf7d0;padding:0 5px;border-radius:3px;letter-spacing:.02em}.mini-code-badge:where(.astro-zlnnwkif){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:9.5px;color:#6b7280;background:#f9fafb;border:1px solid #e5e7eb;padding:0 5px;border-radius:3px;letter-spacing:-.02em}.mini-figure-glyph:where(.astro-zlnnwkif){font-size:11px;color:#94a3b8;line-height:1}.claim-mini-body:where(.astro-zlnnwkif){font-size:1rem;line-height:1.55;color:#111827;margin:0;font-weight:400}.claim-mini-disclosures:where(.astro-zlnnwkif){padding:.25rem 0 0 .5rem}.mini-disclosure:where(.astro-zlnnwkif){margin-top:.2rem}.mini-disclosure:where(.astro-zlnnwkif)>summary:where(.astro-zlnnwkif){list-style:none;cursor:pointer;user-select:none;color:#6b7280;font-size:.72rem;padding:.2rem .25rem;border-radius:3px}.mini-disclosure:where(.astro-zlnnwkif)>summary:where(.astro-zlnnwkif):hover{color:#374151;background:#f9fafb}.mini-disclosure:where(.astro-zlnnwkif)>summary:where(.astro-zlnnwkif)::-webkit-details-marker{display:none}.mini-disclosure:where(.astro-zlnnwkif) .mini-chev:where(.astro-zlnnwkif){display:inline-block;transition:transform .15s ease}.mini-disclosure:where(.astro-zlnnwkif)[open]>summary:where(.astro-zlnnwkif) .mini-chev:where(.astro-zlnnwkif){transform:rotate(90deg)}.mini-children-wrap:where(.astro-zlnnwkif){margin-top:.4rem;padding-left:1rem;border-left:2px solid #e5e7eb}h3:where(.astro-3zwhgltd)[data-tooltip]{position:relative;cursor:help}h3:where(.astro-3zwhgltd)[data-tooltip]:after{content:attr(data-tooltip);position:absolute;top:calc(100% + 6px);left:0;right:auto;max-width:500px;width:max-content;padding:8px 12px;font-size:13px;font-weight:400;line-height:1.4;text-transform:none;letter-spacing:normal;color:#333;background:#fffce8;border:1px solid #E6E0B3;border-radius:4px;white-space:normal;opacity:0;pointer-events:none;transition:opacity .12s ease-out;z-index:50;box-shadow:0 2px 6px #00000014}h3:where(.astro-3zwhgltd)[data-tooltip]:hover:after{opacity:1}@media(max-width:640px){h3:where(.astro-3zwhgltd)[data-tooltip]:after{max-width:calc(100vw - 2rem)}}details:where(.astro-3zwhgltd).claim-section>summary:where(.astro-3zwhgltd){list-style:none;padding:.15rem 0}details:where(.astro-3zwhgltd).claim-section>summary:where(.astro-3zwhgltd)::-webkit-details-marker{display:none}details:where(.astro-3zwhgltd).claim-section>summary:where(.astro-3zwhgltd) .claim-section-chevron:where(.astro-3zwhgltd){display:inline-block;transition:transform .15s ease}details:where(.astro-3zwhgltd).claim-section[open]>summary:where(.astro-3zwhgltd) .claim-section-chevron:where(.astro-3zwhgltd){transform:rotate(90deg)}details:where(.astro-3zwhgltd).claim-section[open]>:where(.astro-3zwhgltd):not(summary){padding-top:.5rem;padding-left:.25rem}.dissoc-pair:where(.astro-3zwhgltd){display:grid;grid-template-columns:1fr auto 1fr;gap:.75rem;align-items:center;padding:.6rem .8rem;border:1px solid #e0f2fe;border-radius:6px;background:#f0f9ff80}.dissoc-marker:where(.astro-3zwhgltd){font-size:1.25rem;color:#0284c7;user-select:none}@media(max-width:640px){.dissoc-pair:where(.astro-3zwhgltd){grid-template-columns:1fr}.dissoc-marker:where(.astro-3zwhgltd){text-align:center}}.claims-section-toolbar:where(.astro-3zwhgltd){display:flex;align-items:center;justify-content:space-between;gap:1rem;margin-bottom:.6rem}.toggle-all-btn:where(.astro-3zwhgltd){background:transparent;border:1px solid transparent;padding:.2rem .5rem;margin:0;font:inherit;font-size:11px;color:#9ca3af;cursor:pointer;border-radius:4px;transition:color .12s ease,border-color .12s ease,background .12s ease}.toggle-all-btn:where(.astro-3zwhgltd):hover{color:#4b5563;border-color:#e5e7eb;background:#f9fafb}.summary-details:where(.astro-3zwhgltd){background:#f9fafb;border:1px solid #e5e7eb;border-radius:8px;padding:.6rem 1rem}.summary-details:where(.astro-3zwhgltd)>summary:where(.astro-3zwhgltd){list-style:none;padding:.1rem 0}.summary-details:where(.astro-3zwhgltd)>summary:where(.astro-3zwhgltd)::-webkit-details-marker{display:none}.summary-details-chevron:where(.astro-3zwhgltd){display:inline-block;transition:transform .15s ease}.summary-details:where(.astro-3zwhgltd)[open]>summary:where(.astro-3zwhgltd) .summary-details-chevron:where(.astro-3zwhgltd){transform:rotate(90deg)}.summary-heading:where(.astro-3zwhgltd){font-size:.78rem;color:#6b7280;line-height:1.5;font-variant:small-caps;letter-spacing:.05em}.summary-box-body:where(.astro-3zwhgltd){margin-top:.2rem}.summary-line:where(.astro-3zwhgltd){margin-top:.55rem;line-height:1.5}.summary-line-label:where(.astro-3zwhgltd){display:inline;font-variant:small-caps;font-weight:700;font-size:.78rem;letter-spacing:.06em;color:#334155;margin-right:.4rem}.summary-line-inline:where(.astro-3zwhgltd){font-size:.88rem;color:#374151}.summary-inline-sep:where(.astro-3zwhgltd){color:#9ca3af}.summary-bullet-inline:where(.astro-3zwhgltd){display:inline;background:transparent;border:none;padding:0;margin:0;font:inherit;color:#374151;font-size:.88rem;line-height:1.45;cursor:pointer;text-align:left;border-bottom:1px dotted transparent;transition:border-color .12s ease,color .12s ease}.summary-bullet-inline:where(.astro-3zwhgltd):hover,.summary-bullet-inline:where(.astro-3zwhgltd):focus-visible{color:#111827;border-bottom-color:#9ca3af;outline:none}.summary-meta-footer:where(.astro-3zwhgltd){margin-top:.75rem;padding-top:.45rem;border-top:1px solid #f1f5f9;font-size:.72rem;color:#9ca3af;line-height:1.5}.summary-list:where(.astro-3zwhgltd){list-style:none;margin:0;padding:0}.summary-list:where(.astro-3zwhgltd) li:where(.astro-3zwhgltd){margin:0;padding:0}.summary-bullet:where(.astro-3zwhgltd){display:block;width:100%;text-align:left;background:transparent;border:none;padding:.22rem .35rem .22rem .9rem;margin:0;font:inherit;color:#374151;font-size:.88rem;line-height:1.45;cursor:pointer;border-radius:4px;position:relative}.summary-bullet:where(.astro-3zwhgltd):before{content:"•";position:absolute;left:.2rem;top:.22rem;color:#9ca3af}.summary-bullet:where(.astro-3zwhgltd):hover,.summary-bullet:where(.astro-3zwhgltd):focus-visible{background:#f3f4f6;color:#111827;outline:none}.summary-bullet-number:where(.astro-3zwhgltd){font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.8rem;color:#6b7280;font-weight:500;margin-right:.15rem}.abstract-prose:where(.astro-o6byodpn){font-size:1rem;line-height:1.75}.abstract-sentence:where(.astro-o6byodpn){cursor:pointer;border-radius:2px;padding:1px 2px;margin:0 -2px;transition:background-color .12s ease,box-shadow .12s ease;position:relative}.abstract-sentence:where(.astro-o6byodpn):hover{background-color:#fef3c7}.abstract-sentence:where(.astro-o6byodpn).is-active{background-color:#fde68a}.sentence-number:where(.astro-o6byodpn){color:#9ca3af;font-weight:500;font-size:.7em;margin-right:2px;user-select:none}.sentence-type-background:where(.astro-o6byodpn){color:#9ca3af}.sentence-type-unmappable:where(.astro-o6byodpn){text-decoration:underline dotted #f87171;text-underline-offset:3px}.claim-card-highlight{outline:3px solid #fbbf24!important;outline-offset:4px;transition:outline-color .4s ease}.traceback-claim:where(.astro-3vdwby3d){text-decoration:none;border-radius:3px;padding:1px 3px;transition:background-color .12s ease}.traceback-claim:where(.astro-3vdwby3d):hover{background-color:#fef3c7}.paper-tabs:where(.astro-5jf6kzlp){display:flex;gap:1.75rem;border-bottom:1px solid #e5e7eb;margin-bottom:2rem;padding:0}.paper-tab:where(.astro-5jf6kzlp){background:transparent;border:none;padding:.55rem 0 .75rem;margin:0 0 -1px;font-size:11.5px;font-weight:600;letter-spacing:.11em;text-transform:uppercase;font-variant:small-caps;color:#9ca3af;cursor:pointer;border-bottom:2px solid transparent;transition:color .12s ease,border-color .12s ease;font-family:inherit}.paper-tab:where(.astro-5jf6kzlp):hover{color:#4b5563}.paper-tab:where(.astro-5jf6kzlp)[aria-selected=true]{color:#269e8c;border-bottom-color:#269e8c}.paper-tab:where(.astro-5jf6kzlp):focus-visible{outline:2px solid #269E8C;outline-offset:2px;border-radius:2px}.paper-tab-panel{display:none}.paper-tab-panel[data-tab-active=true]{display:block}.paper-summary:where(.astro-mh5ah7jj){font-size:17px;line-height:1.55;color:#374151;margin:0 0 1.5rem;max-width:56rem;font-weight:400}.paper-summary:where(.astro-mh5ah7jj) p:where(.astro-mh5ah7jj){margin:0 0 .85rem}.paper-summary:where(.astro-mh5ah7jj) p:where(.astro-mh5ah7jj):last-child{margin-bottom:0}.paper-summary:where(.astro-mh5ah7jj) .summary-label:where(.astro-mh5ah7jj){display:inline-block;margin-right:.4rem;font-size:.72rem;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:#6b7280;vertical-align:baseline}.all-verified-badge:where(.astro-mh5ah7jj){font-size:.72rem;font-weight:600;color:#166534;background:#f0fdf4;border:1px solid #bbf7d0;padding:3px 10px;border-radius:4px;letter-spacing:.02em;white-space:nowrap}.alpha-index-details:where(.astro-mh5ah7jj)>summary:where(.astro-mh5ah7jj){list-style:none;font-size:.75rem;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:#6b7280;padding:.25rem 0}.alpha-index-details:where(.astro-mh5ah7jj)>summary:where(.astro-mh5ah7jj)::-webkit-details-marker{display:none}.alpha-index-details:where(.astro-mh5ah7jj) .alpha-index-chevron:where(.astro-mh5ah7jj){display:inline-block;transition:transform .15s ease}.alpha-index-details:where(.astro-mh5ah7jj)[open] .alpha-index-chevron:where(.astro-mh5ah7jj){transform:rotate(90deg)}