.dg-scroll{position:relative;overflow:auto;max-width:100%;background:var(--surface);border:1px solid var(--border);border-radius:var(--radius)}.dg-loading.svelte-bkqw78{position:absolute;inset:0;z-index:1;display:flex;align-items:center;justify-content:center;gap:var(--sp-2);margin:0;font-size:var(--text-sm);color:var(--text-muted)}.dg-spinner.svelte-bkqw78{width:1.25rem;height:1.25rem;border:2px solid var(--border);border-top-color:var(--accent);border-radius:50%;animation:svelte-bkqw78-dg-spin .8s linear infinite}@keyframes svelte-bkqw78-dg-spin{to{transform:rotate(360deg)}}.dg-size.svelte-bkqw78{margin:0 auto}.dg-canvas.svelte-bkqw78{position:relative;transform-origin:top left;visibility:hidden}.dg-canvas.ready.svelte-bkqw78{visibility:visible}.dg-edges.svelte-bkqw78{position:absolute;inset:0;pointer-events:none}.dg-edge.svelte-bkqw78{fill:none;stroke:var(--border-strong);stroke-width:1.5}.dg-edge.lit.svelte-bkqw78{stroke:var(--accent);stroke-width:2.5}.dg-head.svelte-bkqw78{fill:var(--border-strong)}.dg-head.lit.svelte-bkqw78{fill:var(--accent)}.dg-node.svelte-bkqw78,.dg-label.svelte-bkqw78{position:absolute;left:0;top:0;width:max-content;font:inherit;color:var(--text);cursor:pointer}.dg-node.svelte-bkqw78{display:flex;flex-direction:column;align-items:center;gap:var(--sp-1);padding:var(--sp-2) var(--sp-3);background:var(--surface);border:1px solid var(--border-strong);border-radius:var(--radius)}.dg-node.assumption.svelte-bkqw78{border-style:dashed;background:var(--surface-2)}.dg-node.result.svelte-bkqw78{border:2px solid var(--accent)}.dg-node.lit.svelte-bkqw78{background:var(--accent-bg);box-shadow:0 0 0 2px var(--accent)}.dg-node.svelte-bkqw78 .katex-display{margin:0}.dg-node.svelte-bkqw78 .katex{font-size:1.05em}.dg-title.svelte-bkqw78{display:flex;align-items:center;gap:var(--sp-1);font-size:var(--text-sm);font-weight:600}.dg-flag.svelte-bkqw78{padding:0 var(--sp-1);font-size:var(--text-xs);font-weight:500;color:var(--warning-text);background:var(--warning-bg);border-radius:var(--radius-sm)}.dg-flag.added.svelte-bkqw78{color:var(--info-text);background:var(--info-bg)}.dg-label.svelte-bkqw78{display:flex;flex-direction:column;justify-content:center;max-width:13rem;min-height:24px;padding:1px var(--sp-1);font-size:var(--text-xs);line-height:1.3;text-align:center;color:var(--text-muted);background:var(--surface);border:1px solid transparent;border-radius:var(--radius-sm)}.dg-label.svelte-bkqw78 .ui-tex{color:inherit}.dg-label.corrected.svelte-bkqw78{border-color:var(--warning)}.dg-label.svelte-bkqw78:hover,.dg-node.svelte-bkqw78:hover{border-color:var(--accent)}.dg-label.lit.svelte-bkqw78{color:var(--accent);border-color:var(--accent);background:var(--accent-bg)}.dp.svelte-7jqtye{display:flex;flex-direction:column;gap:var(--sp-2);font-size:var(--text-md);line-height:var(--leading)}.dp.svelte-7jqtye p:where(.svelte-7jqtye),.dp.svelte-7jqtye ul:where(.svelte-7jqtye),.dp.svelte-7jqtye h4:where(.svelte-7jqtye){margin:0}.dp.svelte-7jqtye h4:where(.svelte-7jqtye){font-size:var(--text-sm);color:var(--text-muted)}.dp.svelte-7jqtye ul:where(.svelte-7jqtye){display:flex;flex-direction:column;gap:var(--sp-1);padding-left:var(--sp-4)}.dp-meta.svelte-7jqtye{font-size:var(--text-sm);color:var(--text-muted)}.dp-eq.svelte-7jqtye{overflow-x:auto;max-width:100%}.dp-eq.svelte-7jqtye .katex-display{margin:0}.dp-fact-title.svelte-7jqtye{font-weight:600}.dp-link.svelte-7jqtye,.dp-fact.svelte-7jqtye{padding:0;font:inherit;color:var(--accent);text-align:left;text-decoration:underline;background:none;border:none;cursor:pointer}.dp-fact.svelte-7jqtye{margin-left:var(--sp-1);font-size:var(--text-sm);color:var(--text-muted)}.dp-fact.svelte-7jqtye:before{content:"by "}.sd-pickers.svelte-gcvgv7{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,18rem),1fr));gap:var(--sp-3);margin-bottom:var(--sp-2)}.sd-paper.svelte-gcvgv7,.sd-section.svelte-gcvgv7{margin:0;font-size:var(--text-sm);color:var(--text-muted)}.sd-intro.svelte-gcvgv7{margin:var(--sp-3) 0}.sd-intro.svelte-gcvgv7 h2:where(.svelte-gcvgv7){margin:0;font-size:var(--text-xl)}.sd-intro.svelte-gcvgv7 p:where(.svelte-gcvgv7):last-child{margin:var(--sp-1) 0 0;max-width:70ch;line-height:var(--leading)}.sd-page.svelte-gcvgv7{max-width:none}.sd-toolbar.svelte-gcvgv7{display:flex;flex-wrap:wrap;align-items:center;gap:var(--sp-2) var(--sp-3);margin-bottom:var(--sp-2)}.sd-hint.svelte-gcvgv7{margin:0;font-size:var(--text-sm);color:var(--text-muted)}.sd-drawer.svelte-gcvgv7{position:fixed;top:var(--topbar-h);right:0;bottom:0;z-index:10;width:min(26rem,100vw);overflow-y:auto;background:var(--bg);border-left:1px solid var(--border);box-shadow:-4px 0 16px #00000026;animation:svelte-gcvgv7-sd-slide .15s ease-out}.sd-drawer.svelte-gcvgv7:focus{outline:none}.sd-drawer.svelte-gcvgv7:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}.sd-drawer.svelte-gcvgv7>.ui-panel{min-height:100%;border:none;border-radius:0}@keyframes svelte-gcvgv7-sd-slide{0%{transform:translate(100%)}}@media(prefers-reduced-motion:reduce){.sd-drawer.svelte-gcvgv7{animation:none}}