body{font-family:Red Hat Text,sans-serif}.lambda-node{font-family:Fira Code,Roboto Mono,monospace;font-size:1rem;line-height:1.5;box-sizing:border-box;transition:all .2s ease-in-out}.lambda-node{display:inline-flex;align-items:center;padding:8px 12px;margin:4px;border-radius:8px;border:2px solid transparent;box-shadow:2px 2px 5px #0000000d}.lambda-node:hover{box-shadow:4px 4px 10px #00000026;z-index:10}.lambda-variable{background-color:#ffedcc;border-color:#ffd699;color:#a35200;font-weight:700;padding:4px 10px;border-radius:20px}.variable-name{display:inline-block}.lambda-abstraction{background-color:#e6f0ff;border-color:#b3d1ff;color:#004085;flex-wrap:wrap}.abstraction-header .lambda-variable{background-color:#cce5ff;border-color:#99caff;margin-left:4px}.abstraction-body{display:inline-flex;margin-left:8px;padding-left:8px;border-left:2px dotted #b3d1ff}.lambda-application{background-color:#e6ffed;border-color:#b3ffcc;color:#155724;align-items:center}.application-func{margin-right:4px}.application-arg{margin-left:4px}.symbol{font-weight:700;opacity:.7;margin:0 4px}.lambda-symbol{font-size:1.2em;color:#0056b3}.dot-symbol{font-size:1.5em;line-height:.5}.paren{color:#8fd19e}:root{--font-mono: "Fira Code", "Roboto Mono", "Consolas", monospace;--color-primary: #0056b3;--color-bg: #f9f9f9;--shadow-soft: 0 4px 6px -1px rgba(0, 0, 0, .1), 0 2px 4px -1px rgba(0, 0, 0, .06)}body{background-color:var(--color-bg);color:#333;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Open Sans,Helvetica Neue,sans-serif;margin:10px;padding:0}.app-container{margin:50px auto;padding:2rem;background:#fff;border-radius:16px;box-shadow:var(--shadow-soft);display:flex;flex-direction:column;gap:1.5rem}.input-group{display:flex;flex-direction:column;gap:.5rem}.lambda-label{font-size:.9rem;font-weight:700;text-transform:uppercase;letter-spacing:.05em;color:#666}.lambda-input{font-family:var(--font-mono);font-size:1.25rem;width:100%;padding:12px 16px;box-sizing:border-box;border:2px solid #e0e0e0;border-radius:8px;background-color:#fafafa;color:#333;transition:all .2s ease-in-out;outline:none}.lambda-input:focus{border-color:var(--color-primary);background-color:#fff;box-shadow:0 0 0 4px #0056b31a}.lambda-input::placeholder{color:#ccc;font-style:italic}