: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, .02)}*{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-x:hidden;overflow-y:auto}.app-container{position:relative;width:100vw;min-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,.1),transparent)}.title{font-family:"DM Serif Display",serif;font-size:2rem;color:#fffbebd9;width:100%;text-align:center}.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:#fbbf2466;box-shadow:inset 0 2px 10px #00000080,0 0 0 1px #fbbf2433}.textarea-glow{position:absolute;inset:-3px;background:#fbbf2426;border-radius:20px;filter:blur(6px);opacity:0;transition:opacity .5s ease;z-index:1}.pill-glow{border-radius:9999px}.error-glow{background:linear-gradient(90deg,#fbbf241a,#f59e0b26,#fbbf241a);opacity:1;animation:pulse 3s infinite}@keyframes pulse{0%{opacity:.6}50%{opacity:1}to{opacity:.6}}.input-group:hover .textarea-glow:not(.error-glow){opacity:.4}.textarea-error{border-color:#fbbf244d!important;box-shadow:inset 0 2px 10px #00000080,0 0 0 2px #f59e0b26!important}.error-container{width:100%;background:#1e190f99;border:1px solid rgba(251,191,36,.15);border-left:3px solid rgba(251,191,36,.5);border-radius:12px;padding:16px 20px;display:flex;align-items:flex-start;gap:16px;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);box-shadow:0 4px 20px #0003;overflow:hidden}.error-icon-wrapper{color:#fbbf24cc;padding-top:1px;flex-shrink:0}.error-content{display:flex;flex-direction:column;gap:4px}.error-title{color:#fbbf24f2;font-weight:600;font-size:.95rem;letter-spacing:.02em}.error-desc{color:#fffbebb3;font-size:.875rem;line-height:1.5}.error-sequent-font{font-family:JetBrains Mono,monospace;font-size:.85rem}.info-news-container{width:100%;background:#10192399;border:1px solid rgba(56,189,248,.15);border-left:3px solid rgba(56,189,248,.5);border-radius:12px;padding:16px 20px;display:flex;align-items:flex-start;gap:16px;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);box-shadow:0 4px 20px #0003;margin-top:16px}.info-news-icon-wrapper{color:#38bdf8cc;padding-top:1px;flex-shrink:0}.info-news-content{display:flex;flex-direction:column;gap:6px}.info-news-title{color:#38bdf8f2;font-weight:600;font-size:.95rem;letter-spacing:.02em}.info-news-desc{color:#f0f9ffd9;font-size:.875rem;line-height:1.6}.inline-sequent-btn-info{background:#38bdf81a;border:1px solid rgba(56,189,248,.2);border-radius:4px;color:#7dd3fc;font-family:JetBrains Mono,monospace;font-size:.85rem;padding:1px 6px;cursor:pointer;transition:all .2s ease;display:inline-block;margin:0 2px}.inline-sequent-btn-info:hover{background:#38bdf833;border-color:#38bdf866;transform:translateY(-1px)}.btn-primary{position:relative;overflow:hidden;background:#d97706d9;color:#fffbeb;padding:14px 32px;border-radius:9999px;font-weight:500;font-size:1rem;letter-spacing:.025em;border:none;cursor:pointer;transition:all .2s cubic-bezier(.4,0,.2,1);display:flex;align-items:center;gap:12px}.btn-primary:hover{background:#f59e0be6;transform:translateY(-1px);box-shadow:0 4px 15px #f59e0b26}.btn-primary:active{transform:translateY(1px)}.btn-error{background:#475569cc;color:#e2e8f0e6;border:1px solid rgba(148,163,184,.2)}.btn-error:hover{background:#64748be6;box-shadow:0 4px 15px #0003}.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;-webkit-user-select:none;user-select:none;cursor:default}.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:"DM Serif Display",serif;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}@media(max-width:1024px){.infoview-container{display:none}}.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;font-family:"DM Serif Display",serif;font-size:1.1rem}.context-source{color:#94a3b8;font-size:.75rem;margin-left:12px;white-space:nowrap}.input-sequent{position:relative;width:100%;background:#0006;color:var(--text-primary);border:1px solid rgba(255,255,255,.1);border-radius:9999px;padding:24px 140px;font-family:"DM Serif Display",serif;font-size:1.25rem;line-height:1.5;text-align:center;outline:none;transition:all .3s ease;box-shadow:inset 0 2px 10px #00000080;z-index:2}@media(max-width:640px){.input-sequent{padding:24px 120px 24px 40px;text-align:left}}.input-sequent:focus{border-color:#fbbf244d;background:#0009;box-shadow:inset 0 2px 10px #0009,0 0 0 1px #fbbf2433,0 0 10px #fbbf240d}.symbol-keyboard-wrapper{display:flex;flex-direction:column;align-items:center;margin-top:72px;margin-bottom:32px;gap:16px;width:100%}.symbol-helper-text{color:#fffbeb99;font-size:.85rem;text-align:center;line-height:1.5;max-width:90%}.symbol-keyboard{display:grid;grid-template-columns:repeat(8,max-content);gap:16px 10px;justify-content:center}@media(max-width:480px){.symbol-keyboard{grid-template-columns:repeat(4,max-content)}}.symbol-btn{background:#ffffff08;border:1px solid rgba(255,255,255,.05);border-radius:8px;color:#fbbf24;font-size:1.15rem;font-family:"DM Serif Display",serif;width:44px;height:44px;display:flex;align-items:center;justify-content:center;cursor:pointer;transition:all .2s cubic-bezier(.4,0,.2,1)}.symbol-btn:hover{background:#f59e0b1a;border-color:#f59e0b26;transform:translateY(-1px);box-shadow:0 2px 8px #f59e0b1a}.symbol-btn:active{transform:translateY(0)}.mode-toggle{background:transparent;border:none;color:#fffbeb66;font-size:.85rem;text-transform:uppercase;letter-spacing:.05em;cursor:pointer;transition:all .2s ease;margin-bottom:24px}.mode-toggle:hover{color:#fffbebb3}.btn-submit-inline{position:absolute;right:24px;top:24px;bottom:24px;transform:none;padding:0 24px;font-size:.95rem;z-index:10;display:flex;align-items:center;justify-content:center}@media(max-width:640px){.btn-submit-inline{right:24px;padding:0 16px;font-size:.9rem}}.study-companion-card{background:#14141966;backdrop-filter:blur(8px);-webkit-backdrop-filter:blur(8px);border:1px solid rgba(255,255,255,.05);border-radius:1rem;padding:2.5rem;width:100%;max-width:48rem;color:#ffffffb3;box-sizing:border-box}.study-companion-card p{font-size:.95rem;line-height:1.6;margin-bottom:1rem;text-align:left}.chapter-section{display:flex;flex-direction:column;gap:.5rem;margin-bottom:2rem}.chapter-section:last-child{margin-bottom:0}.chapter-heading{font-family:inherit;font-size:.85rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:#fbbf24cc;margin-bottom:.75rem;border-bottom:1px solid rgba(255,255,255,.1);padding-bottom:.5rem;text-align:left}.example-btn{background:#ffffff05;border:1px solid rgba(255,255,255,.03);border-radius:.5rem;padding:.75rem 1.25rem;color:#ffffffd9;font-family:"DM Serif Display",serif;font-size:1.1rem;cursor:pointer;transition:all .2s ease;display:flex;align-items:center;justify-content:flex-start;gap:1rem;text-align:left;width:100%}.example-btn:hover{background:#fbbf240d;border-color:#fbbf2433;transform:translate(4px)}.example-label{font-family:system-ui,-apple-system,sans-serif;font-size:.85rem;color:#fff6;min-width:110px;transition:color .2s ease}.example-seq{color:#ffffffe6;transition:color .2s ease}.example-btn:hover .example-seq{color:#fbbf24}.example-btn:hover .example-label{color:#fbbf2499}.classical-label{margin-left:auto;font-family:Inter,system-ui,-apple-system,sans-serif;font-size:.7rem;letter-spacing:.04em;text-transform:uppercase;font-weight:500;padding:.2rem .6rem;border-radius:1rem;background:#ff8c3c14;color:#ff8f3c;border:1px solid rgba(255,140,60,.4);box-shadow:0 0 8px #ff8c3c1a;transition:all .25s ease;white-space:nowrap}.example-btn:hover .classical-label{background:#ff8c3c26;border-color:#ff8c3c99;box-shadow:0 0 12px #ff8c3c33;color:#ffa560}