:root{--font-sans: "Inter", system-ui, -apple-system, sans-serif;--font-display: "Outfit", sans-serif;--color-bg: #09090b;--color-surface: rgba(20, 20, 25, .6);--color-border: rgba(255, 255, 255, .08);--color-primary: #a855f7;--color-primary-glow: rgba(168, 85, 247, .15);--color-text-primary: #f4f4f5;--color-text-secondary: #a1a1aa}*{box-sizing:border-box;margin:0;padding:0}body{background-color:var(--color-bg);color:var(--color-text-primary);font-family:var(--font-sans);min-height:100vh;display:flex;align-items:center;justify-content:center;overflow:hidden;position:relative}.bg-glow-1{position:absolute;width:600px;height:600px;border-radius:50%;background:radial-gradient(circle,var(--color-primary-glow) 0%,transparent 70%);top:-15%;left:-15%;z-index:0;animation:float-1 25s infinite alternate ease-in-out;pointer-events:none}.bg-glow-2{position:absolute;width:700px;height:700px;border-radius:50%;background:radial-gradient(circle,rgba(168,85,247,.08) 0%,transparent 70%);bottom:-20%;right:-15%;z-index:0;animation:float-2 30s infinite alternate ease-in-out;pointer-events:none}@keyframes float-1{0%{transform:translate(0) scale(1)}to{transform:translate(120px,80px) scale(1.15)}}@keyframes float-2{0%{transform:translate(0) scale(1.1)}to{transform:translate(-100px,-80px) scale(.9)}}body{background-color:var(--color-bg);color:var(--color-text-primary);font-family:var(--font-sans);min-height:100vh;overflow-y:auto;position:relative;display:flex;flex-direction:column}.playground-container{position:relative;z-index:10;width:100%;max-width:1400px;margin:0 auto;padding:1.5rem;display:flex;flex-direction:column;gap:1.5rem;flex:1}header{display:flex;justify-content:space-between;align-items:center;border-bottom:1px solid var(--color-border);padding-bottom:1rem}.header-title-row{display:flex;align-items:center;gap:1rem}.logo-icon-sm{width:40px;height:40px;border-radius:10px;background:linear-gradient(135deg,#a855f738,#a855f70d);border:1px solid rgba(168,85,247,.3);display:flex;align-items:center;justify-content:center;font-family:var(--font-display);font-weight:900;color:#c084fc}header h1{font-family:var(--font-display);font-size:2rem;font-weight:900;margin:0;background:linear-gradient(135deg,#fff,#c084fc);-webkit-background-clip:text;-webkit-text-fill-color:transparent}.dashboard-grid{display:grid;grid-template-columns:380px 1fr 450px;gap:1.5rem;flex:1}@media(max-width:1200px){.dashboard-grid{grid-template-columns:1fr}}.glass-panel{background:var(--color-surface);backdrop-filter:blur(12px);-webkit-backdrop-filter:blur(12px);border:1px solid var(--color-border);border-radius:20px;padding:1.5rem;box-shadow:0 4px 24px #0000004d;display:flex;flex-direction:column;gap:1rem}.panel-header{display:flex;justify-content:space-between;align-items:center}.panel-header h2{font-family:var(--font-display);font-size:1.25rem;font-weight:700;color:var(--color-text-primary)}.preset-select{width:100%;padding:.75rem;border-radius:10px;background:#0006;border:1px solid var(--color-border);color:var(--color-text-primary);font-family:var(--font-sans);outline:none;cursor:pointer}.editor-textarea{flex:1;width:100%;min-height:200px;padding:1rem;border-radius:10px;background:#00000080;border:1px solid var(--color-border);color:#38bdf8;font-family:Fira Code,Courier New,monospace;font-size:.9rem;line-height:1.5;resize:none;outline:none}.btn-primary{width:100%;padding:.75rem;border-radius:10px;background:linear-gradient(135deg,#a855f7,#7e22ce);border:none;color:#fff;font-weight:600;cursor:pointer;display:flex;justify-content:center;align-items:center;gap:.5rem;transition:all .2s ease}.btn-primary:hover{transform:translateY(-2px);box-shadow:0 0 16px var(--color-primary-glow)}.btn-primary:disabled{opacity:.5;cursor:not-allowed;transform:none}.console-logs{flex:1;width:100%;min-height:350px;padding:1rem;border-radius:10px;background:#0009;border:1px solid var(--color-border);font-family:Fira Code,monospace;font-size:.85rem;color:#a1a1aa;overflow-y:auto;display:flex;flex-direction:column;gap:.5rem}.console-entry{display:flex;flex-direction:column;border-left:2px solid #52525b;padding-left:.5rem;margin-bottom:.25rem;cursor:pointer;border-radius:0 4px 4px 0;transition:all .15s ease}.console-entry:hover{background:#ffffff0a}.console-entry.selected{border-left-color:#a855f7;background:#a855f714}.console-entry.success{border-left-color:#10b981}.console-entry-header{display:flex;justify-content:space-between;font-size:.75rem;color:#71717a}.console-entry-msg{color:#e4e4e7;word-break:break-all}.ast-container{display:flex;flex-direction:column;gap:.75rem;flex:1}.ast-svg-wrapper{background:#0006;border:1px solid var(--color-border);border-radius:12px;padding:1rem;display:flex;align-items:center;justify-content:center;height:280px;overflow:hidden}.ast-node-bg{fill:#18181b;stroke:#3f3f46;stroke-width:1.5}.ast-node-text{font-family:var(--font-sans);font-size:11px;font-weight:500}.ast-edge{stroke:#ffffff26;stroke-width:1.5}.ast-node-op .ast-node-bg{stroke:#c084fc;fill:#a855f726}.ast-node-op .ast-node-text{fill:#e9d5ff}.ast-node-var .ast-node-bg{stroke:#22d3ee;fill:#22d3ee1a}.ast-node-var .ast-node-text{fill:#cffafe}.ast-node-type .ast-node-bg{stroke:#fbbf24;fill:#fbbf241a}.ast-node-type .ast-node-text{fill:#fef3c7}.ast-node-const .ast-node-text{fill:#f4f4f5}.ast-empty{display:flex;justify-content:center;align-items:center;height:280px;color:var(--color-text-secondary);background:#0006;border:1px solid var(--color-border);border-radius:12px}.proof-tree-container{display:flex;flex-direction:column;gap:.75rem;flex:1}.proof-tree-scroll-wrapper{background:#0006;border:1px solid var(--color-border);border-radius:12px;padding:1.5rem;height:280px;overflow:auto}.proof-tree-scroll-content{display:flex;justify-content:center;align-items:flex-end;min-width:max-content;min-height:100%}.proof-step-wrapper{display:flex;flex-direction:column;align-items:center;margin:0 10px}.proof-premises{display:flex;justify-content:space-around;align-items:flex-end;gap:20px;margin-bottom:4px}.proof-derivation-bar-row{display:flex;align-items:center;width:100%;position:relative;margin:2px 0}.proof-derivation-line{height:1px;background-color:var(--color-text-primary);flex:1;min-width:50px}.proof-derivation-rule{font-size:.7rem;color:var(--color-primary);margin-left:6px;white-space:nowrap;font-family:var(--font-sans)}.proof-conclusion{padding:4px 8px;border-radius:6px;background:#ffffff05;border:1px solid rgba(255,255,255,.05);font-size:.8rem;font-family:var(--font-sans);cursor:pointer;transition:all .2s ease;display:flex;gap:6px}.proof-conclusion:hover{background:#a855f71a;border-color:#a855f74d;transform:translateY(-1px)}.proof-number{color:var(--color-text-secondary);font-weight:500}.proof-formula-text{color:#e4e4e7;font-weight:500}.proof-tree-empty{display:flex;justify-content:center;align-items:center;height:280px;color:var(--color-text-secondary)}@keyframes spin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}@keyframes pulse{0%{box-shadow:0 0 5px #a855f733;border-color:#a855f766}to{box-shadow:0 0 20px #a855f799;border-color:#a855f7}}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes slideUp{0%{transform:translateY(20px);opacity:0}to{transform:translateY(0);opacity:1}}