.lean-inspector[data-astro-cid-62pyccru]{background:var(--surface-bg);border:1px solid var(--border-subtle);border-radius:8px;margin-top:32px;padding:28px}.inspector-header[data-astro-cid-62pyccru]{margin-bottom:24px}.inspector-tag[data-astro-cid-62pyccru]{color:var(--lapis);letter-spacing:.06em;margin-bottom:8px;font-size:.75rem;font-weight:700;display:block}.inspector-title[data-astro-cid-62pyccru]{color:#fff;margin-bottom:8px;font-size:1.35rem;font-weight:700}.inspector-desc[data-astro-cid-62pyccru]{color:#cbd5e1;margin:0;font-size:.95rem;line-height:1.5}.theorems-grid[data-astro-cid-62pyccru]{grid-template-columns:1fr 1fr;gap:20px;margin-bottom:24px;display:grid}@media (width<=768px){.theorems-grid[data-astro-cid-62pyccru]{grid-template-columns:1fr}}.theorem-card[data-astro-cid-62pyccru]{border:1px solid var(--border-subtle);background:#06080c;border-radius:6px;flex-direction:column;justify-content:space-between;padding:20px;display:flex}.theorem-title[data-astro-cid-62pyccru]{color:var(--gold);margin-bottom:8px;font-size:.9rem;font-weight:700}.theorem-desc[data-astro-cid-62pyccru]{color:#94a3b8;margin-bottom:16px;font-size:.88rem;line-height:1.5}.proof-badge[data-astro-cid-62pyccru]{align-items:center;gap:6px;font-size:.75rem;font-weight:700;display:inline-flex}.code-drawer[data-astro-cid-62pyccru]{border:1px solid var(--border-subtle);background:#040508;border-radius:6px;overflow:hidden}.drawer-summary[data-astro-cid-62pyccru]{cursor:pointer;color:#cbd5e1;user-select:none;align-items:center;gap:10px;padding:12px 16px;font-size:.85rem;font-weight:600;transition:background .15s;display:flex}.drawer-summary[data-astro-cid-62pyccru]:hover{color:#fff;background:#ffffff08}.drawer-file[data-astro-cid-62pyccru]{color:var(--text-muted);margin-left:auto;font-size:.75rem}.chevron-icon[data-astro-cid-62pyccru]{transition:transform .2s}details[data-astro-cid-62pyccru][open] .chevron-icon[data-astro-cid-62pyccru]{transform:rotate(90deg)}.drawer-body[data-astro-cid-62pyccru]{border-top:1px solid var(--border-subtle);background:#020305;padding:16px}.lean-code[data-astro-cid-62pyccru]{color:#38bdf8;margin:0;font-size:.82rem;line-height:1.5;overflow-x:auto}