.proof.svelte-109zgus{--visual-h:32rem;border-radius:var(--radius-panel);background:var(--color-background);gap:.6rem;padding:.85rem;display:grid}.proof.svelte-109zgus .tag:where(.svelte-109zgus){color:#a09f98;font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:.1em;text-transform:uppercase;align-items:center;gap:.4rem;font-weight:500;display:flex}.proof.svelte-109zgus .dot:where(.svelte-109zgus){background:var(--mint);width:.4rem;height:.4rem;box-shadow:0 0 .5rem var(--mint);border-radius:50%}.proof.svelte-109zgus .tag.stale:where(.svelte-109zgus){color:#8a8a84}.proof.svelte-109zgus .tag.stale:where(.svelte-109zgus) .dot:where(.svelte-109zgus){box-shadow:none;background:#8a8a84}.mini-dashboard.svelte-109zgus{box-sizing:border-box;width:100%;height:var(--visual-h);color:var(--foreground);--color-foreground:var(--foreground);--color-border:var(--border);--text-dim:#a09f98;--text-faint:#8a8a84;--title-size:var(--fs-xs);--title-color:var(--text-faint);--axis-w:1.7rem;--graph-min:3rem}.mgrid.svelte-109zgus{grid-template-columns:repeat(4,minmax(0,1fr));grid-auto-rows:minmax(0,1fr);grid-auto-flow:dense;gap:.6rem;height:100%;display:grid}.obox.svelte-109zgus{border:1px solid var(--color-border);border-radius:var(--radius-control);background:var(--color-background);padding:.5rem .6rem;overflow:hidden}.obox.fill.svelte-109zgus{flex-direction:column;display:flex}.obox.fill.svelte-109zgus .panel,.obox.fill.svelte-109zgus .plot,.obox.fill.svelte-109zgus .mfleet:where(.svelte-109zgus){flex:1;min-height:0}.ofigure.svelte-109zgus{color:var(--color-foreground);font-size:var(--fs-base);letter-spacing:-.02em;font-weight:700;line-height:1.15;display:block}.ostat.svelte-109zgus{color:var(--text-dim);font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:.03em;margin-top:.15rem;font-weight:500;display:block}.mupdated.svelte-109zgus{color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:.02em;margin-top:.35rem;display:block}.mfleet.svelte-109zgus{height:100%;overflow:auto}.mfleet.svelte-109zgus table:where(.svelte-109zgus){border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:var(--fs-xs);white-space:nowrap}.mfleet.svelte-109zgus th:where(.svelte-109zgus),.mfleet.svelte-109zgus td:where(.svelte-109zgus){text-align:left;padding:.3rem .6rem .3rem 0;font-weight:400}.mfleet.svelte-109zgus thead:where(.svelte-109zgus) th:where(.svelte-109zgus){color:var(--text-dim);letter-spacing:.03em;border-bottom:1px solid var(--color-border);padding-top:0;padding-bottom:.4rem;font-weight:500}.mfleet.svelte-109zgus tbody:where(.svelte-109zgus) tr:where(.svelte-109zgus)+tr:where(.svelte-109zgus) th:where(.svelte-109zgus),.mfleet.svelte-109zgus tbody:where(.svelte-109zgus) tr:where(.svelte-109zgus)+tr:where(.svelte-109zgus) td:where(.svelte-109zgus){border-top:1px solid var(--color-border)}.mname.svelte-109zgus{color:var(--color-foreground);font-weight:500}.mstate.svelte-109zgus{color:var(--mint);text-transform:capitalize}.mstate.svelte-109zgus i:where(.svelte-109zgus){background:currentColor;width:.4rem;height:.4rem;margin-right:.4rem;display:inline-block}.mstate.warning.svelte-109zgus{color:var(--coral)}.mlimit.svelte-109zgus{color:var(--text-dim)}.musage.svelte-109zgus{min-width:3.5rem}.resource-bar.svelte-109zgus{background:var(--color-border);height:2px;margin-top:.3rem;display:block}.resource-bar.svelte-109zgus i:where(.svelte-109zgus){background:currentColor;min-width:0;height:100%;display:block}.ovolumes.svelte-109zgus{gap:.35rem;display:grid}.ovolume.svelte-109zgus{justify-content:space-between;align-items:center;gap:.6rem;display:flex}.ovolume-name.svelte-109zgus{font-size:var(--fs-xs);flex-direction:column;gap:.1rem;display:flex}.ovolume-name.svelte-109zgus .ostat:where(.svelte-109zgus){margin-top:0}.ovolumes.svelte-109zgus .capacity .reading{font-size:var(--fs-xs)}.study.svelte-1vji1x0{--ink:var(--amber)}.row.svelte-1vji1x0{grid-template-columns:minmax(0,21rem) minmax(0,1fr);align-items:start;gap:1.75rem;display:grid}.prose.svelte-1vji1x0+.foot-note:where(.svelte-1vji1x0){margin-top:.55rem}code.svelte-1vji1x0{font-family:var(--font-mono);font-size:var(--fs-xs);color:var(--color-foreground)}.mark.svelte-1vji1x0{font-size:var(--fs-h2)}.mark.small.svelte-1vji1x0{font-size:var(--fs-sm)}.mark.warn.svelte-1vji1x0{color:var(--amber);font-size:var(--fs-base)}.banner.svelte-1vji1x0{grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);align-items:start;gap:1.75rem;display:grid}.spec.svelte-1vji1x0 div:where(.svelte-1vji1x0){gap:.1rem;display:grid}.figure.svelte-1vji1x0 .unit:where(.svelte-1vji1x0){color:var(--text-dim);font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:0;margin-left:.12em;font-weight:500}.surface.svelte-1vji1x0{grid-template-columns:repeat(2,minmax(0,1fr));gap:.6rem;display:grid}.tray.svelte-1vji1x0{border:1px solid var(--color-border);border-radius:var(--radius-panel);background:color-mix(in srgb, var(--color-foreground) 2%, var(--background));padding:.75rem .85rem}.tray.svelte-1vji1x0 h3:where(.svelte-1vji1x0){font-family:var(--font-mono);font-size:var(--fs-sm);align-items:center;gap:.4rem;margin:0 0 .55rem;font-weight:600;display:flex}.tray.svelte-1vji1x0 ul:where(.svelte-1vji1x0){gap:.45rem;margin:0;padding:0;list-style:none;display:grid}.tray.svelte-1vji1x0 li:where(.svelte-1vji1x0){color:var(--text-dim);font-family:var(--font-mono);font-size:var(--fs-sm);padding-left:.85rem;line-height:1.55;position:relative}.tray.svelte-1vji1x0 li:where(.svelte-1vji1x0):before{content:"";background:var(--text-faint);width:.3rem;height:1px;position:absolute;top:.5em;left:0}.flows.svelte-1vji1x0{gap:.6rem;display:grid}.flow.svelte-1vji1x0{border:1px solid var(--color-border);border-radius:var(--radius-panel);background:color-mix(in srgb, var(--color-foreground) 2%, var(--background));padding:.75rem .85rem}.flow.svelte-1vji1x0 h3:where(.svelte-1vji1x0){font-family:var(--font-mono);font-size:var(--fs-sm);margin:0 0 .6rem;font-weight:600}.flow-body.svelte-1vji1x0{grid-template-columns:minmax(0,1fr) minmax(0,12rem);align-items:center;gap:1.25rem;display:grid}.stages.svelte-1vji1x0{flex-wrap:nowrap;justify-content:space-between;align-items:flex-start;gap:.5rem;display:flex;overflow-x:auto}.stage.svelte-1vji1x0{flex:initial;text-align:center;background:0 0;border:none;justify-items:center;min-width:4.5rem;padding:0}.stage.svelte-1vji1x0 strong:where(.svelte-1vji1x0){line-height:1.35}.stage.svelte-1vji1x0 span:where(.svelte-1vji1x0){color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-sm);line-height:1.35}.stage.svelte-1vji1x0 .mark:where(.svelte-1vji1x0){color:inherit;font-size:var(--fs-subhead)}.aside.svelte-1vji1x0{border-radius:var(--radius-control);background:color-mix(in srgb, var(--color-foreground) 5%, var(--background));color:var(--text-dim);font-family:var(--font-mono);font-size:var(--fs-sm);margin:0;padding:.6rem .7rem;line-height:1.6}.cores.svelte-1vji1x0{gap:.4rem;margin:.15rem 0 .7rem;display:grid}.cores-head.svelte-1vji1x0{color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:.12em;text-transform:uppercase}.core.svelte-1vji1x0{grid-template-columns:3rem minmax(0,1fr) 2.4rem;align-items:center;gap:.1rem .5rem;display:grid}.core-name.svelte-1vji1x0,.core-value.svelte-1vji1x0{color:var(--color-foreground);font-family:var(--font-mono);font-size:var(--fs-xs);font-weight:600}.core-value.svelte-1vji1x0{text-align:right}.core-track.svelte-1vji1x0{border-radius:var(--radius-control);background:color-mix(in srgb, var(--color-foreground) 8%, var(--background));height:.4rem}.core-track.svelte-1vji1x0 i:where(.svelte-1vji1x0){border-radius:inherit;background:color-mix(in srgb, var(--color-foreground) 25%, var(--background));height:100%;display:block}.core-track.svelte-1vji1x0 i.pinned:where(.svelte-1vji1x0){background:var(--mint)}.core-detail.svelte-1vji1x0{color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-sm);grid-column:2/-1}.readings.svelte-1vji1x0{grid-template-columns:repeat(2,minmax(0,1fr));gap:.5rem;display:grid}.reading.svelte-1vji1x0{border:1px solid var(--color-border);border-radius:var(--radius-control);gap:.1rem;padding:.6rem .7rem;display:grid}.rlabel.svelte-1vji1x0{color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-xs);letter-spacing:.12em;text-transform:uppercase}.reading.svelte-1vji1x0 strong:where(.svelte-1vji1x0){color:var(--color-foreground);font-family:var(--font-mono);font-size:var(--fs-sm);font-weight:700}.rnote.svelte-1vji1x0{color:var(--text-faint);font-family:var(--font-mono);font-size:var(--fs-sm);line-height:1.5}.ops.svelte-1vji1x0{grid-template-columns:repeat(5,minmax(0,1fr));display:grid}.op.svelte-1vji1x0{align-content:start;gap:.35rem;padding:0 .7rem;display:grid}.op.svelte-1vji1x0+.op:where(.svelte-1vji1x0){border-left:var(--rule)}.op.svelte-1vji1x0 strong:where(.svelte-1vji1x0){color:var(--color-foreground);font-family:var(--font-mono);font-size:var(--fs-sm);font-weight:600}.op.svelte-1vji1x0 .prose:where(.svelte-1vji1x0){font-size:var(--fs-sm)}.limits.svelte-1vji1x0 strong:where(.svelte-1vji1x0){color:var(--color-foreground);font-weight:600}.pair.svelte-1vji1x0{grid-template-columns:minmax(0,1.5fr) minmax(0,1fr);align-items:start;gap:.75rem;display:grid}@media (width<=60rem){.row.svelte-1vji1x0,.banner.svelte-1vji1x0,.pair.svelte-1vji1x0,.surface.svelte-1vji1x0,.flow-body.svelte-1vji1x0{grid-template-columns:minmax(0,1fr)}.ops.svelte-1vji1x0,.readings.svelte-1vji1x0{grid-template-columns:repeat(2,minmax(0,1fr))}.op.svelte-1vji1x0+.op:where(.svelte-1vji1x0){border-left:0}}