.demigod-page{--dg-bg:var(--background);--dg-surface:var(--card);--dg-surface-2:color-mix(in srgb, var(--card) 90%, var(--foreground) 10%);--dg-text:var(--foreground);--dg-text-sub:var(--muted-foreground);--dg-text-mute:var(--faint-foreground);--dg-border:var(--border-default);--dg-border-strong:var(--border-strong);--dg-accent:var(--accent);--dg-accent-soft:color-mix(in srgb, var(--accent) 12%, transparent);--dg-info:var(--signal-info);--dg-info-soft:color-mix(in srgb, var(--signal-info) 12%, transparent);--dg-warn:var(--signal-warning);--dg-warn-soft:color-mix(in srgb, var(--signal-warning) 14%, transparent);--dg-ok:var(--signal-success);--dg-ok-soft:color-mix(in srgb, var(--signal-success) 14%, transparent);--dg-grid:color-mix(in srgb, var(--foreground) 12%, transparent);--dg-mono:"JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;background:var(--dg-bg);color:var(--dg-text);min-height:100dvh;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}.dg-header{border-bottom:1px solid var(--dg-border);background:color-mix(in srgb, var(--dg-bg) 88%, transparent);z-index:30;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);justify-content:space-between;align-items:center;padding:1rem max(1rem,50vw - 490px);display:flex;position:sticky;top:0}.dg-back{color:var(--dg-text-sub);align-items:center;gap:6px;font-size:.92rem;text-decoration:none;display:inline-flex}.dg-back:hover{color:var(--dg-text)}.dg-header-right{align-items:center;gap:.5rem;display:flex}.dg-main{max-width:980px;margin:0 auto;padding:2rem 1.5rem 4rem}.dg-hero{margin-bottom:2.5rem}.dg-hero-eyebrow{letter-spacing:.12em;text-transform:uppercase;color:var(--dg-text-mute);margin-bottom:8px;font-size:.75rem;font-weight:600}.dg-title{letter-spacing:-.02em;margin:0 0 .5rem;font-size:clamp(1.9rem,4.5vw,2.6rem);font-weight:700;line-height:1.15}.dg-title-sub{color:var(--dg-text-sub);margin-top:4px;font-size:.7em;font-weight:500;display:block}.dg-paper-meta{color:var(--dg-text-sub);flex-wrap:wrap;gap:.5rem 1.25rem;margin:.5rem 0 1.25rem;font-size:.86rem;display:flex}.dg-paper-meta a{color:var(--dg-accent);align-items:center;gap:4px;text-decoration:none;display:inline-flex}.dg-paper-meta a:hover{text-decoration:underline}.dg-lead{color:var(--dg-text-sub);max-width:760px;margin:0 0 1.5rem;font-size:1.05rem;line-height:1.7}.dg-numbers{grid-template-columns:repeat(3,1fr);gap:1rem;margin:1.5rem 0 2rem;display:grid}.dg-num-card{background:var(--dg-surface);border:1px solid var(--dg-border);border-radius:10px;padding:1rem 1.1rem;position:relative;overflow:hidden}.dg-num-card.is-god{border-color:color-mix(in srgb, var(--dg-ok) 50%, var(--dg-border))}.dg-num-card.is-demi{border-color:color-mix(in srgb, var(--dg-accent) 60%, var(--dg-border));background:var(--dg-accent-soft)}.dg-num-card.is-human{border-color:color-mix(in srgb, var(--dg-warn) 50%, var(--dg-border))}.dg-num-tag{letter-spacing:.08em;text-transform:uppercase;color:var(--dg-text-mute);margin-bottom:8px;font-size:.72rem;font-weight:600}.dg-num-big{font-variant-numeric:tabular-nums;font-size:clamp(2rem,5vw,2.6rem);font-weight:800;line-height:1}.dg-num-unit{color:var(--dg-text-sub);margin-left:4px;font-size:.5em;font-weight:500}.dg-num-sub{color:var(--dg-text-sub);margin-top:6px;font-size:.85rem;line-height:1.5}.dg-num-cite{color:var(--dg-text-mute);font-size:.78rem;font-family:var(--dg-mono);margin-top:6px}@media (max-width:640px){.dg-numbers{grid-template-columns:1fr}}.dg-section{margin:3rem 0}.dg-section h2{letter-spacing:-.01em;border-bottom:1px solid var(--dg-border);margin:0 0 .5rem;padding-bottom:.4rem;font-size:1.55rem;font-weight:700}.dg-section h3{letter-spacing:-.005em;margin:1.5rem 0 .6rem;font-size:1.1rem;font-weight:600}.dg-section h4{color:var(--dg-text-sub);letter-spacing:.02em;text-transform:uppercase;margin:1.2rem 0 .5rem;font-size:.95rem;font-weight:600}.dg-sec-lead{color:var(--dg-text-sub);max-width:760px;margin:.5rem 0 1.25rem;font-size:1rem;line-height:1.7}.dg-section p{margin:.85rem 0;line-height:1.75}.dg-section ul,.dg-section ol{padding-left:1.4rem;line-height:1.75}.dg-section li{margin:.35rem 0}.dg-theorem,.dg-lemma,.dg-definition,.dg-proof{border-left:3px solid var(--dg-accent);background:var(--dg-surface);border-radius:0 8px 8px 0;margin:1.2rem 0;padding:.85rem 1rem}.dg-lemma{border-left-color:var(--dg-info)}.dg-definition{border-left-color:var(--dg-text-mute)}.dg-proof{border-left-color:var(--dg-text-mute);background:var(--dg-surface-2);font-size:.95rem}.dg-theorem-head,.dg-lemma-head,.dg-def-head,.dg-proof-head{letter-spacing:.04em;text-transform:uppercase;align-items:center;gap:.5rem;margin-bottom:.4rem;font-size:.85rem;font-weight:700;display:inline-flex}.dg-theorem-head{color:var(--dg-accent)}.dg-lemma-head{color:var(--dg-info)}.dg-def-head,.dg-proof-head{color:var(--dg-text-mute)}.dg-theorem-head:after,.dg-lemma-head:after,.dg-def-head:after,.dg-proof-head:after{content:"";opacity:.3;border-bottom:1px dashed;flex:1}.dg-qed{float:right;font-family:var(--dg-mono);color:var(--dg-text-mute);margin-left:.5rem;display:inline-block}.dg-formula{background:var(--dg-surface);border:1px solid var(--dg-border);border-radius:8px;justify-content:center;margin:1.2rem 0;padding:1rem;display:flex;overflow-x:auto}.dg-formula-cap{text-align:center;color:var(--dg-text-sub);margin-top:-.4rem;margin-bottom:1.2rem;font-size:.85rem}.dg-callout{background:var(--dg-info-soft);border-left:3px solid var(--dg-info);border-radius:0 8px 8px 0;margin:1.2rem 0;padding:.9rem 1.1rem;font-size:.95rem;line-height:1.7}.dg-callout.is-warn{background:var(--dg-warn-soft);border-left-color:var(--dg-warn)}.dg-callout.is-ok{background:var(--dg-ok-soft);border-left-color:var(--dg-ok)}.dg-callout-h{letter-spacing:.03em;text-transform:uppercase;margin-bottom:.3rem;font-size:.85rem;font-weight:700;display:block}.dg-table-wrap{margin:1rem 0;overflow-x:auto}.dg-table{border-collapse:collapse;width:100%;min-width:480px;font-size:.92rem}.dg-table th,.dg-table td{text-align:left;border-bottom:1px solid var(--dg-border);padding:.55rem .7rem}.dg-table th{color:var(--dg-text-sub);background:var(--dg-surface);border-bottom:2px solid var(--dg-border-strong);font-weight:600}.dg-table td.is-num{font-family:var(--dg-mono);font-variant-numeric:tabular-nums;text-align:right}.dg-table tr.is-highlight{background:var(--dg-accent-soft)}.dg-history-grid{grid-template-columns:repeat(auto-fill,minmax(70px,1fr));gap:4px;margin:1rem 0;display:grid}.dg-history-cell{background:var(--dg-surface);border:1px solid var(--dg-border);text-align:center;font-family:var(--dg-mono);font-variant-numeric:tabular-nums;border-radius:6px;padding:8px;font-size:.85rem;position:relative}.dg-history-year{color:var(--dg-text-mute);margin-bottom:4px;font-size:.7rem}.dg-history-bounds{justify-content:center;align-items:baseline;gap:6px;display:flex}.dg-history-lo{color:var(--dg-info);font-weight:600}.dg-history-hi{color:var(--dg-warn);font-weight:600}.dg-history-dash{color:var(--dg-text-mute)}.dg-history-cell.is-final{border-color:var(--dg-ok);background:var(--dg-ok-soft)}.dg-interactive{border:1px solid var(--dg-border);background:var(--dg-surface);border-radius:10px;margin:1.2rem 0;padding:1rem 1.25rem}.dg-controls{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:.85rem 1.2rem;margin-bottom:1rem;display:grid}.dg-ctrl{flex-direction:column;gap:4px;display:flex}.dg-ctrl-label{color:var(--dg-text-sub);letter-spacing:.02em;justify-content:space-between;align-items:baseline;font-size:.78rem;font-weight:600;display:flex}.dg-ctrl-value{font-family:var(--dg-mono);font-variant-numeric:tabular-nums;color:var(--dg-text);font-size:.9rem;font-weight:600}.dg-ctrl input[type=range]{width:100%;accent-color:var(--dg-accent);cursor:pointer;margin:0}.dg-ctrl-pair{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.dg-radio-row{background:var(--dg-surface-2);border:1px solid var(--dg-border);border-radius:6px;gap:2px;padding:2px;display:inline-flex}.dg-radio-row button{color:var(--dg-text-sub);cursor:pointer;font-variant-numeric:tabular-nums;background:0 0;border:0;border-radius:4px;padding:4px 10px;font-family:inherit;font-size:.82rem}.dg-radio-row button.is-active{background:var(--dg-accent);color:var(--background)}.dg-radio-row button:hover:not(.is-active){color:var(--dg-text);background:color-mix(in srgb, var(--dg-accent) 12%, transparent)}.dg-readout{background:var(--dg-surface-2);border-radius:8px;grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:.6rem 1rem;margin-top:.8rem;padding:.85rem 1rem;display:grid}.dg-readout-item{flex-direction:column;gap:2px;display:flex}.dg-readout-label{text-transform:uppercase;letter-spacing:.05em;color:var(--dg-text-mute);font-size:.72rem}.dg-readout-val{font-family:var(--dg-mono);font-variant-numeric:tabular-nums;color:var(--dg-text);font-size:1.05rem;font-weight:600}.dg-readout-val.is-bad{color:var(--dg-warn)}.dg-readout-val.is-good{color:var(--dg-ok)}.dg-chart{background:var(--dg-surface-2);border-radius:8px;width:100%;margin-top:.5rem;padding:.5rem .5rem 0;display:block}.dg-chart-axis{stroke:var(--dg-grid);stroke-width:1px}.dg-chart-tick{stroke:var(--dg-grid);stroke-width:.5px;stroke-dasharray:2 3}.dg-chart-label,.dg-chart-tick-label{fill:var(--dg-text-mute);font-family:var(--dg-mono);font-variant-numeric:tabular-nums;font-size:10px}.dg-chart-line{fill:none;stroke-width:2px}.dg-chart-line.is-naive{stroke:var(--dg-warn)}.dg-chart-line.is-improved{stroke:var(--dg-accent)}.dg-chart-marker{stroke-width:1px;fill:var(--dg-surface)}.dg-chart-marker.is-naive{stroke:var(--dg-warn)}.dg-chart-marker.is-improved{stroke:var(--dg-accent)}.dg-chart-legend{color:var(--dg-text-sub);flex-wrap:wrap;gap:1rem;margin-top:-.4rem;padding:0 .5rem .5rem;font-size:.82rem;display:flex}.dg-chart-legend-item{align-items:center;gap:6px;display:inline-flex}.dg-chart-legend-swatch{border-radius:1px;width:14px;height:3px}.dg-chart-legend-swatch.is-naive{background:var(--dg-warn)}.dg-chart-legend-swatch.is-improved{background:var(--dg-accent)}.dg-chart-legend-swatch.is-paper{background:var(--dg-info)}.dg-chart-legend-swatch.is-live{background:var(--dg-ok)}.dg-hist-bar{cursor:default;transition:opacity .15s}.dg-hist-bar.is-paper{fill:var(--dg-info);fill-opacity:.85}.dg-hist-bar.is-live{fill:var(--dg-ok);fill-opacity:.85}.dg-hist-bar:hover{fill-opacity:1;filter:brightness(1.1)}.dg-hist-bar-label{fill:var(--dg-text);font-family:var(--dg-mono);text-anchor:middle;font-variant-numeric:tabular-nums;pointer-events:none;font-size:9px}.dg-hist-mean-line{stroke:var(--dg-warn);stroke-width:2px;stroke-dasharray:4 3}.dg-hist-mean-label{fill:var(--dg-warn);font-family:var(--dg-mono);font-size:11px;font-weight:600}.dg-vt-stage{grid-template-columns:1fr 1fr;align-items:center;gap:1rem;margin-top:.8rem;display:grid}.dg-vt-graph{background:var(--dg-surface-2);border-radius:8px;padding:.5rem}.dg-vt-node{fill:var(--dg-surface);stroke:var(--dg-border-strong);stroke-width:1.5px;transition:all .25s}.dg-vt-node.is-u{fill:var(--dg-info);stroke:var(--dg-info);r:8}.dg-vt-node.is-v{fill:var(--dg-warn);stroke:var(--dg-warn);r:8}.dg-vt-node.is-x{fill:var(--dg-accent);stroke:var(--dg-accent)}.dg-vt-edge{stroke:var(--dg-grid);stroke-width:1.2px}.dg-vt-edge.is-path{stroke:var(--dg-accent);stroke-width:2.5px}.dg-vt-label{fill:var(--dg-text);font-family:var(--dg-mono);text-anchor:middle;font-variant-numeric:tabular-nums;font-size:10px}.dg-vt-readout{font-family:var(--dg-mono);background:var(--dg-surface);border:1px solid var(--dg-border);border-radius:8px;padding:.85rem 1rem;font-size:.92rem;line-height:1.7}.dg-vt-readout .is-key{color:var(--dg-accent);font-weight:600}@media (max-width:640px){.dg-vt-stage{grid-template-columns:1fr}}.dg-sampler-controls{flex-wrap:wrap;align-items:center;gap:.5rem;margin-bottom:.8rem;display:flex}.dg-sampler-btn{border:1px solid var(--dg-border-strong);background:var(--dg-surface);color:var(--dg-text);cursor:pointer;border-radius:6px;padding:.5rem 1rem;font-family:inherit;font-size:.92rem;font-weight:500;transition:all .12s}.dg-sampler-btn:hover:not(:disabled){border-color:var(--dg-accent);color:var(--dg-accent)}.dg-sampler-btn.is-primary{background:var(--dg-accent);color:var(--background);border-color:var(--dg-accent)}.dg-sampler-btn.is-primary:hover:not(:disabled){background:color-mix(in srgb, var(--dg-accent) 90%, white);color:var(--background)}.dg-sampler-btn:disabled{opacity:.4;cursor:not-allowed}.dg-sampler-stats{font-family:var(--dg-mono);grid-template-columns:repeat(auto-fit,minmax(140px,1fr));gap:.4rem 1rem;margin-top:.6rem;font-size:.88rem;display:grid}.dg-sampler-stat-label{color:var(--dg-text-mute);font-size:.78rem}.dg-sampler-stat-val{font-variant-numeric:tabular-nums;font-size:1rem;font-weight:600}.dg-sampler-stat-val.is-conv{color:var(--dg-ok)}.dg-sampler-note{color:var(--dg-text-mute);margin-top:.6rem;font-size:.82rem;line-height:1.55}.dg-205-table{font-family:var(--dg-mono);background:var(--dg-surface);border:1px solid var(--dg-border);border-radius:8px;grid-template-columns:1fr auto;max-width:480px;margin:1rem 0;font-size:.9rem;display:grid;overflow:hidden}.dg-205-row{display:contents}.dg-205-row>*{border-bottom:1px solid var(--dg-border);padding:.45rem .85rem}.dg-205-row:last-child>*{background:var(--dg-surface-2);border-bottom:0;font-weight:700}.dg-205-row>:last-child{font-variant-numeric:tabular-nums;text-align:right;color:var(--dg-text-sub)}.dg-code{font-family:var(--dg-mono);background:var(--dg-surface-2);border:1px solid var(--dg-border);white-space:pre;color:var(--dg-text);border-radius:8px;margin:1rem 0;padding:.85rem 1rem;font-size:.85rem;line-height:1.55;overflow-x:auto}.dg-refs{padding-left:0;font-size:.92rem;line-height:1.7;list-style:none}.dg-refs li{margin:.35rem 0}.dg-refs li:before{content:"["attr(data-i)"]";font-family:var(--dg-mono);color:var(--dg-text-mute);margin-right:6px}.dg-refs a{color:var(--dg-accent);text-decoration:none}.dg-refs a:hover{text-decoration:underline}.dg-tex{font-size:1em}.dg-tex-block{margin:.8rem 0;display:block}@media (max-width:560px){.dg-main{padding:1.25rem 1rem 3rem}.dg-section h2{font-size:1.3rem}.dg-num-big{font-size:2rem}}