@import"https://fonts.googleapis.com/css2?family=Space+Grotesk:wght@300;400;500;600;700&family=Space+Mono:wght@400;700&family=Fraunces:ital,opsz,wght@0,9..144,300;0,9..144,500;0,9..144,700;1,9..144,400&display=swap";:root{--ink:#0d0c0b;--ink2:#3d3a36;--ink3:#7a7570;--ink4:#b8b3ac;--paper:#faf8f5;--paper2:#f2efe9;--paper3:#e8e4dc;--paper4:#ddd9d0;--violet:#5b21b6;--violet-mid:#7c3aed;--violet-lt:#ede9fe;--violet-bdr:#c4b5fd;--teal:#0d5c54;--teal-mid:#0f766e;--teal-lt:#ccfbf1;--teal-bdr:#5eead4;--gold:#92400e;--gold-mid:#b45309;--gold-lt:#fef3c7;--gold-bdr:#fcd34d;--crimson:#991b1b;--crimson-mid:#dc2626;--crimson-lt:#fee2e2;--crimson-bdr:#fca5a5;--emerald:#14532d;--emerald-mid:#16a34a;--emerald-lt:#dcfce7;--emerald-bdr:#86efac;--p1:var(--teal-mid);--p2:var(--violet-mid);--p3:var(--gold-mid);--p4:var(--emerald-mid);--serif:"Fraunces",Georgia,serif;--sans:"Space Grotesk",system-ui,sans-serif;--mono:"Space Mono","Courier New",monospace;--r-xs:4px;--r-sm:8px;--r-md:12px;--r-lg:18px;--r-xl:26px;--r-full:9999px;--sh-xs:0 1px 2px rgba(0,0,0,.06);--sh-sm:0 2px 8px rgba(0,0,0,.08),0 1px 2px rgba(0,0,0,.04);--sh-md:0 8px 24px rgba(0,0,0,.1),0 2px 6px rgba(0,0,0,.05);--sh-lg:0 20px 48px rgba(0,0,0,.12),0 4px 12px rgba(0,0,0,.06)}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:13px;scroll-behavior:smooth}body{font-family:var(--sans);background:var(--paper);color:var(--ink);-webkit-font-smoothing:antialiased;min-height:100vh}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--paper4);border-radius:var(--r-full)}::-webkit-scrollbar-thumb:hover{background:var(--ink4)}.shell{display:flex;flex-direction:column;min-height:100vh}.header{display:flex;align-items:center;justify-content:space-between;padding:0 28px;height:60px;background:var(--paper);border-bottom:1.5px solid var(--paper3);position:sticky;top:0;z-index:300;animation:slideDown .5s cubic-bezier(.16,1,.3,1) both}@keyframes slideDown{0%{transform:translateY(-100%);opacity:0}to{transform:none;opacity:1}}.hdr-brand{display:flex;align-items:center;gap:14px}.hdr-logo{font-family:var(--mono);font-size:13px;font-weight:700;color:var(--violet-mid);background:var(--violet-lt);border:1.5px solid var(--violet-bdr);border-radius:var(--r-sm);padding:5px 12px;letter-spacing:-.5px;-webkit-user-select:none;user-select:none}.hdr-text h1{font-family:var(--serif);font-size:17px;font-weight:500;color:var(--ink);font-style:italic;line-height:1}.hdr-text p{font-size:10.5px;color:var(--ink3);margin-top:2px;letter-spacing:.3px}.hdr-right{display:flex;align-items:center;gap:10px}.status-pill{display:flex;align-items:center;gap:6px;font-family:var(--mono);font-size:10px;color:var(--ink3);background:var(--paper2);border:1px solid var(--paper3);border-radius:var(--r-full);padding:4px 12px}.sdot{width:7px;height:7px;border-radius:50%;background:var(--teal-mid);animation:sdotPulse 2.4s ease infinite}@keyframes sdotPulse{0%,to{box-shadow:0 0 #0f766e66}50%{box-shadow:0 0 0 5px #0f766e00}}.tab-bar{display:flex;align-items:flex-end;padding:0 28px;background:var(--paper);border-bottom:1.5px solid var(--paper3)}.tbtab{padding:12px 20px;font-family:var(--sans);font-size:12px;font-weight:500;color:var(--ink3);background:none;border:none;border-bottom:2.5px solid transparent;margin-bottom:-1.5px;cursor:pointer;display:flex;align-items:center;gap:7px;transition:color .18s,border-color .18s;white-space:nowrap}.tbtab:hover{color:var(--ink)}.tbtab.active{color:var(--violet-mid);border-bottom-color:var(--violet-mid);font-weight:600}.tbtab.gold-tab{color:var(--gold-mid)}.tbtab.gold-tab.active{color:var(--gold-mid);border-bottom-color:var(--gold-mid)}.tab-count{font-family:var(--mono);font-size:9px;font-weight:700;background:var(--gold-lt);color:var(--gold-mid);border:1px solid var(--gold-bdr);padding:1px 6px;border-radius:var(--r-full)}.main-grid{display:grid;grid-template-columns:272px 1fr 296px;gap:16px;padding:16px 24px;align-items:start;animation:fadeUp .4s cubic-bezier(.16,1,.3,1) both}.panel{background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);box-shadow:var(--sh-sm);overflow:hidden}.panel-head{display:flex;align-items:center;justify-content:space-between;padding:14px 16px 0}.panel-title{font-family:var(--serif);font-size:14px;font-weight:500;color:var(--ink);font-style:italic;display:flex;align-items:center;gap:8px}.ptag{font-family:var(--mono);font-size:9px;font-weight:700;background:var(--paper2);border:1px solid var(--paper3);color:var(--ink4);padding:1px 6px;border-radius:var(--r-xs);font-style:normal}.panel-body{padding:12px 16px 16px}.grammar-hint{font-size:11px;color:var(--ink3);line-height:1.7;margin:6px 0 8px}.grammar-hint code{font-family:var(--mono);background:var(--paper2);padding:1px 5px;border-radius:var(--r-xs);color:var(--violet-mid);font-size:11px}.garea{width:100%;font-family:var(--mono);font-size:11.5px;line-height:1.9;padding:10px 12px;background:var(--paper2);border:1.5px solid var(--paper3);border-radius:var(--r-md);color:var(--ink);resize:vertical;outline:none;transition:border-color .18s,background .18s,box-shadow .18s;caret-color:var(--violet-mid)}.garea:focus{border-color:var(--violet-mid);background:var(--paper);box-shadow:0 0 0 3px #7c3aed1a}.presets{display:flex;flex-wrap:wrap;gap:5px;margin:8px 0 2px}.pchip{font-family:var(--mono);font-size:10px;font-weight:700;padding:3px 10px;border-radius:var(--r-full);border:1.5px solid var(--paper3);background:var(--paper2);color:var(--ink2);cursor:pointer;transition:all .15s}.pchip:hover{background:var(--violet-lt);border-color:var(--violet-bdr);color:var(--violet-mid);transform:translateY(-1px)}.btns{display:flex;flex-direction:column;gap:7px;margin-top:4px}.btn{display:flex;align-items:center;gap:10px;width:100%;padding:10px 14px;font-family:var(--sans);font-size:12px;font-weight:600;border-radius:var(--r-md);cursor:pointer;border:1.5px solid var(--paper3);background:var(--paper2);color:var(--ink);transition:all .15s;letter-spacing:-.1px}.btn:hover{transform:translateY(-2px);box-shadow:var(--sh-sm)}.btn:active{transform:translateY(0);box-shadow:none}.bico{font-size:15px;width:20px;text-align:center;flex-shrink:0}.btn-primary{background:var(--violet-mid);border-color:var(--violet-mid);color:#fff;box-shadow:0 4px 14px #7c3aed59}.btn-primary:hover{background:#6d28d9;box-shadow:0 6px 20px #7c3aed73}.btn-teal{background:var(--teal-mid);border-color:var(--teal-mid);color:#fff;box-shadow:0 4px 14px #0f766e4d}.btn-teal:hover{background:var(--teal);box-shadow:0 6px 20px #0f766e66}.btn-gold{background:var(--gold-mid);border-color:var(--gold-mid);color:#fff;box-shadow:0 4px 14px #b453094d}.btn-gold:hover{background:var(--gold);box-shadow:0 6px 20px #b4530966}.btn-ghost{background:transparent;border-color:transparent;color:var(--ink4);font-size:11px}.btn-ghost:hover{background:var(--paper2);color:var(--ink2);box-shadow:none}.btn-sm{padding:6px 12px;font-size:11px;width:auto;border-radius:var(--r-sm)}.sim-section{margin-top:14px;padding-top:14px;border-top:1.5px dashed var(--paper3)}.sim-row{display:flex;gap:7px;margin-top:8px}.sim-input{flex:1;padding:8px 12px;font-family:var(--mono);font-size:13px;font-weight:700;letter-spacing:3px;background:var(--paper2);border:1.5px solid var(--paper3);border-radius:var(--r-md);color:var(--ink);outline:none;transition:border-color .15s,box-shadow .15s}.sim-input:focus{border-color:var(--teal-mid);box-shadow:0 0 0 3px #0f766e1a}.sim-result{margin-top:10px;padding:10px 14px;border-radius:var(--r-md);font-family:var(--mono);font-size:12px;font-weight:700;letter-spacing:.5px;animation:resultPop .35s cubic-bezier(.34,1.56,.64,1) both}@keyframes resultPop{0%{opacity:0;transform:scale(.9)}to{opacity:1;transform:scale(1)}}.sim-accept{background:var(--emerald-lt);color:var(--emerald);border:1.5px solid var(--emerald-bdr)}.sim-reject{background:var(--crimson-lt);color:var(--crimson);border:1.5px solid var(--crimson-bdr)}.cfg-rules-box{background:var(--paper2);border:1.5px solid var(--paper3);border-radius:var(--r-md);padding:10px 12px;margin-top:10px}.cfg-rule-row{display:flex;align-items:center;gap:8px;padding:4px 0;border-bottom:1px dashed var(--paper3);font-family:var(--mono);font-size:11.5px}.cfg-rule-row:last-child{border-bottom:none}.r-nt{color:var(--violet-mid);font-weight:700;min-width:18px}.r-arr{color:var(--ink4)}.r-term{color:var(--teal-mid);font-weight:700}.r-eps{color:var(--gold-mid);font-weight:700}.cfg-legend{display:flex;gap:12px;margin-top:8px;font-size:10px;color:var(--ink4)}.cfg-legend span{display:flex;align-items:center;gap:4px}.canvas-card{background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);box-shadow:var(--sh-sm);overflow:hidden}.canvas-toolbar{display:flex;align-items:center;justify-content:space-between;padding:12px 16px;border-bottom:1.5px solid var(--paper3);background:var(--paper)}.ctitle{font-family:var(--serif);font-size:14px;font-style:italic}.ctrls{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.ctrl{padding:5px 12px;font-size:10px;font-weight:700;font-family:var(--mono);border:1.5px solid var(--paper3);border-radius:var(--r-sm);background:var(--paper2);color:var(--ink2);cursor:pointer;transition:all .15s;letter-spacing:.3px}.ctrl:hover{background:var(--paper3)}.ctrl.playing{background:var(--violet-mid);border-color:var(--violet-mid);color:#fff}.sbadge{font-family:var(--mono);font-size:10px;font-weight:700;background:var(--paper2);border:1px solid var(--paper3);padding:4px 10px;border-radius:var(--r-sm);color:var(--ink3)}select.ctrl{padding:4px 8px;-webkit-appearance:none;-moz-appearance:none;appearance:none;cursor:pointer}.pda-wrap{width:100%;height:420px;background:radial-gradient(ellipse at center,var(--paper) 0%,var(--paper2) 100%);display:flex;align-items:center;justify-content:center;overflow:hidden}.pda-svg{width:100%;height:100%;display:block}.empty-state{display:flex;flex-direction:column;align-items:center;gap:12px}.empty-ring{width:60px;height:60px;border-radius:50%;border:2.5px dashed var(--paper4);display:flex;align-items:center;justify-content:center;font-size:24px;color:var(--ink4);animation:spinSlow 10s linear infinite}@keyframes spinSlow{to{transform:rotate(360deg)}}.empty-state p{font-size:12px;color:var(--ink4);text-align:center;line-height:1.7}.empty-state strong{color:var(--violet-mid)}.sub-row{display:flex;gap:16px;padding:12px 16px;border-top:1.5px solid var(--paper3);min-height:72px;align-items:flex-start}.stack-col{flex:0 0 155px}.stack-col h4{font-size:9px;font-weight:700;text-transform:uppercase;letter-spacing:.8px;color:var(--ink4);margin-bottom:7px;font-family:var(--mono)}.stack-chips{display:flex;flex-wrap:wrap;gap:4px}.stack-chip{padding:3px 9px;font-family:var(--mono);font-size:11px;font-weight:700;border-radius:var(--r-sm);background:var(--paper2);border:1.5px solid var(--paper3);color:var(--ink);animation:chipPop .25s cubic-bezier(.34,1.56,.64,1) both}@keyframes chipPop{0%{opacity:0;transform:scale(.5)}to{opacity:1;transform:scale(1)}}.stack-chip.s-top{background:var(--violet-lt);border-color:var(--violet-bdr);color:var(--violet-mid)}.stack-chip.s-bot{background:var(--gold-lt);border-color:var(--gold-bdr);color:var(--gold-mid)}.hint-col{flex:1}.phase-label{display:inline-flex;align-items:center;gap:5px;font-family:var(--mono);font-size:10px;font-weight:700;padding:2px 9px;border-radius:var(--r-full);margin-bottom:5px;letter-spacing:.3px}.hint-col p{font-size:11px;color:var(--ink2);line-height:1.7}.steps-panel{display:flex;flex-direction:column}.active-card{margin:12px 16px 0;padding:12px 14px;background:linear-gradient(135deg,var(--violet-lt) 0%,#f8f5ff 100%);border:1.5px solid var(--violet-bdr);border-radius:var(--r-md);animation:activeCardIn .3s cubic-bezier(.16,1,.3,1) both}@keyframes activeCardIn{0%{opacity:0;transform:scale(.97) translateY(-4px)}to{opacity:1;transform:none}}.ac-phase{font-size:9px;font-family:var(--mono);font-weight:700;text-transform:uppercase;letter-spacing:.6px;margin-bottom:4px}.ac-title{font-family:var(--serif);font-size:14px;font-style:italic;color:var(--violet-mid);margin-bottom:5px}.ac-desc{font-size:11px;color:var(--ink2);line-height:1.7;margin-bottom:6px}.ac-rule{display:inline-block;font-family:var(--mono);font-size:11px;font-weight:700;background:#fffc;border:1.5px solid var(--violet-bdr);padding:3px 10px;border-radius:var(--r-sm);color:var(--violet-mid)}.ac-stack{font-family:var(--mono);font-size:10px;color:var(--ink3);margin-top:5px}.steps-scroll{overflow-y:auto;max-height:260px;padding:10px 16px 2px}.step-row{display:flex;align-items:flex-start;gap:9px;padding:8px 10px;border-radius:var(--r-sm);border:1.5px solid transparent;cursor:pointer;transition:all .15s;margin-bottom:3px}.step-row:hover{background:var(--paper2)}.step-row.active{background:var(--violet-lt);border-color:var(--violet-bdr)}.snum{width:20px;height:20px;flex-shrink:0;border-radius:50%;background:var(--paper2);border:1.5px solid var(--paper3);display:flex;align-items:center;justify-content:center;font-family:var(--mono);font-size:9px;font-weight:700;color:var(--ink3);transition:all .15s}.step-row.active .snum{background:var(--violet-mid);border-color:var(--violet-mid);color:#fff}.sbody{flex:1;min-width:0}.s-title{font-size:11.5px;font-weight:600;color:var(--ink);display:flex;align-items:center;gap:5px}.step-row.active .s-title{color:var(--violet-mid)}.s-rule{font-family:var(--mono);font-size:10px;color:var(--violet-mid);margin-top:1px}.phase-dot{width:7px;height:7px;border-radius:50%;flex-shrink:0}.sim-panel{margin:10px 16px 16px;padding-top:12px;border-top:1.5px dashed var(--paper3)}.trace-scroll{max-height:160px;overflow-y:auto;margin-top:8px}.trace-row{display:flex;align-items:center;gap:5px;padding:4px 8px;border-radius:var(--r-xs);font-family:var(--mono);font-size:10px;margin-bottom:2px}.trace-row:hover{background:var(--paper2)}.tr-state{color:var(--violet-mid);font-weight:700;min-width:44px}.tr-lbl{color:var(--ink3);flex:1;font-size:9.5px}.tr-inp{color:var(--teal-mid);font-weight:700}.tr-stk{color:var(--gold-mid);font-size:9px}.deriv-strip{margin:0 24px 14px;padding:14px 18px;background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);box-shadow:var(--sh-xs);animation:fadeUp .3s ease both}.deriv-title{font-size:9.5px;font-weight:700;text-transform:uppercase;letter-spacing:.8px;color:var(--ink4);margin-bottom:10px;font-family:var(--mono)}.deriv-steps{display:flex;align-items:center;flex-wrap:wrap;gap:8px}.deriv-token{font-family:var(--mono);font-size:12px;font-weight:700;padding:5px 12px;border-radius:var(--r-sm);background:var(--paper2);border:1.5px solid var(--paper3);color:var(--ink);transition:all .3s ease}.deriv-token.done{background:var(--teal-lt);border-color:var(--teal-bdr);color:var(--teal)}.deriv-token.current{background:var(--violet-lt);border-color:var(--violet-bdr);color:var(--violet-mid);transform:scale(1.06)}.deriv-arrow{color:var(--ink4);font-size:14px;font-weight:700}.cfg-tab-wrap{padding:0 24px 28px;animation:fadeUp .35s ease both}.equiv-hero{margin-bottom:18px;padding:24px 28px;background:linear-gradient(135deg,#1e1248,#2d1b69 40%,#1a3a5c);border-radius:var(--r-xl);color:#fff;position:relative;overflow:hidden;box-shadow:var(--sh-lg)}.equiv-hero:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background:radial-gradient(ellipse at 70% 50%,rgba(124,58,237,.3) 0%,transparent 60%)}.equiv-badge{display:inline-flex;align-items:center;gap:6px;font-family:var(--mono);font-size:10px;font-weight:700;background:#ffffff1f;border:1px solid rgba(255,255,255,.2);border-radius:var(--r-full);padding:3px 12px;color:#c4b5fd;margin-bottom:12px;letter-spacing:.4px}.equiv-theorem{font-family:var(--serif);font-size:22px;font-weight:300;font-style:italic;line-height:1.4;color:#e9d5ff;margin-bottom:10px;position:relative}.equiv-iff{font-style:normal;font-weight:700;background:#fbbf2440;border:1px solid rgba(251,191,36,.4);border-radius:5px;padding:1px 8px;margin:0 4px;color:#fbbf24}.equiv-sub{font-size:11.5px;color:#a5b4fc;line-height:1.7;position:relative}.dir-chip{display:inline-flex;align-items:center;font-family:var(--mono);font-size:10px;font-weight:700;border-radius:var(--r-xs);padding:1px 8px;margin-right:5px}.cfg-2col{display:grid;grid-template-columns:1fr 1fr;gap:16px}.cfg-card{background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);overflow:hidden;box-shadow:var(--sh-sm)}.cfg-card-head{padding:14px 16px;border-bottom:1.5px solid var(--paper3);font-family:var(--serif);font-size:14px;font-style:italic;display:flex;align-items:center;justify-content:space-between;background:linear-gradient(to right,var(--paper),var(--paper2))}.cfg-card-body{padding:14px 16px}.method-step{padding:10px 12px;border-radius:var(--r-md);border:1.5px solid var(--paper3);margin-bottom:8px;background:var(--paper2);border-left-width:4px;transition:transform .15s}.method-step:hover{transform:translate(3px)}.ms-label{font-size:11px;font-weight:700;margin-bottom:4px;font-family:var(--mono)}.ms-formula{font-family:var(--mono);font-size:10px;color:var(--ink2);background:#ffffffb3;padding:4px 8px;border-radius:var(--r-xs);margin-bottom:5px;border:1px solid var(--paper3)}.ms-explain{font-size:10.5px;color:var(--ink2);line-height:1.6}.prod-list{max-height:360px;overflow-y:auto}.prod-row{display:flex;align-items:baseline;gap:8px;padding:5px 9px;border-radius:var(--r-xs);font-family:var(--mono);font-size:10.5px;border-bottom:1px solid var(--paper3);transition:background .1s}.prod-row:last-child{border-bottom:none}.prod-row:hover{background:var(--paper2)}.prod-row.is-start{background:var(--violet-lt);border-color:var(--violet-bdr);border-bottom-color:var(--violet-bdr)}.prod-lhs{color:var(--violet-mid);font-weight:700;min-width:110px}.prod-arr{color:var(--ink4)}.prod-rhs{color:var(--ink);flex:1}.prod-src{margin-left:auto;font-size:9px;color:var(--ink4)}.stats-row{display:flex;gap:8px;margin-top:14px;flex-wrap:wrap}.stat-box{flex:1 1 80px;padding:10px 12px;background:var(--paper2);border-radius:var(--r-md);border:1.5px solid var(--paper3);transition:transform .15s}.stat-box:hover{transform:translateY(-2px);box-shadow:var(--sh-xs)}.stat-lbl{font-size:9.5px;color:var(--ink4);margin-bottom:3px;font-family:var(--mono);font-weight:700;text-transform:uppercase;letter-spacing:.5px}.stat-val{font-size:22px;font-family:var(--mono);font-weight:700}.eq-wrap{padding:0 24px 32px;display:flex;flex-direction:column;gap:16px;animation:fadeUp .35s ease both}.eq-ctrl-bar{display:flex;align-items:center;gap:10px;flex-wrap:wrap;background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);padding:12px 16px;box-shadow:var(--sh-xs)}.eq-ctrl-label{font-size:12px;font-weight:600;color:var(--ink2)}.eq-str-input{padding:8px 14px;font-family:var(--mono);font-size:13px;font-weight:700;letter-spacing:3px;background:var(--paper2);border:1.5px solid var(--paper3);border-radius:var(--r-md);color:var(--ink);outline:none;width:130px;transition:border-color .15s}.eq-str-input:focus{border-color:var(--teal-mid)}.eq-btn{padding:8px 18px;font-family:var(--sans);font-size:12px;font-weight:700;border-radius:var(--r-md);cursor:pointer;border:1.5px solid transparent;transition:all .15s}.eq-btn:hover{transform:translateY(-1px);box-shadow:var(--sh-sm)}.eq-run{background:var(--teal-mid);color:#fff}.eq-play{background:var(--violet-mid);color:#fff}.eq-stop{background:var(--crimson-mid);color:#fff}.eq-nav{background:var(--paper2);color:var(--ink2);border-color:var(--paper3)}.eq-proof-row{display:grid;grid-template-columns:1fr 110px 1fr;gap:14px;align-items:start}.eq-side{background:var(--paper);border:1.5px solid var(--paper3);border-radius:var(--r-lg);overflow:hidden;box-shadow:var(--sh-sm)}.eq-side-head{display:flex;align-items:center;gap:12px;padding:14px 16px;border-bottom:1.5px solid var(--paper3);background:linear-gradient(to right,var(--paper),var(--paper2))}.eq-side-icon{width:36px;height:36px;border-radius:var(--r-sm);display:flex;align-items:center;justify-content:center;font-family:var(--mono);font-size:13px;font-weight:700;flex-shrink:0}.eq-side-title{font-family:var(--serif);font-size:13px;font-style:italic;font-weight:500}.eq-side-sub{font-size:10px;color:var(--ink4);font-family:var(--mono);margin-top:1px}.eq-side-body{padding:14px 16px;min-height:180px}.deriv-list{display:flex;flex-direction:column;gap:5px}.deriv-item{display:flex;align-items:center;gap:10px;transition:all .35s ease}.deriv-sym{font-family:var(--mono);font-size:13px;font-weight:700;padding:5px 12px;border-radius:var(--r-sm);background:var(--paper2);border:1.5px solid var(--paper3);transition:all .35s ease;white-space:nowrap}.deriv-sym.ds-past{background:var(--teal-lt);border-color:var(--teal-bdr);color:var(--teal)}.deriv-sym.ds-active{background:var(--violet-lt);border-color:var(--violet-bdr);color:var(--violet-mid);transform:scale(1.06);box-shadow:0 4px 12px #7c3aed33}.deriv-sym.ds-future{opacity:.25}.deriv-implies{color:var(--violet-mid);font-size:16px;font-weight:700}.trace-list{display:flex;flex-direction:column;gap:3px}.trace-item{display:flex;align-items:center;gap:6px;padding:6px 9px;border-radius:var(--r-sm);font-family:var(--mono);font-size:10.5px;border:1.5px solid transparent;transition:all .35s ease}.trace-item.ti-past{background:var(--teal-lt);border-color:var(--teal-bdr)}.trace-item.ti-active{background:var(--violet-lt);border-color:var(--violet-bdr);transform:translate(4px);box-shadow:0 4px 12px #7c3aed26}.trace-item.ti-future{opacity:.2}.eq-center{display:flex;flex-direction:column;align-items:center;justify-content:flex-start;padding-top:36px;gap:10px}.equiv-orb{width:80px;height:80px;border-radius:50%;border:2px dashed var(--paper4);display:flex;align-items:center;justify-content:center;background:var(--paper2);transition:all .6s ease}.equiv-orb.lit{background:linear-gradient(135deg,var(--violet-lt),var(--teal-lt));border:2.5px solid var(--violet-mid);box-shadow:0 0 0 8px var(--violet-lt),0 0 0 16px #7c3aed14;animation:orbPulse 2s ease infinite}@keyframes orbPulse{0%,to{box-shadow:0 0 0 8px var(--violet-lt),0 0 0 16px #7c3aed14}50%{box-shadow:0 0 0 14px var(--violet-lt),0 0 0 28px #7c3aed0a}}.equiv-symbol{font-size:34px;color:var(--ink4);transition:color .5s;line-height:1}.equiv-orb.lit .equiv-symbol{color:var(--violet-mid)}.equiv-orb-label{font-family:var(--mono);font-size:9px;font-weight:700;color:var(--ink4);text-transform:uppercase;letter-spacing:1px;text-align:center;transition:color .5s}.equiv-orb-label.lit{color:var(--violet-mid)}.equiv-biconditional{font-size:11px;color:var(--violet-mid);text-align:center;line-height:1.9;background:var(--violet-lt);border:1.5px solid var(--violet-bdr);border-radius:var(--r-md);padding:10px 12px;animation:fadeUp .35s ease both;font-family:var(--serif);font-style:italic}.eq-result-banner{border-radius:var(--r-lg);padding:14px 20px;font-size:12.5px;font-weight:600;line-height:1.6;animation:resultPop .4s cubic-bezier(.34,1.56,.64,1) both;border:1.5px solid}.eq-ok{background:var(--emerald-lt);border-color:var(--emerald-bdr);color:var(--emerald)}.eq-no{background:var(--crimson-lt);border-color:var(--crimson-bdr);color:var(--crimson)}.eq-proof-cards{display:grid;grid-template-columns:1fr 1fr;gap:14px}.eq-proof-card{border-radius:var(--r-lg);padding:16px 18px;border:1.5px solid}.epc-label{font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.6px;margin-bottom:10px;font-family:var(--mono)}.epc-models{display:flex;align-items:center;gap:14px;margin-bottom:10px}.epc-model{padding:6px 14px;border-radius:var(--r-sm);font-family:var(--mono);font-size:13px;font-weight:700;border:1.5px solid}.epc-arrow{font-size:24px;font-weight:700}.epc-desc{font-size:11px;line-height:1.65}.ph1{color:var(--teal-mid)}.ph1bg{background:var(--teal-lt);border-color:var(--teal-bdr)}.ph2{color:var(--violet-mid)}.ph2bg{background:var(--violet-lt);border-color:var(--violet-bdr)}.ph3{color:var(--gold-mid)}.ph3bg{background:var(--gold-lt);border-color:var(--gold-bdr)}.ph4{color:var(--emerald-mid)}.ph4bg{background:var(--emerald-lt);border-color:var(--emerald-bdr)}@keyframes fadeUp{0%{opacity:0;transform:translateY(6px)}to{opacity:1;transform:none}}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes blink{0%,to{opacity:1}50%{opacity:0}}@keyframes orbPulseExtra{0%,to{box-shadow:0 0 0 6px var(--violet-lt),0 0 0 14px #7c3aed0f}50%{box-shadow:0 0 0 12px var(--violet-lt),0 0 0 24px #7c3aed05}}.anim-up{animation:fadeUp .3s ease both}.anim-in{animation:fadeIn .25s ease both}.edge-draw{stroke-dasharray:300;stroke-dashoffset:300;animation:drawEdge .6s ease forwards}@keyframes drawEdge{to{stroke-dashoffset:0}}.node-appear{animation:nodeAppear .4s cubic-bezier(.34,1.56,.64,1) both}@keyframes nodeAppear{0%{opacity:0;transform:scale(0)}to{opacity:1;transform:scale(1)}}@media (max-width:1060px){.main-grid,.cfg-2col,.eq-proof-row,.eq-proof-cards{grid-template-columns:1fr}}