@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:400;src:url(/assets/inter-latin-400-normal-C38fXH4l.woff2) format("woff2"),url(/assets/inter-latin-400-normal-CyCys3Eg.woff) format("woff")}@font-face{font-family:Inter;font-style:normal;font-display:swap;font-weight:700;src:url(/assets/inter-latin-700-normal-Yt3aPRUw.woff2) format("woff2"),url(/assets/inter-latin-700-normal-BLAVimhd.woff) format("woff")}:root{--accent: #7cfcbd;color-scheme:dark;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;background:#07090b;color:#f3f7f4;font-synthesis:none;text-rendering:geometricPrecision}*{box-sizing:border-box}html,body,#app{width:100%;height:100%;margin:0;overflow:hidden}button,input{font:inherit}#scene{position:fixed;top:0;right:0;bottom:0;left:0;width:100%;height:100%;display:block;background:radial-gradient(circle at 50% 50%,rgba(31,43,44,.76),transparent 62%),linear-gradient(180deg,#0b0d10,#050606)}.hud{position:fixed;z-index:3;border:1px solid rgba(219,235,225,.16);background:#080b0cb8;-webkit-backdrop-filter:blur(18px) saturate(135%);backdrop-filter:blur(18px) saturate(135%);box-shadow:0 18px 60px #00000057}.hud-left{top:18px;left:18px;width:min(400px,calc(100vw - 36px));padding:16px;border-radius:8px}.hud-right{top:18px;right:18px;width:240px;padding:12px;border-radius:8px;display:grid;gap:10px}.brand{display:flex;align-items:center;gap:12px;min-width:0}.brand>div{min-width:0}.brand-mark{width:38px;height:38px;flex:0 0 auto;border:1px solid color-mix(in srgb,var(--accent) 70%,transparent);background:linear-gradient(135deg,color-mix(in srgb,var(--accent) 24%,transparent),transparent 45%),linear-gradient(315deg,rgba(255,179,89,.28),transparent 52%),#0c1412;box-shadow:inset 0 0 24px color-mix(in srgb,var(--accent) 20%,transparent);clip-path:polygon(50% 0,92% 25%,92% 75%,50% 100%,8% 75%,8% 25%)}h1,p{margin:0}h1{font-size:22px;line-height:1.05;letter-spacing:0;min-height:24px}.brand p{margin-top:3px;color:#9fb0a9;font-size:13px;min-height:17px}.variant-button,.icon-button{border:0;color:#dce7e1;background:transparent;cursor:pointer;transition:color .15s ease,background .15s ease,border-color .15s ease,transform .15s ease}.icon-button svg{width:17px;height:17px;stroke-width:2}.icon-button:hover{color:#fff;background:#ffffff14}.variant-grid{margin-top:10px;display:grid;grid-template-columns:repeat(5,minmax(0,1fr));gap:6px}.param-grid{margin-top:10px;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.param-cell{padding:6px 7px 5px;border:1px solid rgba(219,235,225,.1);border-radius:6px;background:#ffffff08}.param-cell span{display:block;color:#91a29b;font-size:10px;line-height:1.1;text-transform:uppercase;letter-spacing:.08em}.param-cell strong{display:block;margin-top:2px;color:var(--accent);font-size:14px;line-height:1.05;font-variant-numeric:tabular-nums}.message-panel{margin-top:14px;padding:12px;border:1px solid rgba(219,235,225,.1);border-radius:8px;background:#ffffff09}.message-panel span{display:block;color:#91a29b;font-size:11px;line-height:1.2;text-transform:uppercase;letter-spacing:.08em}.message-panel strong{display:block;margin-top:5px;color:#f4fff8;font-size:15px;line-height:1.2;font-variant-numeric:tabular-nums}.message-panel p{margin-top:6px;color:#aab8b2;font-size:12px;line-height:1.35}.overview-panel{margin-top:10px;padding:10px 11px 8px;border:1px solid rgba(219,235,225,.1);border-radius:8px;background:#ffffff09}.overview-head{display:flex;align-items:baseline;justify-content:space-between;gap:10px}.overview-head span{color:#91a29b;font-size:11px;line-height:1.2;text-transform:uppercase;letter-spacing:.08em}.overview-head strong{min-width:0;color:var(--accent);font-size:12px;line-height:1.2;text-align:right;font-variant-numeric:tabular-nums}#overviewMap{display:block;width:100%;height:132px;margin-top:8px}#overviewMap text{font-size:10px;letter-spacing:0}.crumbs{margin-top:12px;display:flex;flex-wrap:wrap;gap:6px}.crumb{min-width:0;height:28px;padding:0 9px;border:1px solid rgba(219,235,225,.12);border-radius:999px;color:#dce7e1;background:#ffffff09;cursor:pointer;font-size:12px}.crumb:disabled{color:#07100d;background:var(--accent);cursor:default}.variant-button{min-width:0;height:32px;padding:0 4px;border:1px solid rgba(219,235,225,.12);border-radius:7px;color:#dce7e1;background:#ffffff09;font-size:11px;font-weight:700;cursor:pointer;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.variant-button:hover{color:#fff;background:#ffffff14}.variant-button.active{color:#07100d;border-color:transparent;background:var(--accent)}.control-row{margin-top:16px;display:grid;grid-template-columns:auto minmax(0,1fr) 48px;align-items:center;gap:10px;color:#d9e5df;font-size:13px}.control-row strong{text-align:right;color:var(--accent);font-variant-numeric:tabular-nums}input[type=range]{width:100%;accent-color:var(--accent)}.toolbar{margin-top:14px;display:grid;grid-template-columns:repeat(4,42px);gap:8px}.icon-button{width:42px;height:42px;border:1px solid rgba(219,235,225,.12);border-radius:8px;display:inline-flex;align-items:center;justify-content:center}.icon-button.active{color:var(--accent);border-color:color-mix(in srgb,var(--accent) 52%,transparent);background:color-mix(in srgb,var(--accent) 12%,transparent)}.metric{padding:10px 11px;border:1px solid rgba(219,235,225,.1);border-radius:7px;background:#ffffff09}.metric span,.node-card span{display:block;color:#91a29b;font-size:11px;line-height:1.2;text-transform:uppercase;letter-spacing:.08em;min-height:14px}.metric strong{display:block;margin-top:4px;color:#f4fff8;font-size:20px;line-height:1;font-variant-numeric:tabular-nums;min-height:20px}.metric em{display:block;margin-top:4px;color:#aab8b2;font-size:11px;line-height:1.25;font-style:normal;letter-spacing:.01em}.node-card{position:fixed;z-index:3;left:18px;bottom:18px;width:min(320px,calc(100vw - 36px));padding:14px 15px;border:1px solid rgba(219,235,225,.14);border-radius:8px;background:#080b0cb8;-webkit-backdrop-filter:blur(18px) saturate(135%);backdrop-filter:blur(18px) saturate(135%)}.node-card strong{display:block;margin-top:5px;color:#fff;font-size:16px;line-height:1.18;min-height:19px}.node-card p{margin-top:6px;color:#aab8b2;font-size:13px;line-height:1.35;min-height:36px}.legend{position:fixed;z-index:3;right:18px;bottom:18px;display:flex;flex-wrap:wrap;justify-content:flex-end;gap:8px;max-width:min(520px,calc(100vw - 36px))}.legend span{display:inline-flex;align-items:center;gap:6px;height:30px;padding:0 10px;border:1px solid rgba(219,235,225,.12);border-radius:999px;color:#d2ddd7;background:#080b0cad;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);font-size:12px}.legend-dot{width:8px;height:8px;border-radius:50%}.inception-overlay{position:fixed;top:0;right:0;bottom:0;left:0;pointer-events:none;z-index:5;opacity:0;background:radial-gradient(circle at 50% 50%,#ffcf8c2e,#07090b00 24%,#07090bb8 60%,#07090bf5);mix-blend-mode:screen}.node-labels{position:fixed;top:0;right:0;bottom:0;left:0;pointer-events:none;z-index:2;transition:opacity .18s ease}.node-label{position:absolute;top:0;left:0;display:none;padding:3px 7px;border:1px solid rgba(219,235,225,.18);border-radius:6px;background:#080b0cc7;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);color:#f4fff8;font-size:10.5px;line-height:1.18;letter-spacing:.01em;white-space:nowrap;text-align:center;margin-top:-10px;pointer-events:none;font-variant-numeric:tabular-nums}.node-label strong{display:block;font-weight:700;font-size:11px;color:var(--accent)}.node-label em{display:block;margin-top:1px;font-style:normal;color:#aab8b2;font-size:9.5px}.node-label-root strong{color:#fff}.node-label-fors-pk strong,.node-label-fors-root strong,.node-label-fors strong{color:#61d6ff}.node-label-wots strong{color:#f35f8f}.node-label-xmss strong{color:#7cfcbd}.node-label-sigcell{border:1px solid rgba(97,214,255,.32);background:#0d161bc7}.node-label-sigcell strong{color:#61d6ff;font-size:10px;font-weight:700}.node-label-sigcell em{color:#ffcf8c;font-size:9px}.node-label-sigformula{border:1px solid rgba(255,207,140,.55);background:#0d0d0dd9;padding:7px 14px 6px;margin-top:-2px;box-shadow:0 4px 16px #0006}.node-label-sigformula strong{color:#ffcf8c;font-size:13px;font-weight:700;letter-spacing:.02em}.node-label-sigformula em{display:block;margin-top:3px;color:#f4fff8;font-size:11px;font-variant-numeric:tabular-nums}.node-label-truncation{border-style:dashed;border-color:#aab8b252;background:#080b0c8c}.node-label-truncation strong{color:#d2ddd7;font-size:10px;font-weight:600}.node-label-truncation em{color:#6e7c76;font-size:9px}.node-label-layer-divider{padding:0;border:0;background:transparent;box-shadow:none;-webkit-backdrop-filter:none;backdrop-filter:none;margin-top:2px}.node-label-layer-divider strong{color:#d77cff;font-size:15px;letter-spacing:0;text-transform:uppercase;text-shadow:0 0 8px rgba(215,124,255,.7),0 1px 2px rgba(0,0,0,.8)}.node-label-layer-divider em{display:none}.legend-dot.live{background:#7cfcbd}.legend-dot.path{background:#ffcf8c}.legend-dot.surrogate{background:#b264ff}.legend-dot.fors{background:#61d6ff}.legend-dot.wots{background:#f35f8f}.sig-formula-bar{position:fixed;z-index:4;bottom:84px;left:50%;transform:translate(-50%);padding:8px 18px 7px;border:1px solid rgba(255,207,140,.5);border-radius:8px;background:#080b0cd6;-webkit-backdrop-filter:blur(14px) saturate(135%);backdrop-filter:blur(14px) saturate(135%);text-align:center;font-variant-numeric:tabular-nums;letter-spacing:.02em;pointer-events:none;box-shadow:0 8px 24px #00000073}.sig-formula-bar strong{display:block;color:#ffcf8c;font-size:14px;font-weight:700}.sig-formula-bar em{display:block;margin-top:3px;color:#f4fff8;font-size:12px;font-style:normal}@media(max-width:820px){.hud-left{top:10px;left:10px;width:calc(100vw - 20px);padding:12px}.hud-right{top:auto;right:10px;bottom:64px;width:min(230px,calc(50vw - 14px));padding:8px;gap:7px}.metric{padding:8px}.metric strong{font-size:16px}.node-card{left:10px;bottom:64px;width:min(310px,calc(50vw - 14px))}.legend{right:10px;bottom:10px;left:10px;justify-content:center}}@media(max-width:560px){.brand h1{font-size:19px}.control-row{grid-template-columns:auto minmax(0,1fr) 42px}.toolbar{grid-template-columns:repeat(4,1fr)}.icon-button{width:100%}.hud-right,.node-card{display:none}.legend span{height:28px;padding:0 8px}}