:root{--bg-primary:#0b0f19;--bg-secondary:#111827;--bg-card:#121826bf;--glass-bg:#121826bf;--glass-border:#ffffff14;--glass-border-hover:#3b82f64d;--accent:#3b82f6;--accent-hover:#60a5fa;--accent-glow:#3b82f640;--emerald-accent:#10b981;--rose-accent:#f43f5e;--amber-accent:#f59e0b;--purple-accent:#8b5cf6;--text-primary:#f3f4f6;--text-secondary:#d1d5db;--text-muted:#9ca3af;--shadow-sm:0 4px 16px #00000040;--shadow-lg:0 12px 40px #00000080;--radius-sm:8px;--radius-md:12px;--radius-lg:16px;--radius-full:9999px;--transition:all .25s cubic-bezier(.4, 0, .2, 1)}*{box-sizing:border-box;margin:0;padding:0}body{background-color:var(--bg-primary);color:var(--text-primary);background-image:radial-gradient(circle at 15% 15%,#3b82f614 0%,#0000 40%),radial-gradient(circle at 85% 85%,#8b5cf60f 0%,#0000 45%);min-height:100vh;font-family:Inter,system-ui,-apple-system,sans-serif;line-height:1.5;overflow-x:hidden}.glass-panel{background:var(--glass-bg);-webkit-backdrop-filter:blur(16px);border:1px solid var(--glass-border);border-radius:var(--radius-md);box-shadow:var(--shadow-sm);transition:var(--transition)}.glass-card{background:var(--glass-bg);-webkit-backdrop-filter:blur(14px);border:1px solid var(--glass-border);border-radius:var(--radius-md);box-shadow:var(--shadow-sm);transition:var(--transition);padding:1.5rem}.glass-card:hover{border-color:var(--glass-border-hover);transform:translateY(-2px);box-shadow:0 8px 30px #3b82f61f}.app-container{min-height:100vh;display:flex;position:relative}.app-main{flex-direction:column;flex:1;min-width:0;display:flex}.app-content{flex:1;width:100%;max-width:1400px;margin:0 auto;padding:2rem}.sidebar{-webkit-backdrop-filter:blur(20px);border-right:1px solid var(--glass-border);width:260px;transition:var(--transition);z-index:50;background:#0b0f19e6;flex-direction:column;height:100vh;display:flex;position:sticky;top:0}.sidebar.collapsed{width:72px}.sidebar-header{border-bottom:1px solid var(--glass-border);justify-content:space-between;align-items:center;padding:1.25rem 1.5rem;display:flex}.brand-logo{color:#fff;align-items:center;gap:.75rem;font-size:1.125rem;font-weight:700;text-decoration:none;display:flex}.brand-icon{width:36px;height:36px;box-shadow:0 0 15px var(--accent-glow);background:linear-gradient(135deg,#3b82f6 0%,#8b5cf6 100%);border-radius:10px;justify-content:center;align-items:center;display:flex}.sidebar-nav{flex-direction:column;flex:1;gap:.375rem;padding:1.5rem .75rem;display:flex}.nav-item{color:var(--text-muted);border-radius:var(--radius-sm);transition:var(--transition);cursor:pointer;border:1px solid #0000;align-items:center;gap:.875rem;padding:.75rem 1rem;font-size:.925rem;font-weight:500;text-decoration:none;display:flex}.nav-item:hover{color:var(--text-primary);background:#ffffff0a}.nav-item.active{color:#fff;background:linear-gradient(90deg,#3b82f62e 0%,#3b82f60d 100%);border-color:#3b82f64d;box-shadow:0 0 12px #3b82f626}.nav-icon{flex-shrink:0;width:20px;height:20px}.sidebar-footer{border-top:1px solid var(--glass-border);padding:1rem}.topbar{-webkit-backdrop-filter:blur(16px);border-bottom:1px solid var(--glass-border);z-index:40;background:#0b0f19cc;justify-content:space-between;align-items:center;height:70px;padding:0 2rem;display:flex;position:sticky;top:0}.topbar-search{width:320px;position:relative}.topbar-search input{border:1px solid var(--glass-border);border-radius:var(--radius-full);width:100%;color:var(--text-primary);transition:var(--transition);background:#ffffff0a;padding:.5rem 1rem .5rem 2.5rem;font-size:.875rem}.topbar-search input:focus{border-color:var(--accent);box-shadow:0 0 12px var(--accent-glow);background:#ffffff12;outline:none}.topbar-search-icon{color:var(--text-muted);width:16px;height:16px;position:absolute;top:50%;left:.875rem;transform:translateY(-50%)}.user-badge{border-radius:var(--radius-full);border:1px solid var(--glass-border);cursor:pointer;transition:var(--transition);background:#ffffff08;align-items:center;gap:.75rem;padding:.375rem .75rem;display:flex}.user-badge:hover{border-color:var(--glass-border-hover);background:#ffffff12}.avatar{color:#fff;background:linear-gradient(135deg,#3b82f6 0%,#10b981 100%);border-radius:50%;justify-content:center;align-items:center;width:34px;height:34px;font-size:.875rem;font-weight:600;display:flex;box-shadow:0 0 10px #3b82f64d}.form-group{flex-direction:column;gap:.5rem;margin-bottom:1.25rem;display:flex}.form-label{color:var(--text-secondary);font-size:.875rem;font-weight:500}.form-input{border:1px solid var(--glass-border);border-radius:var(--radius-sm);width:100%;color:var(--text-primary);transition:var(--transition);background:#0b0f1999;padding:.75rem 1rem;font-size:.95rem}.form-input:focus{border-color:var(--accent);box-shadow:0 0 14px var(--accent-glow);background:#0b0f19cc;outline:none}select.form-input{cursor:pointer;appearance:none;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%2394a3b8' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpolyline points='6 9 12 15 18 9'%3E%3C/polyline%3E%3C/svg%3E");background-position:right .65rem center;background-repeat:no-repeat;padding:.35rem 1.75rem .35rem .65rem;line-height:1.4}select.form-input option{color:#f8fafc;background-color:#0b0f19;padding:8px 12px;font-size:.85rem;line-height:1.5}.btn{border-radius:var(--radius-sm);cursor:pointer;transition:var(--transition);border:none;justify-content:center;align-items:center;gap:.5rem;padding:.75rem 1.5rem;font-size:.925rem;font-weight:600;text-decoration:none;display:inline-flex}.btn-primary{color:#fff;background:linear-gradient(135deg,#3b82f6 0%,#2563eb 100%);box-shadow:0 4px 16px #3b82f64d}.btn-primary:hover{background:linear-gradient(135deg,#60a5fa 0%,#3b82f6 100%);transform:translateY(-1px);box-shadow:0 6px 20px #3b82f673}.btn-secondary{color:var(--text-primary);border:1px solid var(--glass-border);background:#ffffff0d}.btn-secondary:hover{border-color:var(--glass-border-hover);background:#ffffff1a}.btn-danger{color:var(--rose-accent);background:#f43f5e26;border:1px solid #f43f5e4d}.btn-danger:hover{border-color:var(--rose-accent);background:#f43f5e40}.overlay-backdrop{-webkit-backdrop-filter:blur(8px);z-index:9999;background:#000000bf;justify-content:center;align-items:center;animation:.2s ease-out fadeIn;display:flex;position:fixed;inset:0}.auth-container{justify-content:center;align-items:center;min-height:100vh;padding:1.5rem;display:flex}.auth-card{-webkit-backdrop-filter:blur(24px);border-radius:var(--radius-lg);width:100%;max-width:420px;box-shadow:var(--shadow-lg);background:#121826d9;border:1px solid #ffffff1a;padding:2.5rem}.alert-error{color:var(--rose-accent);border-radius:var(--radius-sm);background:#f43f5e26;border:1px solid #f43f5e4d;margin-bottom:1rem;padding:.75rem 1rem;font-size:.875rem}.alert-success{color:var(--emerald-accent);border-radius:var(--radius-sm);background:#10b98126;border:1px solid #10b9814d;margin-bottom:1rem;padding:.75rem 1rem;font-size:.875rem}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.spinner{border:3px solid #ffffff1a;border-top-color:var(--accent);border-radius:50%;width:24px;height:24px;animation:.8s linear infinite spin}.sidebar-overlay{display:none}@media (width<=1024px){.sidebar{height:100vh;position:fixed;top:0;bottom:0;left:-260px}.sidebar.mobile-open{left:0}.sidebar-overlay{-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);z-index:45;background:#0009;display:block;position:fixed;inset:0}}.app-content-dense{flex:1;width:100%;max-width:1600px;margin:0 auto;padding:1rem 1.25rem}.glass-card-dense{background:var(--glass-bg);-webkit-backdrop-filter:blur(14px);border:1px solid var(--glass-border);border-radius:var(--radius-sm);box-shadow:var(--shadow-sm);padding:.85rem 1rem}.mono-font{font-family:JetBrains Mono,Fira Code,Courier New,monospace}.data-table-dense{border-collapse:collapse;text-align:left;width:100%;font-size:.825rem}.data-table-dense th{color:var(--text-secondary);border-bottom:1px solid var(--glass-border);text-transform:uppercase;letter-spacing:.03em;background:#ffffff0a;padding:.5rem .75rem;font-size:.75rem;font-weight:600}.data-table-dense td{color:var(--text-primary);vertical-align:middle;border-bottom:1px solid #ffffff0a;padding:.45rem .75rem}.data-table-dense tr:hover{cursor:pointer;background:#3b82f60f}.component-badge-list{flex-wrap:wrap;align-items:center;gap:.25rem;display:flex}.component-badge{color:#60a5fa;background:#3b82f626;border:1px solid #3b82f64d;border-radius:4px;align-items:center;gap:.25rem;padding:.1rem .4rem;font-family:monospace;font-size:.725rem;display:inline-flex}.badge-simple{color:#34d399;background:#10b98126;border-color:#10b9814d}.badge-composite{color:#c084fc;background:#8b5cf626;border-color:#8b5cf64d}.pagination-bar{border-top:1px solid var(--glass-border);color:var(--text-muted);background:#0b0f1966;justify-content:space-between;align-items:center;padding:.5rem .75rem;font-size:.8rem;display:flex}.pagination-controls{align-items:center;gap:.35rem;display:flex}dialog.native-dialog{-webkit-backdrop-filter:blur(20px);border-radius:var(--radius-md);color:var(--text-primary);width:90vw;max-width:540px;box-shadow:var(--shadow-lg);opacity:0;transition:opacity .2s ease-out, transform .2s ease-out, display .2s allow-discrete;background:#121826f2;border:1px solid #ffffff26;margin:auto;padding:1.5rem;transform:scale(.95)}dialog.native-dialog[open]{opacity:1;transform:scale(1)}dialog.native-dialog::backdrop{-webkit-backdrop-filter:blur(6px);background:#000000bf}.dialog-header{border-bottom:1px solid var(--glass-border);justify-content:space-between;align-items:center;margin-bottom:1rem;padding-bottom:.5rem;display:flex}.dialog-title{align-items:center;gap:.5rem;font-size:1.1rem;font-weight:600;display:flex}.context-menu-wrapper{display:inline-block;position:relative}.dropdown-menu{-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);border:1px solid var(--glass-border);border-radius:var(--radius-sm);box-shadow:var(--shadow-sm);z-index:100;background:#121826f2;min-width:130px;margin-top:.25rem;position:absolute;top:100%;right:0;overflow:hidden}.dropdown-item{width:100%;color:var(--text-primary);text-align:left;cursor:pointer;background:0 0;border:none;align-items:center;gap:.5rem;padding:.45rem .75rem;font-size:.8rem;transition:background .15s;display:flex}.dropdown-item:hover{background:#3b82f626}.dropdown-item.danger:hover{color:var(--rose-accent);background:#f43f5e26}.proof-canvas-container{animation:.3s ease-in-out fadeIn}.proof-level-zero{position:relative;overflow:hidden}.proof-level-zero:before{content:"";background:linear-gradient(90deg,#0000,#3b82f699,#a855f799,#0000);height:1px;position:absolute;top:0;left:20%;right:20%}.spin{animation:1s linear infinite spin}.proof-tree-wrapper{flex-direction:column;gap:1.25rem;width:100%;display:flex}.proof-tree-toolbar{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0f172a99;border:1px solid #3b82f633;border-radius:12px;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;padding:.6rem 1rem;display:flex}.proof-tree-search{background:#1e293b99;border:1px solid #47556966;border-radius:8px;flex:1;align-items:center;gap:.5rem;max-width:380px;padding:.35rem .75rem;display:flex}.proof-tree-search .search-icon{color:#94a3b8}.proof-tree-search-input{color:#f1f5f9;background:0 0;border:none;outline:none;width:100%;font-size:.825rem}.proof-tree-actions{gap:.5rem;display:flex}.tree-tool-btn{color:#93c5fd;cursor:pointer;background:#3b82f61f;border:1px solid #3b82f64d;border-radius:6px;padding:.35rem .65rem;font-size:.75rem;font-weight:500;transition:all .15s}.tree-tool-btn:hover{color:#fff;background:#3b82f640;border-color:#60a5fa}.proof-tree-container{flex-direction:column;align-items:center;gap:0;width:100%;display:flex;position:relative}.proof-tree-root-node{-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);z-index:2;background:linear-gradient(135deg,#1e3a8a59,#0f172ad9);border:1px solid #3b82f680;border-radius:16px;flex-direction:column;gap:.75rem;width:100%;max-width:900px;padding:1.25rem 1.5rem;display:flex;position:relative;box-shadow:0 0 30px #3b82f62e,0 8px 32px #0006}.root-node-glow{background:linear-gradient(90deg,#0000,#60a5fa,#38bdf8,#0000);height:2px;position:absolute;top:0;left:15%;right:15%}.root-node-header{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem;display:flex}.root-badge{text-transform:uppercase;letter-spacing:.06em;color:#93c5fd;background:#3b82f626;border:1px solid #3b82f64d;border-radius:999px;align-items:center;gap:.4rem;padding:.25rem .6rem;font-size:.75rem;font-weight:700;display:flex}.root-target-badge{color:#fcd34d;background:#f59e0b26;border:1px solid #f59e0b59;border-radius:8px;align-items:center;gap:.4rem;padding:.25rem .75rem;font-size:.8rem;display:flex}.root-node-content{color:#f8fafc;padding:.5rem 0;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace;font-size:1.05rem}.root-node-footer{color:#94a3b8;border-top:1px solid #3b82f626;gap:1.5rem;padding-top:.5rem;font-size:.775rem;display:flex}.root-node-footer code{color:#60a5fa}.proof-tree-stem{background:linear-gradient(#3b82f6cc,#3b82f64d);width:2px;height:28px;position:relative}.proof-tree-branch{flex-direction:column;width:100%;max-width:900px;margin-bottom:1rem;display:flex}.branch-header{cursor:pointer;-webkit-user-select:none;user-select:none;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border-radius:12px;justify-content:space-between;align-items:center;padding:.75rem 1.25rem;transition:all .2s;display:flex;position:relative}.branch-candidates{background:linear-gradient(90deg,#f59e0b26,#0f172ab3);border:1px solid #f59e0b4d}.branch-candidates:hover{border-color:#f59e0b80;box-shadow:0 0 16px #f59e0b1f}.branch-synthesized{background:linear-gradient(90deg,#a855f726,#0f172ab3);border:1px solid #a855f74d}.branch-subterms{background:linear-gradient(90deg,#64748b1f,#0f172ab3);border:1px solid #64748b40}.branch-title{color:#f8fafc;align-items:center;gap:.5rem;font-size:.9rem;font-weight:700;display:flex}.branch-count{color:#cbd5e1;background:#ffffff1a;border-radius:999px;padding:.15rem .5rem;font-size:.75rem}.branch-hint{color:#94a3b8;font-size:.75rem}.branch-children{flex-direction:column;gap:.6rem;padding:.75rem 0 .5rem 1.5rem;display:flex;position:relative}.branch-children:before{content:"";background:#4755694d;width:2px;position:absolute;top:0;bottom:1rem;left:.75rem}.tree-candidate-card{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0f172ab3;border:1px solid #47556966;border-radius:12px;flex-direction:column;gap:.5rem;padding:.75rem 1rem;transition:all .2s;display:flex;position:relative}.tree-candidate-card:before{content:"";background:#47556966;width:.75rem;height:2px;position:absolute;top:1.25rem;left:-.75rem}.tree-candidate-card:hover{background:#0f172ad9;border-color:#3b82f673}.tree-candidate-card.card-target{background:linear-gradient(135deg,#f59e0b26,#10b98114,#0f172ad9);border:1px solid #f59e0b99;box-shadow:0 0 20px #f59e0b26}.tree-candidate-card.card-selected{border-color:#3b82f6;box-shadow:0 0 16px #3b82f640}.tree-candidate-card.card-subterm{opacity:.75}.candidate-card-header{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;display:flex}.candidate-left{flex-wrap:wrap;align-items:center;gap:.6rem;display:flex}.cand-expand-toggle{color:#94a3b8;cursor:pointer;background:0 0;border:none;border-radius:4px;justify-content:center;align-items:center;padding:.2rem;display:flex}.cand-expand-toggle:hover{color:#f1f5f9;background:#ffffff0d}.cand-rank{color:#94a3b8;background:#1e293b99;border-radius:6px;padding:.15rem .45rem;font-size:.75rem;font-weight:700}.cand-rank.rank-gold{color:#fef08a;background:#f59e0b40;border:1px solid #f59e0b66}.badge-target-glow{color:#fef08a;background:linear-gradient(90deg,#f59e0b4d,#10b98133);border:1px solid #f59e0b;border-radius:999px;align-items:center;gap:.3rem;padding:.2rem .55rem;font-size:.725rem;font-weight:700;display:flex;box-shadow:0 0 10px #f59e0b66}.candidate-right{flex-wrap:wrap;align-items:center;gap:.85rem;display:flex}.cand-score-box{flex-direction:column;align-items:flex-end;gap:.2rem;min-width:80px;display:flex}.score-val{color:#38bdf8;font-family:ui-monospace,monospace;font-size:.9rem;font-weight:700}.score-mini-bar{background:#33415580;border-radius:999px;width:100%;height:4px;overflow:hidden}.score-mini-fill{border-radius:999px;height:100%;transition:width .3s}.cand-chips{gap:.3rem;display:flex}.cand-chip{color:#94a3b8;background:#1e293bb3;border:1px solid #4755694d;border-radius:4px;padding:.15rem .4rem;font-family:ui-monospace,monospace;font-size:.7rem}.cand-inspect-btn{color:#60a5fa;cursor:pointer;background:#3b82f626;border:1px solid #3b82f659;border-radius:6px;align-items:center;gap:.3rem;padding:.3rem .6rem;font-size:.725rem;font-weight:600;transition:all .15s;display:flex}.cand-inspect-btn:hover{color:#fff;background:#3b82f64d;border-color:#60a5fa}.cand-inspect-btn.active{color:#fff;background:#3b82f659;border-color:#60a5fa;box-shadow:0 0 8px #3b82f64d}.candidate-proof-accordion{border-top:1px solid #4755694d;margin-top:.5rem;padding-top:.75rem}.proof-evidential-sub{flex-direction:column;gap:.75rem;display:flex}.evidential-group{background:#0f172a80;border:1px solid #33415580;border-radius:8px;flex-direction:column;gap:.4rem;padding:.6rem .85rem;display:flex}.group-header{color:#cbd5e1;text-transform:uppercase;letter-spacing:.04em;align-items:center;gap:.4rem;font-size:.75rem;font-weight:600;display:flex}.group-content{flex-direction:column;gap:.35rem;display:flex}.axiom-pill{color:#e2e8f0;background:#10b9811a;border:1px solid #10b98140;border-radius:6px;align-items:center;gap:.4rem;padding:.25rem .55rem;font-family:ui-monospace,monospace;font-size:.775rem;display:flex}.axiom-score{color:#34d399;margin-left:auto;font-weight:700}.axiom-pill-empty{color:#64748b;padding:.2rem 0;font-size:.75rem;font-style:italic}.stepping-stone-row{align-items:center;gap:.6rem;font-size:.775rem;display:flex}.stone-wing-label{color:#94a3b8;min-width:85px;font-size:.725rem;font-weight:600}.stone-pill{background:#1e293bcc;border:1px solid #47556980;border-radius:6px;align-items:center;gap:.4rem;padding:.2rem .5rem;display:flex}.stone-winner{background:#3b82f626;border-color:#3b82f680}.stone-weight{color:#38bdf8;font-family:ui-monospace,monospace;font-size:.725rem;font-weight:600}.stone-none{color:#64748b;font-size:.75rem;font-style:italic}.alignments-grid{grid-templateColumns:repeat(auto-fill, minmax(220px, 1fr));gap:.4rem;display:grid}.alignment-chip{color:#e2e8f0;background:#1e293b99;border:1px solid #a855f74d;border-radius:6px;align-items:center;gap:.35rem;padding:.2rem .5rem;font-family:ui-monospace,monospace;font-size:.725rem;display:flex}.align-score{color:#c084fc;margin-left:auto;font-weight:600}.proof-sub-loading{color:#94a3b8;text-align:center;padding:.5rem 0;font-size:.75rem;font-style:italic}.subterms-explanation{color:#94a3b8;background:#1e293b80;border-left:3px solid #64748b;border-radius:4px;margin-bottom:.4rem;padding:.5rem .75rem;font-size:.75rem;line-height:1.4}.token-composite-wrap{flex-wrap:wrap;align-items:center;gap:.2rem;font-family:ui-monospace,monospace;font-size:.825rem;display:inline-flex}.token-bracket{color:#94a3b8;font-weight:700}.token-sep{color:#64748b}.token-chip{color:#93c5fd;background:#3b82f626;border:1px solid #3b82f659;border-radius:4px;padding:.1rem .4rem;font-weight:500}.token-atomic-chip{color:#f1f5f9;font-family:ui-monospace,monospace;font-size:.85rem;font-weight:600}.token-empty{color:#64748b}.tree-tool-btn.btn-active{color:#fff;background:#3b82f64d;border-color:#60a5fa;box-shadow:0 0 10px #3b82f640}.badge-rival-pill{color:#fed7aa;background:#ea580c33;border:1px solid #ea580c66;border-radius:999px;padding:.15rem .5rem;font-size:.7rem;font-weight:600}.badge-relation-pill{color:#6ee7b7;background:#10b98126;border:1px solid #10b98159;border-radius:999px;padding:.15rem .5rem;font-size:.7rem;font-weight:600}.badge-constituent-pill{color:#c4b5fd;background:#8b5cf626;border:1px solid #8b5cf659;border-radius:999px;padding:.15rem .5rem;font-size:.7rem;font-weight:600}.target-relations-grid{flex-wrap:wrap;gap:.4rem;display:flex}.target-rel-chip{background:#1e293bb3;border:1px solid #f59e0b59;border-radius:6px;align-items:center;gap:.35rem;padding:.2rem .5rem;font-family:ui-monospace,monospace;font-size:.775rem;display:inline-flex}.rel-edge{color:#f59e0b;font-size:.7rem;font-weight:700}.rel-weight{color:#34d399;margin-left:auto;font-size:.7rem;font-weight:600}.proof-step-node{flex-direction:column;width:100%;display:flex;position:relative}.proof-step-card{background:#0f172aa6;border:1px solid #47556966;border-radius:8px;flex-direction:column;gap:.35rem;padding:.55rem .75rem;transition:all .15s;display:flex}.proof-step-card:hover{background:#0f172acc;border-color:#60a5fa66}.step-header{align-items:center;gap:.5rem;font-size:.75rem;display:flex}.step-badge{color:#93c5fd;background:#3b82f633;border:1px solid #3b82f666;border-radius:4px;align-items:center;gap:.3rem;padding:.1rem .45rem;font-weight:700;display:flex}.step-wing-tag{color:#cbd5e1;background:#33415580;border-radius:4px;padding:.1rem .4rem;font-size:.7rem}.step-score{color:#38bdf8;margin-left:auto;font-family:ui-monospace,monospace;font-size:.75rem}.step-content{align-items:center;gap:.5rem;display:flex}.step-stone-winner{align-items:center;gap:.4rem;display:flex}.step-stone-label{color:#94a3b8;font-size:.725rem}.step-alternatives{border-top:1px dashed #4755694d;flex-wrap:wrap;align-items:center;gap:.4rem;margin-top:.15rem;padding-top:.3rem;display:flex}.alt-title{color:#64748b;font-size:.68rem;font-style:italic}.alt-chips-list{flex-wrap:wrap;gap:.25rem;display:flex}.alt-pill{color:#94a3b8;background:#1e293b80;border:1px solid #47556940;border-radius:3px;padding:.05rem .35rem;font-family:ui-monospace,monospace;font-size:.68rem}.alt-more{color:#64748b;font-size:.68rem}.proof-step-children{flex-direction:column;margin-top:.4rem;padding-left:1.25rem;display:flex;position:relative}.proof-step-children:before{content:"";background:linear-gradient(#3b82f680,#6366f133);width:2px;position:absolute;top:0;bottom:.5rem;left:.5rem}.step-terminal-node{padding:.3rem 0}.step-terminal-pill{color:#34d399;font-size:.725rem;font-style:italic}.csp-playground-container{max-width:1400px;color:var(--text-primary,#f1f5f9);flex-direction:column;gap:1.5rem;margin:0 auto;padding:1.5rem;display:flex}.csp-header-card{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0f172abf;border:1px solid #ffffff14;border-radius:12px;flex-direction:column;gap:1.25rem;padding:1.5rem;display:flex;box-shadow:0 8px 32px #0000005e}.csp-header-top{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;display:flex}.csp-title-area{align-items:center;gap:.75rem;display:flex}.csp-badge-pill{color:#60a5fa;background:#3b82f633;border:1px solid #3b82f64d;border-radius:9999px;padding:.25rem .6rem;font-size:.75rem;font-weight:600}.csp-controls-row{border-top:1px solid #ffffff0f;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1rem;padding-top:1rem;display:flex}.csp-preset-picker{align-items:center;gap:.75rem;display:flex}.csp-select{color:#f8fafc;cursor:pointer;background:#1e293bcc;border:1px solid #ffffff1f;border-radius:8px;outline:none;padding:.5rem .85rem;font-size:.875rem;transition:all .2s}.csp-select:focus{border-color:#3b82f6;box-shadow:0 0 0 2px #3b82f640}.csp-input{color:#f8fafc;background:#1e293bcc;border:1px solid #ffffff1f;border-radius:8px;outline:none;padding:.5rem .85rem;font-size:.875rem;transition:all .2s}.csp-input:focus{border-color:#3b82f6;box-shadow:0 0 0 2px #3b82f640}.csp-action-group{align-items:center;gap:.75rem;display:flex}.csp-btn-solve{color:#fff;cursor:pointer;background:linear-gradient(135deg,#2563eb,#3b82f6);border:none;border-radius:8px;align-items:center;gap:.5rem;padding:.6rem 1.4rem;font-size:.95rem;font-weight:600;transition:all .25s;display:flex;box-shadow:0 0 15px #2563eb66}.csp-btn-solve:hover:not(:disabled){background:linear-gradient(135deg,#1d4ed8,#2563eb);transform:translateY(-1px);box-shadow:0 0 22px #3b82f699}.csp-btn-solve:disabled{opacity:.6;cursor:not-allowed}.csp-btn-secondary{color:#cbd5e1;cursor:pointer;background:#1e293bcc;border:1px solid #ffffff1a;border-radius:8px;align-items:center;gap:.4rem;padding:.6rem 1rem;font-size:.875rem;font-weight:500;transition:all .2s;display:flex}.csp-btn-secondary:hover{color:#fff;background:#334155e6;border-color:#fff3}.csp-tabs-bar{border-bottom:1px solid #ffffff14;gap:.5rem;padding-bottom:.5rem;display:flex}.csp-tab-btn{color:var(--text-muted,#94a3b8);cursor:pointer;background:0 0;border:none;border-radius:8px;align-items:center;gap:.5rem;padding:.5rem 1.25rem;font-size:.9rem;font-weight:600;transition:all .2s;display:flex}.csp-tab-btn:hover{color:#f8fafc;background:#ffffff0d}.csp-tab-btn.active{color:#38bdf8;background:#38bdf81f;border:1px solid #38bdf84d}.csp-telemetry-grid{grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:1rem;display:grid}.csp-telemetry-card{-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);background:#0f172a99;border:1px solid #ffffff0f;border-radius:10px;flex-direction:column;gap:.35rem;padding:1rem;display:flex}.csp-telemetry-label{text-transform:uppercase;letter-spacing:.05em;color:var(--text-muted,#94a3b8);align-items:center;gap:.35rem;font-size:.75rem;display:flex}.csp-telemetry-value{color:#f8fafc;font-family:JetBrains Mono,Fira Code,monospace;font-size:1.4rem;font-weight:700}.csp-matrix-card{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0f172abf;border:1px solid #ffffff14;border-radius:12px;padding:1.5rem;overflow-x:auto;box-shadow:0 8px 32px #0000005e}.csp-matrix-table{border-collapse:collapse;width:100%;min-width:600px}.csp-matrix-table th,.csp-matrix-table td{text-align:left;border-bottom:1px solid #ffffff0f;padding:1rem}.csp-matrix-table th{color:#cbd5e1;text-transform:uppercase;letter-spacing:.04em;background:#1e293b80;font-size:.85rem;font-weight:600}.csp-matrix-table th:first-child{z-index:2;background:#141d2ff2;border-right:1px solid #ffffff14;position:sticky;left:0}.csp-matrix-table td:first-child{z-index:2;color:#38bdf8;background:#141d2ff2;border-right:1px solid #ffffff14;font-weight:600;position:sticky;left:0}.csp-cell-badge{color:#93c5fd;background:#3b82f626;border:1px solid #3b82f640;border-radius:6px;align-items:center;padding:.35rem .75rem;font-size:.85rem;font-weight:500;transition:transform .15s;display:inline-flex}.csp-cell-badge:hover{transform:scale(1.03)}.badge-cat-0{color:#93c5fd;background:#3b82f62e;border-color:#3b82f659}.badge-cat-1{color:#6ee7b7;background:#10b9812e;border-color:#10b98159}.badge-cat-2{color:#fcd34d;background:#f59e0b2e;border-color:#f59e0b59}.badge-cat-3{color:#f472b6;background:#ec48992e;border-color:#ec489959}.badge-cat-4{color:#d8b4fe;background:#a855f72e;border-color:#a855f759}.csp-editor-grid{grid-template-columns:1fr 1fr;gap:1.5rem;display:grid}@media (width<=1024px){.csp-editor-grid{grid-template-columns:1fr}}.csp-section-card{-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);background:#0f172abf;border:1px solid #ffffff14;border-radius:12px;flex-direction:column;gap:1rem;padding:1.5rem;display:flex}.csp-section-header{border-bottom:1px solid #ffffff0f;justify-content:space-between;align-items:center;padding-bottom:.75rem;display:flex}.csp-section-title{color:#f1f5f9;align-items:center;gap:.5rem;font-size:1.05rem;font-weight:600;display:flex}.csp-chips-container{flex-wrap:wrap;gap:.5rem;padding:.5rem 0;display:flex}.csp-chip{color:#e2e8f0;background:#1e293bcc;border:1px solid #ffffff1a;border-radius:9999px;align-items:center;gap:.4rem;padding:.3rem .65rem;font-size:.8rem;display:inline-flex}.csp-chip-remove{color:#94a3b8;cursor:pointer;background:0 0;border:none;align-items:center;padding:0;display:flex}.csp-chip-remove:hover{color:#f43f5e}.csp-rule-card{background:#1e293b80;border:1px solid #ffffff0f;border-radius:8px;justify-content:space-between;align-items:center;gap:.75rem;padding:.75rem 1rem;transition:all .2s;display:flex}.csp-rule-card:hover{background:#1e293bb3;border-color:#3b82f64d}.csp-rule-text{color:#e2e8f0;flex-wrap:wrap;align-items:center;gap:.4rem;font-size:.85rem;display:flex}.csp-rule-highlight{color:#60a5fa;font-weight:600}.csp-rule-type{text-transform:uppercase;color:#60a5fa;background:#3b82f633;border-radius:4px;padding:.15rem .4rem;font-size:.7rem;font-weight:700}.csp-form-row{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.csp-json-textarea{color:#38bdf8;resize:vertical;background:#0f172ae6;border:1px solid #ffffff1a;border-radius:8px;outline:none;width:100%;height:480px;padding:1rem;font-family:JetBrains Mono,Fira Code,monospace;font-size:.85rem;line-height:1.5}.csp-json-textarea:focus{border-color:#38bdf8;box-shadow:0 0 0 2px #38bdf833}.csp-cal-badge{text-align:center;border-radius:6px;width:26px;height:26px;font-family:monospace;font-size:.72rem;font-weight:700;line-height:26px;transition:transform .15s;display:inline-block}.csp-cal-badge:hover{transform:scale(1.15)}.csp-cal-badge-day{color:#34d399;background:#10b98133;border:1px solid #10b98173;box-shadow:0 0 6px #10b98126}.csp-cal-badge-night{color:#60a5fa;background:#3b82f633;border:1px solid #3b82f673;box-shadow:0 0 6px #3b82f626}.csp-cal-badge-sunday{color:#fbbf24;background:#f59e0b40;border:1px solid #f59e0b8c;box-shadow:0 0 8px #f59e0b40}.csp-cal-badge-off{color:#64748b;background:#ffffff0a;border:1px solid #ffffff0f}.csp-cal-table th,.csp-cal-table td{text-align:center;padding:.4rem .3rem}