@import"https://fonts.googleapis.com/css2?family=DM+Serif+Display&family=Inter:wght@400;500;600&family=JetBrains+Mono&display=swap";:root{--bg-color: #0d0c0f;--text-primary: rgba(255, 251, 235, .95);--text-secondary: rgba(251, 191, 36, .7);--accent-color: #f59e0b;--accent-glow: rgba(245, 158, 11, .4);--glass-bg: rgba(24, 24, 27, .4);--glass-border: rgba(255, 255, 255, .05)}*{box-sizing:border-box;margin:0;padding:0}body{margin:0;font-family:Inter,system-ui,sans-serif;background-color:var(--bg-color);color:var(--text-primary);overflow:hidden}.app-container{position:relative;width:100vw;height:100vh;display:flex;align-items:center;justify-content:center;overflow:hidden}.bg-glow-1{position:absolute;top:-20%;left:-10%;width:50vw;height:50vw;background:#d9770626;border-radius:50%;filter:blur(120px);mix-blend-mode:screen;pointer-events:none}.bg-glow-2{position:absolute;bottom:-20%;right:-10%;width:60vw;height:60vw;background:#c2410c26;border-radius:50%;filter:blur(150px);mix-blend-mode:screen;pointer-events:none}.noise-overlay{position:absolute;inset:0;opacity:.04;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 400 400' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='noiseFilter'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.65' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23noiseFilter)'/%3E%3C/svg%3E");mix-blend-mode:overlay;pointer-events:none}.editor-card{position:relative;width:100%;max-width:800px;background:var(--glass-bg);backdrop-filter:blur(24px);-webkit-backdrop-filter:blur(24px);border:1px solid var(--glass-border);border-radius:24px;padding:40px;display:flex;flex-direction:column;align-items:center;box-shadow:0 25px 50px -12px #00000080;z-index:10}.editor-card:before{content:"";position:absolute;top:0;left:0;right:0;height:1px;background:linear-gradient(90deg,transparent,rgba(245,158,11,.3),transparent)}.title{font-family:"DM Serif Display",serif;font-size:2.5rem;margin-bottom:8px;color:var(--text-primary)}.subtitle{color:var(--text-secondary);font-size:.875rem;text-transform:uppercase;letter-spacing:.2em;margin-bottom:32px}.input-group{width:100%;position:relative;margin-bottom:32px}.input-label{display:block;font-size:.875rem;font-weight:500;color:#fffbebb3;margin-bottom:12px;margin-left:4px}.code-badge{background:#ffffff0d;padding:2px 6px;border-radius:4px;color:#fbbf24;font-family:JetBrains Mono,monospace;font-size:.85em}.textarea{position:relative;width:100%;height:360px;background:#0006;color:var(--text-primary);border:1px solid rgba(255,255,255,.1);border-radius:16px;padding:24px;font-family:JetBrains Mono,monospace;font-size:.9rem;line-height:1.6;resize:none;outline:none;transition:all .3s ease;box-shadow:inset 0 2px 10px #00000080;z-index:2}.textarea:focus{border-color:#f59e0b80;box-shadow:inset 0 2px 10px #00000080,0 0 0 2px #f59e0b33}.textarea-glow{position:absolute;inset:-4px;background:linear-gradient(90deg,#f59e0b33,#f9731633,#f59e0b33);border-radius:20px;filter:blur(10px);opacity:0;transition:opacity .5s ease;z-index:1}.error-glow{background:linear-gradient(90deg,#ef444433,#dc262633,#ef444433);opacity:1;animation:pulse 2s infinite}@keyframes pulse{0%{opacity:.6}50%{opacity:1}to{opacity:.6}}.input-group:hover .textarea-glow:not(.error-glow){opacity:1}.textarea-error{border-color:#ef444480!important;box-shadow:inset 0 2px 10px #00000080,0 0 0 2px #ef44444d!important}.error-container{width:100%;background:#2d0f0f99;border:1px solid rgba(239,68,68,.3);border-radius:12px;padding:16px 20px;margin-bottom:32px;display:flex;align-items:flex-start;gap:16px;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);box-shadow:0 4px 20px #dc262626;overflow:hidden}.error-icon{width:24px;height:24px;border-radius:50%;background:#ef444433;color:#f87171;display:flex;align-items:center;justify-content:center;font-weight:700;font-size:14px;flex-shrink:0;border:1px solid rgba(239,68,68,.4)}.error-content{display:flex;flex-direction:column;gap:4px}.error-title{color:#f87171;font-weight:600;font-size:.95rem;letter-spacing:.02em}.error-desc{color:#fffbebd9;font-size:.875rem;line-height:1.5}.error-line{margin-top:4px;display:inline-block;background:#ef444426;color:#fca5a5;padding:2px 8px;border-radius:4px;font-size:.75rem;font-family:JetBrains Mono,monospace;align-self:flex-start}.btn-primary{position:relative;overflow:hidden;background:var(--accent-color);color:#451a03;padding:14px 32px;border-radius:9999px;font-weight:600;font-size:1rem;letter-spacing:.025em;border:none;cursor:pointer;transition:all .2s cubic-bezier(.4,0,.2,1);box-shadow:0 0 20px #f59e0b4d;display:flex;align-items:center;gap:12px}.btn-primary:hover{background:#fbbf24;transform:translateY(-2px);box-shadow:0 10px 30px #f59e0b80}.btn-primary:active{transform:translateY(1px)}.btn-floating{position:absolute;bottom:2rem;right:2rem;background:#18181b99;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border:1px solid rgba(255,255,255,.1);color:#fffbebcc;padding:12px 24px;border-radius:9999px;display:flex;align-items:center;gap:10px;font-size:.9rem;font-weight:500;cursor:pointer;transition:background-color .3s ease,color .3s ease,box-shadow .3s ease;box-shadow:0 10px 25px #00000080;z-index:50}.btn-floating:hover{background:#27272acc;color:#fff;box-shadow:0 10px 25px #00000080,0 0 20px #f59e0b26}.viewer-container{position:absolute;inset:0;z-index:1}.tree-node{display:flex;flex-direction:column;align-items:center;margin:4px 24px;position:relative}.tree-premises{display:flex;flex-direction:row;align-items:flex-end;gap:32px;margin-bottom:8px}.tree-conclusion-col{display:flex;flex-direction:column;align-items:center;width:100%;position:relative}.tree-line{position:relative;width:100%;min-width:40px;height:2px;background:var(--text-primary);opacity:.8;margin-bottom:8px;border-radius:2px;box-shadow:0 0 8px var(--accent-glow)}.tree-expr{color:var(--text-primary);font-family:"DM Serif Display",serif;font-size:1.4rem;white-space:nowrap;padding:0 4px;text-shadow:0 2px 10px rgba(0,0,0,.8);transition:color .15s ease-in-out,text-shadow .15s ease-in-out}.tree-rule{position:absolute;left:100%;top:50%;transform:translateY(-50%);margin-left:16px;color:#fbbf24e6;font-family:"DM Serif Display",serif;font-size:1.15rem;white-space:nowrap;line-height:1.5;padding-bottom:4px;transition:color .15s ease-in-out,text-shadow .15s ease-in-out}.tree-sup{margin-left:4px;font-size:.85rem;opacity:.85;vertical-align:super;display:inline-block}.tree-hyp-label{color:#f59e0bcc;font-size:1rem;font-family:"DM Serif Display",serif;margin-bottom:8px}.discharge-highlight{color:#fbbf24!important;text-shadow:0 0 12px rgba(251,191,36,.8),0 0 24px rgba(251,191,36,.4)!important}.sequent-title-container{position:absolute;top:32px;left:50%;transform:translate(-50%);z-index:100;background:#0f172ab3;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);padding:10px 24px;border-radius:99px;border:1px solid rgba(139,92,246,.3);box-shadow:0 4px 20px #0000004d,0 0 15px #8b5cf626;pointer-events:auto;-webkit-user-select:text;user-select:text;cursor:text}.sequent-text{color:#e2e8f0;font-family:Fira Code,Menlo,monospace;font-size:1.1rem;font-weight:500;letter-spacing:.02em;text-shadow:0 2px 10px rgba(139,92,246,.4)}.infoview-container{position:absolute;top:24px;right:24px;width:350px;background:#0f172ad9;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border:1px solid rgba(139,92,246,.4);border-radius:12px;padding:20px;z-index:200;box-shadow:0 8px 32px #0006,0 0 20px #8b5cf626;color:#e2e8f0;font-family:Fira Code,Menlo,monospace;display:flex;flex-direction:column;gap:16px;pointer-events:auto}.infoview-section{display:flex;flex-direction:column;gap:8px}.infoview-header{font-size:.85rem;font-weight:700;color:#a78bfa;text-transform:uppercase;letter-spacing:.05em;border-bottom:1px solid rgba(167,139,250,.3);padding-bottom:4px}.infoview-body{font-size:.95rem;line-height:1.5}.goal-text{font-weight:600;color:#fbbf24}.context-item{display:flex;align-items:baseline;padding:4px 0;flex-wrap:wrap}.context-name{color:#60a5fa;font-weight:600}.context-type{color:#f8fafc;margin-left:4px}.context-source{color:#94a3b8;font-size:.75rem;margin-left:12px;font-style:italic;white-space:nowrap}