@import"https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600&family=JetBrains+Mono:wght@400;500;600&display=swap";:root{--bg: #0f0e11;--surface: #18171b;--raised: #222126;--border: rgba(255, 255, 255, .06);--border-strong: rgba(255, 255, 255, .08);--text: #e4e0dc;--muted: #6b6670;--dim: #3a3840;--c-let: #8bc99a;--c-lambda: #c4a1ff;--c-app: #7eb8da;--c-literal: #f2c066;--c-error: #e8837c;--c-term: #e4e0dc;--selected-bg: rgba(242, 192, 102, .08);--selected-border: #f2c066}*{box-sizing:border-box}html,body{margin:0;height:100vh}body{color:var(--text);background:var(--bg);font-family:Inter,sans-serif}#app{height:100vh}.app-shell{display:flex;flex-direction:column;height:100vh}.top-bar{display:flex;align-items:center;height:44px;flex-shrink:0;padding:0 16px;background:var(--surface);border-bottom:1px solid var(--border)}.top-bar-title{font-family:JetBrains Mono,monospace;font-size:13px;font-weight:600;color:var(--c-lambda);letter-spacing:-.02em}.top-bar-spacer{flex:1}.tab-group{display:flex;align-items:center;gap:2px}.tab{display:inline-block;padding:10px 12px;font-family:Inter,sans-serif;font-size:12px;font-weight:500;color:var(--muted);cursor:pointer;border:none;background:none;border-bottom:2px solid transparent;transition:color .1s ease}.tab:hover{color:var(--text)}.tab.active{color:var(--text);border-bottom-color:var(--c-lambda)}.peer-indicator{display:flex;align-items:center;gap:6px;padding:0 6px}.peer-dot{width:8px;height:8px;border-radius:999px;background:var(--muted)}.peer-alice{background:#ff8a65}.peer-bob{background:#64b5f6}.peer-name{font-size:11px;color:var(--muted)}.divider-v{width:1px;height:20px;background:var(--border);margin:0 8px;flex-shrink:0}.status-indicator{display:flex;align-items:center;gap:5px}.status-dot{width:6px;height:6px;border-radius:999px}.status-ok{background:var(--c-let)}.status-error{background:var(--c-error)}.status-text{font-size:11px;color:var(--muted)}.workspace{display:flex;flex:1;min-height:0}.structure-pane{display:flex;flex-direction:column;flex:1.1;min-width:0;border-right:1px solid var(--border)}.pane-header{display:flex;align-items:center;padding:10px 16px;border-bottom:1px solid var(--border);flex-shrink:0}.pane-label{font-size:11px;font-weight:600;color:var(--muted);letter-spacing:.06em;text-transform:uppercase}.tree-rows{display:flex;flex-direction:column;padding:8px 0;flex:1;overflow-y:auto}.tree-item{display:flex;flex-direction:column}.tree-row{display:flex;align-items:center;height:32px;padding-right:16px;cursor:pointer;transition:background 80ms ease}.tree-row:hover{background:#ffffff05}.tree-row.selected{background:var(--selected-bg);border-left:2px solid var(--selected-border)}.depth-0{padding-left:16px}.depth-1{padding-left:44px}.depth-2{padding-left:72px}.depth-3{padding-left:100px}.depth-4{padding-left:128px}.depth-5{padding-left:156px}.depth-6{padding-left:184px}.tree-accent{width:3px;height:16px;border-radius:2px;flex-shrink:0;background:var(--dim)}.kind-let .tree-accent{background:var(--c-let)}.kind-lambda .tree-accent{background:var(--c-lambda)}.kind-app .tree-accent{background:var(--c-app)}.kind-if .tree-accent{background:var(--c-lambda)}.kind-binop .tree-accent{background:var(--c-app)}.kind-error .tree-accent{background:var(--c-error)}.tree-toggle{display:inline-flex;align-items:center;justify-content:center;width:24px;height:24px;padding:0;border:none;border-radius:4px;background:transparent;color:var(--muted);font-family:JetBrains Mono,monospace;font-size:11px;cursor:pointer;flex-shrink:0}.tree-toggle:hover{background:#ffffff0a}.tree-label-text{font-family:JetBrains Mono,monospace;font-size:13px;font-weight:500;color:var(--text)}.kind-let .tree-label-text{color:var(--c-let)}.kind-lambda .tree-label-text{color:var(--c-lambda)}.kind-app .tree-label-text{color:var(--c-app)}.kind-if .tree-label-text{color:var(--c-lambda)}.kind-binop .tree-label-text{color:var(--c-app)}.kind-error .tree-label-text{color:var(--c-error)}.collapsed-badge{display:inline-flex;padding:2px 6px;border-radius:4px;margin-left:8px;font-family:Inter,sans-serif;font-size:10px;background:#ffffff0a;color:var(--muted)}.kind-lambda .collapsed-badge{background:#c4a1ff1a;color:var(--c-lambda)}.kind-app .collapsed-badge{background:#7eb8da1a;color:var(--c-app)}.kind-let .collapsed-badge{background:#8bc99a1a;color:var(--c-let)}.tree-actions{display:flex;align-items:center;gap:6px;margin-left:auto}.tree-action{display:inline-block;padding:3px 6px;border-radius:4px;background:#ffffff0a;border:none;font-family:Inter,sans-serif;font-size:10px;color:var(--muted);cursor:pointer;transition:background 80ms ease,color 80ms ease}.tree-action:hover{background:#ffffff14;color:var(--text)}.no-tree-note{padding:16px 16px 16px 44px;color:var(--muted);font-size:12px;font-style:italic;margin:0}.text-pane{display:flex;flex-direction:column;flex:.9;min-width:0;border-right:1px solid var(--border)}.text-editor{display:block;width:100%;flex:1;margin:0;padding:16px;border:none;background:var(--bg);color:var(--text);white-space:pre-wrap;line-height:1.7;font-family:JetBrains Mono,monospace;font-size:13px;resize:none}.text-editor:focus{outline:2px solid var(--c-lambda);outline-offset:-2px}.inspector{display:flex;flex-direction:column;width:320px;flex-shrink:0;background:var(--surface)}.inspector-section{display:flex;flex-direction:column;padding:16px;gap:8px}.inspector-section+.inspector-section{border-top:1px solid var(--border)}.inspector-label{font-size:10px;font-weight:600;color:var(--muted);letter-spacing:.06em;text-transform:uppercase;margin:0}.inspector-row{display:flex;align-items:center;gap:8px}.inspector-key{font-family:Inter,sans-serif;font-size:11px;color:var(--muted)}.inspector-value{margin-left:auto;font-family:JetBrains Mono,monospace;font-size:12px;color:var(--text)}.inspector-copy{color:var(--muted);font-size:12px;line-height:1.6;margin:0}.diagnostics-list{display:flex;flex-direction:column;gap:4px}.diagnostics-item{color:var(--muted);font-size:12px;line-height:1.6;margin:0}.hidden-note{color:var(--muted);font-style:italic;font-size:12px;margin:0}.status-bar{display:flex;align-items:center;height:28px;flex-shrink:0;padding:0 16px;background:var(--surface);border-top:1px solid var(--border);gap:4px}.status-bar-spacer{flex:1}.status-breadcrumb{font-family:JetBrains Mono,monospace;font-size:11px;color:var(--muted)}.status-info{font-family:Inter,sans-serif;font-size:11px;color:var(--muted)}@media(max-width:1120px){.workspace{flex-direction:column}.structure-pane,.text-pane{flex:none;height:400px;border-right:none;border-bottom:1px solid var(--border)}.inspector{width:100%}}