.scholarly-viewer[data-astro-cid-p4jj6uoq]{border:1px solid var(--color-border);border-radius:var(--radius-subtle);background-color:var(--color-bg-surface);margin:var(--space-8) 0;overflow:hidden}.viewer-controls[data-astro-cid-p4jj6uoq]{display:flex;justify-content:space-between;align-items:center;padding:var(--space-3) var(--space-5);background-color:var(--color-bg-base);border-bottom:1px solid var(--color-border);font-family:var(--font-sans);font-size:.8125rem}.viewer-caption-label[data-astro-cid-p4jj6uoq]{color:var(--color-text-muted);margin-right:4px}.viewer-caption-state[data-astro-cid-p4jj6uoq]{color:var(--color-text-primary);font-weight:500}.viewer-tabs[data-astro-cid-p4jj6uoq]{display:flex;gap:var(--space-1);background-color:var(--color-bg-subtle);padding:3px;border-radius:var(--radius-subtle)}.viewer-tab[data-astro-cid-p4jj6uoq]{background:transparent;border:none;padding:4px 10px;font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-secondary);border-radius:var(--radius-subtle);cursor:pointer;transition:background-color var(--motion-duration) ease,color var(--motion-duration) ease}.viewer-tab[data-astro-cid-p4jj6uoq].active,.viewer-tab[data-astro-cid-p4jj6uoq]:hover{background-color:var(--color-bg-surface);color:var(--color-text-primary);box-shadow:0 1px 2px #0000000d}.viewer-grid[data-astro-cid-p4jj6uoq]{display:grid;min-height:520px}.viewer-grid[data-astro-cid-p4jj6uoq].view-split{grid-template-columns:1fr 1fr}.viewer-grid[data-astro-cid-p4jj6uoq].view-prose{grid-template-columns:1fr}.viewer-grid[data-astro-cid-p4jj6uoq].view-prose .viewer-proof[data-astro-cid-p4jj6uoq]{display:none}.viewer-grid[data-astro-cid-p4jj6uoq].view-proof{grid-template-columns:1fr}.viewer-grid[data-astro-cid-p4jj6uoq].view-proof .viewer-prose[data-astro-cid-p4jj6uoq]{display:none}.viewer-column[data-astro-cid-p4jj6uoq]{display:flex;flex-direction:column;overflow:hidden;min-width:0}.viewer-prose[data-astro-cid-p4jj6uoq]{border-right:1px solid var(--color-border)}.viewer-grid[data-astro-cid-p4jj6uoq].view-prose .viewer-prose[data-astro-cid-p4jj6uoq]{border-right:none}.column-header[data-astro-cid-p4jj6uoq]{padding:var(--space-3) var(--space-5);background-color:var(--color-bg-subtle);border-bottom:1px solid var(--color-border)}.column-title[data-astro-cid-p4jj6uoq]{font-family:var(--font-sans);font-size:.8125rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:var(--color-text-muted);margin:0}.column-content[data-astro-cid-p4jj6uoq]{padding:var(--space-6);overflow-y:auto;overflow-x:hidden;flex-grow:1;min-width:0}.viewer-column[data-astro-cid-p4jj6uoq] pre,.viewer-column[data-astro-cid-p4jj6uoq] .astro-code{overflow-x:auto;max-width:100%}@media(max-width:860px){.viewer-grid[data-astro-cid-p4jj6uoq].view-split{grid-template-columns:1fr}.viewer-prose[data-astro-cid-p4jj6uoq]{border-right:none;border-bottom:1px solid var(--color-border)}}.breadcrumb[data-astro-cid-ooedffs3]{display:flex;align-items:center;gap:var(--space-2);font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-muted);margin-bottom:var(--space-6)}.breadcrumb-link[data-astro-cid-ooedffs3]{color:var(--color-text-secondary)}.breadcrumb-link[data-astro-cid-ooedffs3]:hover{color:var(--color-accent)}.breadcrumb-separator[data-astro-cid-ooedffs3]{color:var(--color-border)}.paper-header[data-astro-cid-ooedffs3]{margin-bottom:var(--space-8)}.paper-meta[data-astro-cid-ooedffs3]{display:flex;justify-content:space-between;align-items:center;margin-bottom:var(--space-2)}.paper-date[data-astro-cid-ooedffs3]{font-family:var(--font-sans);font-size:.8125rem;color:var(--color-text-muted)}.paper-title[data-astro-cid-ooedffs3]{font-size:2.75rem;font-weight:600;line-height:1.2;margin-bottom:var(--space-6);color:var(--color-text-primary)}.notice-box[data-astro-cid-ooedffs3]{background-color:var(--color-bg-subtle);border:1px solid var(--color-border);border-radius:var(--radius-subtle);padding:var(--space-4) var(--space-5);font-family:var(--font-sans);font-size:.875rem;color:var(--color-text-secondary);line-height:1.5;margin-bottom:var(--space-6)}.abstract-section[data-astro-cid-ooedffs3]{background-color:var(--color-bg-surface);border:1px solid var(--color-border);border-radius:var(--radius-subtle);padding:var(--space-6);margin-bottom:var(--space-6)}.abstract-heading[data-astro-cid-ooedffs3]{font-family:var(--font-sans);font-size:.75rem;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--color-text-muted);margin-top:0;margin-bottom:var(--space-2)}.abstract-content[data-astro-cid-ooedffs3]{font-size:1.125rem;color:var(--color-text-primary);max-width:100%;margin-bottom:0}.paper-actions[data-astro-cid-ooedffs3]{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:var(--space-4)}.paper-tags[data-astro-cid-ooedffs3]{display:flex;flex-wrap:wrap;gap:var(--space-2)}.proof-column[data-astro-cid-ooedffs3]{display:flex;flex-direction:column;gap:var(--space-6)}.proof-block[data-astro-cid-ooedffs3]{background-color:var(--color-bg-surface);border:1px solid var(--color-border);border-radius:var(--radius-subtle);overflow:hidden}.proof-block-header[data-astro-cid-ooedffs3]{display:flex;justify-content:space-between;align-items:center;padding:var(--space-3) var(--space-4);background-color:var(--color-bg-base);border-bottom:1px solid var(--color-border-subtle);font-family:var(--font-sans);font-size:.8125rem;font-weight:500}.proof-block-tag[data-astro-cid-ooedffs3]{font-family:var(--font-mono);font-size:.6875rem;color:var(--color-accent)}.proof-block[data-astro-cid-ooedffs3] pre[data-astro-cid-ooedffs3]{margin:0;border:none;border-radius:0}.properties-summary[data-astro-cid-ooedffs3]{background-color:var(--color-bg-surface);border:1px solid var(--color-border);border-radius:var(--radius-subtle);padding:var(--space-4) var(--space-5);font-family:var(--font-sans);font-size:.8125rem;display:flex;flex-direction:column;gap:var(--space-2)}.property-row[data-astro-cid-ooedffs3]{display:flex;justify-content:space-between;align-items:center}.property-name[data-astro-cid-ooedffs3]{color:var(--color-text-muted)}.property-val[data-astro-cid-ooedffs3]{color:var(--color-text-primary);font-weight:500}@media(max-width:640px){.paper-title[data-astro-cid-ooedffs3]{font-size:2.15rem}.property-row[data-astro-cid-ooedffs3]{flex-direction:column;align-items:flex-start;gap:2px}}