:root{color-scheme:light;--font-sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;--font-display: var(--font-sans);--font-mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;--radius-sm: 6px;--radius: 8px;--radius-lg: 12px;--radius-xl: 16px;--bg-base: #ffffff;--bg-panel: #fafafa;--bg-panel-strong: #ffffff;--bg-elevated: #ffffff;--bg-tint: #f4f4f5;--bg-hover: rgba(24, 24, 27, .045);--bg-active: rgba(24, 24, 27, .07);--bg-code: #fafafa;--code-text: #18181b;--bg-highlight: rgba(37, 99, 235, .07);--text-strong: #09090b;--text-body: #3f3f46;--text-muted: #71717a;--text-soft: #a1a1aa;--line-strong: #e4e4e7;--line-soft: #f0f0f2;--line-hover: #d4d4d8;--accent: #2563eb;--accent-soft: rgba(37, 99, 235, .08);--accent-ring: rgba(37, 99, 235, .22);--primary-bg: #18181b;--primary-bg-hover: #3f3f46;--primary-text: #ffffff;--overlay: rgba(9, 9, 11, .4);--shadow-soft: 0 1px 2px rgba(9, 9, 11, .04);--shadow-panel: 0 1px 2px rgba(9, 9, 11, .04), 0 16px 40px -12px rgba(9, 9, 11, .16);--success: #16a34a;--danger: #dc2626;--danger-soft: rgba(220, 38, 38, .06);--correspondence-idle: rgba(113, 113, 122, .24);--correspondence-active: rgba(37, 99, 235, .7);--note-line-bg: rgba(13, 148, 136, .08);--note-line-border: #0d9488;--note-line-number: #0f766e;--step-line-ochre-bg: rgba(217, 119, 6, .08);--step-line-ochre-border: #d97706;--step-line-ochre-number: #b45309;--step-line-ochre-focus: rgba(217, 119, 6, .16);--step-line-sage-bg: rgba(22, 163, 74, .08);--step-line-sage-border: #16a34a;--step-line-sage-number: #15803d;--step-line-sage-focus: rgba(22, 163, 74, .15);--step-line-slate-bg: rgba(37, 99, 235, .07);--step-line-slate-border: #2563eb;--step-line-slate-number: #1d4ed8;--step-line-slate-focus: rgba(37, 99, 235, .14);--step-line-plum-bg: rgba(147, 51, 234, .07);--step-line-plum-border: #9333ea;--step-line-plum-number: #7e22ce;--step-line-plum-focus: rgba(147, 51, 234, .14)}:root[data-theme=dark]{color-scheme:dark;--bg-base: #0a0a0a;--bg-panel: #0f0f10;--bg-panel-strong: #0a0a0a;--bg-elevated: #151517;--bg-tint: #18181b;--bg-hover: rgba(255, 255, 255, .05);--bg-active: rgba(255, 255, 255, .08);--bg-code: #111113;--code-text: #e4e4e7;--bg-highlight: rgba(96, 165, 250, .12);--text-strong: #fafafa;--text-body: #d4d4d8;--text-muted: #a1a1aa;--text-soft: #71717a;--line-strong: rgba(255, 255, 255, .09);--line-soft: rgba(255, 255, 255, .055);--line-hover: rgba(255, 255, 255, .18);--accent: #60a5fa;--accent-soft: rgba(96, 165, 250, .12);--accent-ring: rgba(96, 165, 250, .3);--primary-bg: #fafafa;--primary-bg-hover: #d4d4d8;--primary-text: #09090b;--overlay: rgba(0, 0, 0, .6);--shadow-soft: 0 1px 2px rgba(0, 0, 0, .4);--shadow-panel: 0 0 0 1px rgba(255, 255, 255, .06), 0 20px 48px -12px rgba(0, 0, 0, .7);--success: #4ade80;--danger: #f87171;--danger-soft: rgba(248, 113, 113, .08);--correspondence-idle: rgba(161, 161, 170, .2);--correspondence-active: rgba(96, 165, 250, .75);--note-line-bg: rgba(45, 212, 191, .1);--note-line-border: #2dd4bf;--note-line-number: #5eead4;--step-line-ochre-bg: rgba(251, 191, 36, .1);--step-line-ochre-border: rgba(251, 191, 36, .7);--step-line-ochre-number: #fcd34d;--step-line-ochre-focus: rgba(251, 191, 36, .18);--step-line-sage-bg: rgba(74, 222, 128, .1);--step-line-sage-border: rgba(74, 222, 128, .7);--step-line-sage-number: #86efac;--step-line-sage-focus: rgba(74, 222, 128, .18);--step-line-slate-bg: rgba(96, 165, 250, .1);--step-line-slate-border: rgba(96, 165, 250, .7);--step-line-slate-number: #93c5fd;--step-line-slate-focus: rgba(96, 165, 250, .18);--step-line-plum-bg: rgba(192, 132, 252, .1);--step-line-plum-border: rgba(192, 132, 252, .7);--step-line-plum-number: #d8b4fe;--step-line-plum-focus: rgba(192, 132, 252, .18)}html,body,#root{min-height:100%}body{margin:0;background:var(--bg-base);color:var(--text-strong);font-family:var(--font-sans);font-feature-settings:"cv11","ss01";-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-rendering:optimizeLegibility}::selection{background:var(--accent-ring)}button,input,textarea{font-family:inherit;transition:border-color .15s ease,background-color .15s ease,color .15s ease,box-shadow .15s ease,opacity .15s ease}button:hover:not(:disabled){border-color:var(--line-hover)}button:focus-visible,input:focus-visible,textarea:focus-visible{outline:none;box-shadow:0 0 0 3px var(--accent-ring)}button:disabled{opacity:.45}.section-label{color:var(--text-muted);font-size:12px;font-weight:500;letter-spacing:0}.btn{display:inline-flex;align-items:center;justify-content:center;gap:6px;height:32px;padding:0 12px;border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--bg-elevated);color:var(--text-body);font-size:13px;font-weight:500;white-space:nowrap;cursor:pointer}.btn:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.btn:disabled{cursor:default}.btn.is-primary{border-color:var(--primary-bg);background:var(--primary-bg);color:var(--primary-text)}.btn.is-primary:hover:not(:disabled){border-color:var(--primary-bg-hover);background:var(--primary-bg-hover);color:var(--primary-text)}.btn.is-ghost{border-color:transparent;background:transparent;color:var(--text-muted)}.btn.is-ghost:hover:not(:disabled){border-color:transparent;background:var(--bg-hover);color:var(--text-strong)}.app-shell{min-height:100vh;width:100%;background:var(--bg-base);font-family:var(--font-sans)}.app-header{position:relative;z-index:50;min-height:56px;padding:10px 16px;background:var(--bg-base);border-bottom:1px solid var(--line-strong)}.app-header-row{display:flex;align-items:center;gap:6px;flex-wrap:wrap}.app-title-button{display:inline-flex;align-items:center;gap:10px;margin-right:10px;border:none;border-radius:var(--radius);padding:4px 6px 4px 4px;background:transparent;color:var(--text-strong);font-size:15px;font-weight:600;letter-spacing:-.015em;white-space:nowrap;cursor:pointer}.app-title-button:hover:not(:disabled){background:var(--bg-hover)}.app-logo{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;border-radius:7px;background:var(--primary-bg);color:var(--primary-text);font-family:var(--font-mono);font-size:14px;font-weight:500;line-height:1}.header-spacer{flex:1}.toolbar-divider{width:1px;height:20px;margin:0 6px;background:var(--line-strong)}.repo-input-shell{flex:1;min-width:min(100%,320px);max-width:560px;display:flex;align-items:center;gap:8px;height:36px;border:1px solid transparent;border-radius:10px;padding:0 4px 0 12px;background:var(--bg-tint);color:var(--text-muted)}.repo-input-shell:focus-within{border-color:var(--line-hover);background:var(--bg-elevated);box-shadow:0 0 0 3px var(--accent-ring)}.repo-input{flex:1;min-width:0;border:none;background:transparent;color:var(--text-strong);font-size:13.5px;outline:none}.repo-input:focus-visible{box-shadow:none}.repo-input::placeholder{color:var(--text-soft)}.repo-input-shell .toolbar-button.is-primary{height:28px;padding:0 12px;border-radius:7px}.toolbar-button{display:inline-flex;align-items:center;justify-content:center;gap:6px;height:32px;padding:0 10px;border:1px solid transparent;border-radius:var(--radius);background:transparent;color:var(--text-muted);font-size:13px;font-weight:500;white-space:nowrap;cursor:pointer}.toolbar-button:hover:not(:disabled){border-color:transparent;background:var(--bg-hover);color:var(--text-strong)}.toolbar-button:disabled{cursor:default}.toolbar-icon-button{width:32px;min-width:32px;padding:0}.toolbar-button.is-active{background:var(--bg-active);color:var(--text-strong)}.toolbar-button.is-primary,.toolbar-button.is-primary:hover:not(:disabled){background:var(--primary-bg);color:var(--primary-text)}.toolbar-button.is-primary:hover:not(:disabled){background:var(--primary-bg-hover)}.toolbar-button.is-outline{border-color:var(--line-strong);color:var(--text-strong)}.toolbar-button.is-outline:hover:not(:disabled){border-color:var(--line-hover)}.header-user{position:relative;display:flex;align-items:center;gap:4px}.header-avatar{width:28px;height:28px;margin-right:2px;border-radius:50%;background:var(--bg-tint);border:1px solid var(--line-strong);display:flex;align-items:center;justify-content:center;overflow:hidden;flex-shrink:0;color:var(--text-body);font-size:12px;font-weight:600}.header-avatar img{width:100%;height:100%;object-fit:cover}.signin-popover{position:absolute;top:40px;right:0;z-index:30;min-width:300px;border:1px solid var(--line-strong);border-radius:var(--radius-lg);padding:16px;background:var(--bg-elevated);box-shadow:var(--shadow-panel)}.signin-popover-title{margin-bottom:6px;color:var(--text-strong);font-size:14px;font-weight:600}.signin-popover-copy{margin-bottom:14px;color:var(--text-muted);font-size:13px;line-height:1.5}.status-banner{flex-shrink:0;display:flex;align-items:center;gap:8px;min-height:32px;padding:6px 20px;border-bottom:1px solid var(--line-soft);font-size:12.5px}.status-banner:before{content:"";width:6px;height:6px;border-radius:50%;background:currentColor;opacity:.7}.app-main{flex:1;display:flex;overflow:hidden;position:relative}.about-pane{flex:1;overflow-y:auto;padding:72px clamp(24px,6vw,96px) 72px;background:var(--bg-base)}.about-pane p{max-width:720px;margin:0 auto!important;color:var(--text-body);font-size:18px!important;line-height:1.7!important;letter-spacing:-.005em}.about-brand{color:var(--text-strong);font-weight:600}.workspace-pane{flex:1;display:flex;overflow:hidden;position:relative}.aux-pane{width:240px;flex-shrink:0;border-right:1px solid var(--line-strong);background:var(--bg-panel)}.proof-anatomy,.module-atlas{max-height:100%;overflow-y:auto;padding:14px 10px}.aux-panel-kicker{margin:0 6px 8px;color:var(--text-muted);font-size:12px;font-weight:500}.aux-empty-state{padding:16px 14px;color:var(--text-muted);font-size:12.5px}.aux-tree-row{display:flex;align-items:center;gap:6px;width:100%;border:0;border-radius:var(--radius-sm);padding:4px 6px;background:transparent;color:var(--text-body);text-align:left;cursor:pointer}.aux-tree-row:hover{background:var(--bg-hover);color:var(--text-strong)}.aux-tree-row.is-active{background:var(--bg-active);color:var(--text-strong)}.aux-tree-icon{flex-shrink:0;color:var(--text-soft);font-size:10px}.aux-tree-label,.proof-node-label{min-width:0;overflow:hidden;color:inherit;text-overflow:ellipsis;white-space:nowrap}.aux-tree-label{font-size:12.5px}.aux-tree-label.is-dir{font-weight:500}.proof-node-label{font-family:var(--font-mono);font-size:11.5px}.proof-node.is-decl{color:var(--accent)}.proof-node.is-tactic{color:#7c3aed}.proof-node.is-bullet{color:var(--success)}:root[data-theme=dark] .proof-node.is-tactic{color:#c4b5fd}.aux-tree-count{flex-shrink:0;margin-left:auto;color:var(--text-soft);font-size:11px;font-variant-numeric:tabular-nums}.reader-pane{border-right:1px solid var(--line-strong);padding:32px clamp(20px,3vw,40px) 140px;background:var(--bg-base)}.details-pane{width:440px;flex-shrink:0;padding:24px clamp(18px,2vw,28px) 140px;background:var(--bg-base);z-index:5}.snippet-header{margin-bottom:24px}.snippet-meta{margin-bottom:8px;color:var(--text-muted);font-family:var(--font-mono);font-size:12px}.snippet-title{margin:0;color:var(--text-strong);font-size:clamp(24px,2.3vw,30px);font-weight:600;line-height:1.2;letter-spacing:-.025em}.snippet-actions{margin-top:14px;display:flex;align-items:center;gap:6px;flex-wrap:wrap}.reader-context-row{display:flex;flex-wrap:wrap;gap:8px;margin:16px 0 4px}.reader-context-row span{min-width:0;max-width:100%;border-radius:999px;padding:3px 10px;background:var(--bg-tint);color:var(--text-muted);font-size:12px;line-height:1.4;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.tag-cloud{display:flex;flex-wrap:wrap;gap:6px;margin-top:12px}.tag-cloud:empty{display:none}.snippet-action-button,.details-action-button{display:inline-flex;align-items:center;height:30px;border:1px solid var(--line-strong);border-radius:var(--radius);padding:0 11px;background:var(--bg-elevated);color:var(--text-body);cursor:pointer;font-size:12.5px;font-weight:500;white-space:nowrap}.snippet-action-button:hover:not(:disabled),.details-action-button:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.details-action-button.is-primary{border-color:var(--primary-bg);background:var(--primary-bg);color:var(--primary-text)}.details-action-button.is-primary:hover:not(:disabled){border-color:var(--primary-bg-hover);background:var(--primary-bg-hover);color:var(--primary-text)}.details-action-button:disabled{cursor:default}.copy-status{color:var(--success);font-size:12px;font-weight:500}.copy-status.is-error{color:var(--danger)}.details-header{display:flex;align-items:center;justify-content:space-between;gap:8px;margin-bottom:18px}.details-header .section-label{color:var(--text-strong);font-size:14px;font-weight:600}.details-action-row{display:flex;align-items:center;gap:6px;flex-wrap:wrap;justify-content:flex-end}.step-through-panel{--step-border: rgba(217, 119, 6, .35);--step-bg: rgba(217, 119, 6, .05);--step-text: #b45309;--step-chip: rgba(217, 119, 6, .1);margin-bottom:24px;overflow:hidden;border:1px solid var(--line-strong);border-radius:var(--radius-lg);background:var(--bg-elevated)}.step-through-panel.is-enabled{box-shadow:var(--shadow-soft)}.step-through-panel[data-tone=sage]{--step-border: rgba(22, 163, 74, .32);--step-bg: rgba(22, 163, 74, .05);--step-text: #15803d;--step-chip: rgba(22, 163, 74, .1)}.step-through-panel[data-tone=slate]{--step-border: rgba(37, 99, 235, .3);--step-bg: rgba(37, 99, 235, .04);--step-text: #1d4ed8;--step-chip: rgba(37, 99, 235, .09)}.step-through-panel[data-tone=plum]{--step-border: rgba(147, 51, 234, .3);--step-bg: rgba(147, 51, 234, .04);--step-text: #7e22ce;--step-chip: rgba(147, 51, 234, .09)}.step-through-header{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:12px 14px;border-bottom:1px solid var(--line-soft)}.step-through-title{color:var(--text-strong);font-size:14px;font-weight:600}.step-through-toggle,.step-through-pill,.step-through-dot{display:inline-flex;align-items:center;justify-content:center;border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--bg-elevated);color:var(--text-body);font-weight:500;cursor:pointer}.step-through-toggle:hover:not(:disabled),.step-through-pill:hover:not(:disabled),.step-through-dot:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.step-through-toggle{height:30px;padding:0 12px;border-color:var(--primary-bg);background:var(--primary-bg);color:var(--primary-text);font-size:12.5px}.step-through-toggle:hover:not(:disabled){border-color:var(--primary-bg-hover);background:var(--primary-bg-hover);color:var(--primary-text)}.step-through-toggle.is-active{border-color:var(--line-strong);background:var(--bg-elevated);color:var(--text-body)}.step-through-toggle.is-active:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.step-through-toggle:disabled,.step-through-pill:disabled{cursor:default}.step-through-empty{padding:14px;color:var(--text-muted);font-size:13px;line-height:1.6}.step-through-controls{display:flex;align-items:center;gap:6px;flex-wrap:wrap;padding:12px 14px 10px}.step-through-pill{height:30px;padding:0 11px;font-size:12.5px}.step-through-pill.is-wide{min-width:64px}.step-through-count{margin-left:auto;color:var(--text-muted);font-size:12px;font-variant-numeric:tabular-nums}.step-through-dots{display:flex;flex-wrap:wrap;gap:4px;padding:0 14px 12px}.step-through-dot{min-width:28px;height:26px;padding:0 8px;border-radius:var(--radius-sm);font-size:12px;font-variant-numeric:tabular-nums}.step-through-dot.is-active,.step-through-dot.is-active:hover:not(:disabled){border-color:var(--step-border);background:var(--step-chip);color:var(--step-text)}.step-through-body{padding:0 14px 14px}.step-through-card{border:1px solid var(--step-border);border-radius:10px;padding:14px;background:var(--step-bg);color:var(--text-body)}.step-through-card-header{display:flex;align-items:baseline;justify-content:space-between;gap:10px;margin-bottom:8px}.step-through-card h3{margin:0;color:var(--text-strong);font-size:15px;font-weight:600;line-height:1.35;letter-spacing:-.01em}.step-through-card-header span{color:var(--step-text);font-family:var(--font-mono);font-size:11px;white-space:nowrap}.step-through-summary,.step-through-proof p{margin:0;color:var(--text-body);line-height:1.65}.step-through-summary{font-size:14px}.step-through-terms{display:flex;flex-wrap:wrap;gap:4px;margin-top:10px}.step-through-terms span{display:inline-block;border-radius:5px;padding:2px 7px;background:var(--step-chip);color:var(--step-text);font-family:var(--font-mono);font-size:11.5px}.step-through-proof{margin-top:12px;padding-top:12px;border-top:1px solid var(--step-border)}.step-through-proof>div{margin-bottom:6px;color:var(--text-muted);font-size:12px;font-weight:500}.step-through-proof p{font-size:13.5px}.step-through-keyboard{margin-top:10px;color:var(--text-soft);font-size:12px;line-height:1.5}:root[data-theme=dark] .step-through-panel{--step-border: rgba(251, 191, 36, .3);--step-bg: rgba(251, 191, 36, .06);--step-text: #fcd34d;--step-chip: rgba(251, 191, 36, .14)}:root[data-theme=dark] .step-through-panel[data-tone=sage]{--step-border: rgba(74, 222, 128, .28);--step-bg: rgba(74, 222, 128, .05);--step-text: #86efac;--step-chip: rgba(74, 222, 128, .13)}:root[data-theme=dark] .step-through-panel[data-tone=slate]{--step-border: rgba(96, 165, 250, .3);--step-bg: rgba(96, 165, 250, .06);--step-text: #93c5fd;--step-chip: rgba(96, 165, 250, .14)}:root[data-theme=dark] .step-through-panel[data-tone=plum]{--step-border: rgba(192, 132, 252, .3);--step-bg: rgba(192, 132, 252, .06);--step-text: #d8b4fe;--step-chip: rgba(192, 132, 252, .14)}.section-separator{margin:24px 0;display:flex;align-items:center;gap:12px}.section-separator-line,.section-separator-line.reverse{flex:1;height:1px;background:var(--line-strong)}.card-section{margin-bottom:8px;border:1px solid transparent;border-radius:var(--radius-lg)}.card-section.is-active{border-color:#2563eb33;background:var(--accent-soft)}:root[data-theme=dark] .card-section.is-active{border-color:#60a5fa38}.card-section-frame{padding:4px 0 22px;border-bottom:1px solid var(--line-soft)}.card-section.is-active .card-section-frame{padding:14px 16px 16px;border-color:transparent}.card-section-title{margin-bottom:8px;color:var(--text-strong);font-size:13px;font-weight:600;letter-spacing:-.005em}.informal-card-text{margin:0;color:var(--text-body);font-size:14.5px!important;line-height:1.7!important}.informal-card-text.is-statement{color:var(--text-strong);font-size:16px!important;line-height:1.65!important;letter-spacing:-.008em}.informal-card-text .katex{color:inherit;font-size:1.06em}.prompt-actions{display:flex;gap:6px;flex-wrap:wrap;margin-top:16px}.prompt-chip{display:inline-flex;align-items:center;height:32px;padding:0 14px;border:1px solid var(--line-strong);border-radius:999px;background:var(--bg-elevated);color:var(--text-body);font-size:13px;cursor:pointer}.prompt-chip:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.snippet-tag{display:inline-flex;align-items:center;gap:6px;height:24px;padding:0 10px 0 8px;border:1px solid var(--line-strong);border-radius:999px;background:var(--bg-elevated);color:var(--text-body);font-size:12px;font-weight:500;white-space:nowrap}.snippet-tag-dot{width:6px;height:6px;border-radius:50%}.code-panel{background:var(--bg-code);border:1px solid var(--line-strong);border-radius:var(--radius-lg)}.code-chip{padding:2px 8px;border-radius:5px;border:1px solid var(--line-strong);background:var(--bg-elevated);color:var(--text-muted)!important;font-family:var(--font-sans);font-weight:500}.lean-token-default{color:#18181b}.lean-token-keyword{color:#7c3aed}.lean-token-type{color:#0e7490}.lean-token-tactic{color:#2563eb}.lean-token-comment{color:#a1a1aa;font-style:italic}.lean-token-punct{color:#71717a}:root[data-theme=dark] .lean-token-default{color:#e4e4e7}:root[data-theme=dark] .lean-token-keyword{color:#c4b5fd}:root[data-theme=dark] .lean-token-type{color:#67e8f9}:root[data-theme=dark] .lean-token-tactic{color:#93c5fd}:root[data-theme=dark] .lean-token-comment{color:#71717a}:root[data-theme=dark] .lean-token-punct{color:#a1a1aa}.lean-token-hover{cursor:help;border-radius:3px;text-decoration:underline;text-decoration-color:transparent;text-decoration-thickness:1px;text-underline-offset:3px;transition:text-decoration-color .12s ease,background-color .12s ease}.lean-token-hover:hover,.lean-token-hover:focus-visible{background:var(--accent-soft);text-decoration-color:color-mix(in srgb,currentColor 55%,transparent);outline:none}.code-line-number-button:hover{background:transparent!important;color:var(--text-strong)!important}.note-scope-bar{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:2px;margin-bottom:10px;padding:3px;border-radius:var(--radius);background:var(--bg-tint)}.note-scope-button{height:28px;border:1px solid transparent;border-radius:var(--radius-sm);background:transparent;color:var(--text-muted);font-size:12.5px;font-weight:500;cursor:pointer}.note-scope-button:hover:not(:disabled){border-color:transparent;color:var(--text-strong)}.note-scope-button.is-active,.note-scope-button.is-active:hover:not(:disabled){border-color:var(--line-strong);background:var(--bg-elevated);color:var(--text-strong);box-shadow:var(--shadow-soft)}.note-context-hint{margin-bottom:10px;color:var(--text-muted);font-size:12px;line-height:1.45}.note-editor{width:100%;min-height:88px;border:1px solid var(--line-strong);border-radius:10px;padding:10px 12px;background:var(--bg-elevated);color:var(--text-strong);font-size:14px;line-height:1.6;resize:vertical;outline:none}.note-editor:focus{border-color:var(--line-hover);box-shadow:0 0 0 3px var(--accent-ring)}.note-editor::placeholder{color:var(--text-soft)}.note-meta-row{display:flex;align-items:center;gap:12px;margin-top:8px;font-size:12.5px}.note-empty-signin{min-height:88px;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:10px;border:1px dashed var(--line-hover);border-radius:10px;padding:16px 14px;background:var(--bg-panel);text-align:center}.note-empty-signin span{color:var(--text-muted);font-size:13px}.note-empty-signin button{height:28px;border:1px solid var(--primary-bg);border-radius:var(--radius-sm);padding:0 12px;background:var(--primary-bg);color:var(--primary-text);cursor:pointer;font-size:12.5px;font-weight:500}.note-empty-signin button:hover:not(:disabled){background:var(--primary-bg-hover);border-color:var(--primary-bg-hover)}.public-notes-header{display:flex;align-items:center;gap:10px;margin-bottom:10px}.public-notes-header span{color:var(--text-muted);font-size:12px;font-weight:500}.public-notes-header div{flex:1;height:1px;background:var(--line-soft)}.public-note{margin-bottom:6px;border:1px solid var(--line-strong);border-radius:10px;padding:10px 12px;background:var(--bg-elevated)}.public-note-author{display:flex;align-items:center;gap:6px;margin-bottom:4px}.public-note-author img{width:18px;height:18px;border-radius:50%}.public-note-author span{color:var(--text-strong);font-size:12px;font-weight:600}.public-note p{margin:0;color:var(--text-body);font-size:13.5px;line-height:1.55}.repo-chat-shell{position:absolute;left:50%;bottom:16px;z-index:36;width:min(720px,calc(100% - 44px));transform:translate(-50%);pointer-events:none}@media(min-width:941px){.repo-chat-shell{left:calc((100% - 440px)/2);width:min(680px,calc(100% - 488px))}}@media(min-width:941px)and (max-width:1180px){.app-main.has-aux .repo-chat-shell{left:50%;width:min(720px,calc(100% - 44px))}}.repo-chat-dock{overflow:hidden;border:1px solid var(--line-strong);border-radius:var(--radius-xl);background:color-mix(in srgb,var(--bg-elevated) 92%,transparent);box-shadow:var(--shadow-panel);pointer-events:auto;-webkit-backdrop-filter:blur(20px) saturate(1.4);backdrop-filter:blur(20px) saturate(1.4)}.repo-chat-dock:focus-within{border-color:var(--line-hover)}.repo-chat-history{max-height:min(34vh,300px);overflow-y:auto;padding:14px 16px 6px;border-bottom:1px solid var(--line-soft)}.repo-chat-empty,.repo-chat-error{padding:4px 0 12px;color:var(--text-muted);font-size:13px;line-height:1.5}.repo-chat-error{color:var(--danger)}.repo-chat-message{display:grid;grid-template-columns:88px 1fr;gap:12px;padding:8px 0}.repo-chat-message-label{color:var(--text-muted);font-size:12px;font-weight:500}.repo-chat-message p{margin:0;color:var(--text-body);font-size:14px;line-height:1.6;white-space:pre-wrap}.repo-chat-message.user p{color:var(--text-strong)}.repo-chat-input-row{display:grid;grid-template-columns:auto minmax(0,1fr) auto auto auto;align-items:center;gap:8px;padding:8px 8px 8px 10px}.repo-chat-mode{display:inline-flex;align-items:center;height:26px;border-radius:999px;padding:0 10px;background:var(--bg-tint);color:var(--text-muted);font-size:12px;font-weight:500}.repo-chat-input{width:100%;max-height:96px;min-height:24px;padding:3px 0;border:none;background:transparent;color:var(--text-strong);font-size:14px;line-height:1.45;resize:none;outline:none}.repo-chat-input:focus-visible{box-shadow:none}.repo-chat-input::placeholder{color:var(--text-soft)}.repo-chat-ghost-button,.repo-chat-restore,.repo-chat-send{display:inline-flex;align-items:center;justify-content:center;height:32px;border:1px solid transparent;border-radius:var(--radius);background:transparent;color:var(--text-muted);cursor:pointer;font-size:12.5px;font-weight:500;white-space:nowrap}.repo-chat-ghost-button:hover:not(:disabled),.repo-chat-restore:hover:not(:disabled){border-color:transparent;background:var(--bg-hover);color:var(--text-strong)}.repo-chat-ghost-button{padding:0 10px}.repo-chat-restore{width:32px;padding:0}.repo-chat-send{width:32px;border-radius:50%;background:var(--primary-bg);color:var(--primary-text)}.repo-chat-send:hover:not(:disabled){background:var(--primary-bg-hover)}.repo-chat-send:disabled{opacity:1;background:var(--bg-tint);color:var(--text-soft)}.repo-chat-send:disabled,.repo-chat-ghost-button:disabled,.repo-chat-restore:disabled{cursor:default}.app-footer{min-height:32px;padding:0 16px;background:var(--bg-base);border-top:1px solid var(--line-strong)}.footer-row{display:flex;align-items:center;gap:12px;min-height:32px}.footer-row span{color:var(--text-muted);font-size:12px}.footer-current{max-width:min(42vw,520px);overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.footer-row .footer-tagline{color:var(--text-soft)}.footer-divider{width:1px;height:12px;background:var(--line-strong)}.feedback-overlay,.profile-overlay,.share-overlay{position:fixed;inset:0;display:flex;align-items:center;justify-content:center;padding:24px;background:var(--overlay);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);animation:overlay-in .16s ease}.feedback-overlay{z-index:120}.profile-overlay{z-index:125}.share-overlay{z-index:126}.feedback-modal,.profile-modal,.share-modal{width:min(560px,100%);max-height:min(760px,calc(100vh - 48px));overflow-y:auto;border:1px solid var(--line-strong);border-radius:var(--radius-xl);padding:24px;background:var(--bg-elevated);box-shadow:var(--shadow-panel);animation:modal-in .2s cubic-bezier(.2,.8,.2,1)}@keyframes overlay-in{0%{opacity:0}}@keyframes modal-in{0%{opacity:0;transform:translateY(8px) scale(.98)}}.feedback-modal h3,.profile-modal h3,.share-modal h3{margin:0;color:var(--text-strong);font-size:18px!important;font-weight:600;letter-spacing:-.015em}.feedback-modal p{font-size:13.5px!important}.feedback-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.feedback-field,.feedback-textarea,.profile-field textarea,.share-recipient-field textarea{width:100%;border:1px solid var(--line-strong);border-radius:10px;padding:9px 12px;background:var(--bg-base);color:var(--text-strong);font-size:14px!important;line-height:1.55;outline:none}.feedback-field:focus,.feedback-textarea:focus,.profile-field textarea:focus,.share-recipient-field textarea:focus{border-color:var(--line-hover);box-shadow:0 0 0 3px var(--accent-ring)}.feedback-textarea{min-height:140px;margin-top:8px;padding:12px}.feedback-send{height:34px;padding:0 16px;border:1px solid var(--primary-bg);border-radius:var(--radius);background:var(--primary-bg);color:var(--primary-text);font-size:13px;font-weight:500;cursor:pointer}.feedback-send:hover:not(:disabled){border-color:var(--primary-bg-hover);background:var(--primary-bg-hover)}.modal-close{display:inline-flex;align-items:center;justify-content:center;width:30px;height:30px;border:none;border-radius:var(--radius);background:transparent;color:var(--text-muted);cursor:pointer}.modal-close:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.profile-modal-header,.share-modal-header{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;margin-bottom:16px}.profile-modal-kicker,.share-modal-kicker{margin-bottom:4px;color:var(--text-muted);font-size:12px;font-weight:500}.profile-close,.profile-actions button,.share-close,.share-create-button{height:32px;border:1px solid var(--line-strong);border-radius:var(--radius);padding:0 14px;background:var(--bg-elevated);color:var(--text-body);font-size:13px;font-weight:500;cursor:pointer}.profile-close:hover:not(:disabled),.share-close:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.profile-actions button,.share-create-button{border-color:var(--primary-bg);background:var(--primary-bg);color:var(--primary-text)}.profile-actions button:hover:not(:disabled),.share-create-button:hover:not(:disabled){border-color:var(--primary-bg-hover);background:var(--primary-bg-hover)}.profile-user-line{display:flex;align-items:center;gap:8px;margin-bottom:16px;color:var(--text-muted);font-size:13px}.profile-user-line img{width:24px;height:24px;border-radius:50%}.profile-field{display:block;margin-top:14px}.profile-field span{display:block;margin-bottom:6px;color:var(--text-strong);font-size:13px;font-weight:500}.profile-field textarea{min-height:84px;resize:vertical}.profile-actions,.share-actions{display:flex;align-items:center;justify-content:space-between;gap:14px;margin-top:18px}.profile-status,.share-status{color:var(--text-muted);font-size:12.5px}.profile-status.saved,.share-status.created{color:var(--success)}.profile-status.error,.share-status.error{color:var(--danger)}.share-context{border:1px solid var(--line-strong);border-radius:var(--radius-lg);padding:12px 14px;background:var(--bg-panel)}.share-context span{display:block;margin-bottom:3px;color:var(--text-muted);font-size:12px;font-weight:500}.share-context strong{color:var(--text-strong);font-size:15px;font-weight:600}.share-context p,.share-warning{margin:6px 0 0;color:var(--text-muted);font-size:12.5px;line-height:1.5}.share-warning{color:var(--danger)}.share-visibility-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;margin-top:14px}.share-choice{min-height:92px;border:1px solid var(--line-strong);border-radius:var(--radius-lg);padding:12px;background:var(--bg-elevated);color:var(--text-body);text-align:left;cursor:pointer}.share-choice:hover:not(:disabled){background:var(--bg-hover)}.share-choice span,.share-recipient-field span{display:block;color:var(--text-strong);font-size:13.5px;font-weight:500}.share-choice small{display:block;margin-top:5px;color:var(--text-muted);font-size:12px;line-height:1.4}.share-choice.is-selected,.share-choice.is-selected:hover:not(:disabled){border-color:var(--text-strong);background:var(--bg-elevated);box-shadow:inset 0 0 0 1px var(--text-strong)}.share-recipient-field{display:block;margin-top:14px}.share-recipient-field textarea{min-height:84px;margin-top:6px;resize:vertical}.mathlib-popover{position:fixed;z-index:140;width:340px;max-width:calc(100vw - 24px);border:1px solid var(--line-strong);border-radius:var(--radius-lg);padding:14px;background:var(--bg-elevated);box-shadow:var(--shadow-panel);color:var(--text-body)}.mathlib-popover-kicker{margin-bottom:4px;color:var(--text-muted);font-size:11.5px;font-weight:500}.mathlib-popover-title{color:var(--text-strong);font-family:var(--font-mono);font-size:13px;line-height:1.4;overflow-wrap:anywhere}.mathlib-popover-kind{display:inline-block;margin-top:8px;padding:2px 8px;border-radius:999px;background:var(--accent-soft);color:var(--accent);font-size:11.5px;font-weight:500}.mathlib-popover-copy{margin:10px 0 0;color:var(--text-body);font-size:13px;line-height:1.55}.mathlib-popover-signature{margin-top:10px;max-height:84px;overflow:hidden;border-radius:var(--radius-sm);padding:8px 10px;background:var(--bg-code);color:var(--text-body);font-family:var(--font-mono);font-size:11px;line-height:1.5}.mathlib-popover-file{margin-top:8px;color:var(--text-muted);font-family:var(--font-mono);font-size:11px}.mathlib-popover-actions{display:flex;flex-wrap:wrap;gap:6px;margin-top:12px}.mathlib-popover-actions a{display:inline-flex;align-items:center;height:28px;border:1px solid var(--line-strong);border-radius:var(--radius-sm);padding:0 10px;background:var(--bg-elevated);color:var(--text-body);font-size:12.5px;font-weight:500;text-decoration:none}.mathlib-popover-actions a:hover{background:var(--bg-hover);color:var(--text-strong)}.sidebar-shell{width:264px;height:100%;flex-shrink:0;overflow-y:auto;border-right:1px solid var(--line-strong);background:var(--bg-panel)}.sidebar-sticky{position:sticky;top:0;z-index:2;padding:16px 12px 12px;background:color-mix(in srgb,var(--bg-panel) 88%,transparent);-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px)}.sidebar-kicker{margin:0 4px 2px;color:var(--text-muted);font-size:12px;font-weight:500}.sidebar-repo{margin:0 4px 10px;color:var(--text-strong);font-size:14px;font-weight:600;letter-spacing:-.01em;line-height:1.35;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.sidebar-metrics{display:flex;flex-wrap:wrap;gap:4px 12px;margin:0 4px 12px}.sidebar-metrics span{color:var(--text-muted);font-size:12px;font-variant-numeric:tabular-nums}.sidebar-metrics strong{color:var(--text-strong);font-weight:600}.sidebar-search{position:relative;color:var(--text-soft)}.sidebar-search>svg{position:absolute;top:50%;left:10px;transform:translateY(-50%)}.sidebar-search input{width:100%;height:32px;border:1px solid var(--line-strong);border-radius:var(--radius);padding:0 32px 0 30px;background:var(--bg-elevated);color:var(--text-strong);font-size:13px;outline:none}.sidebar-search-kbd,.sidebar-search-clear{position:absolute;top:50%;right:6px;transform:translateY(-50%)}.sidebar-search-kbd{min-width:20px;height:20px;border:1px solid var(--line-strong);border-radius:5px;padding:0 5px;background:var(--bg-panel);color:var(--text-muted);font-family:var(--font-mono);font-size:11px;line-height:18px;text-align:center;pointer-events:none}.sidebar-search-clear{display:inline-flex;align-items:center;justify-content:center;width:22px;height:22px;border:none;border-radius:5px;background:transparent;color:var(--text-muted);cursor:pointer}.sidebar-search-clear:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.sidebar-type-chips{display:flex;gap:2px;margin-top:8px;padding:3px;border-radius:var(--radius);background:var(--bg-tint)}.sidebar-type-chip{flex:1 1 auto;height:24px;border:1px solid transparent;border-radius:var(--radius-sm);padding:0 6px;background:transparent;color:var(--text-muted);font-size:12px;font-weight:500;cursor:pointer}.sidebar-type-chip:hover:not(:disabled){border-color:transparent;color:var(--text-strong)}.sidebar-type-chip.is-active,.sidebar-type-chip.is-active:hover:not(:disabled){border-color:var(--line-strong);background:var(--bg-elevated);color:var(--text-strong);box-shadow:var(--shadow-soft)}.search-hit{border-radius:3px;padding:0 1px;margin:0 -1px;background:#facc1559;color:inherit}:root[data-theme=dark] .search-hit{background:#facc1547}.sidebar-search input::placeholder{color:var(--text-soft)}.sidebar-search input:focus{border-color:var(--line-hover);box-shadow:0 0 0 3px var(--accent-ring)}.sidebar-filter-row{display:flex;align-items:center;gap:6px;margin:8px 4px 0;color:var(--text-muted);font-size:12px}.sidebar-filter-chip{display:inline-flex;align-items:center;gap:4px;height:22px;border:1px solid var(--line-strong);border-radius:999px;padding:0 8px;background:var(--bg-elevated);color:var(--text-body);font-size:11.5px;cursor:pointer}.sidebar-group{padding:8px 8px 4px}.sidebar-group-label{display:flex;align-items:center;justify-content:space-between;padding:6px 8px 4px;color:var(--text-muted);font-size:12px;font-weight:500;text-transform:capitalize}.sidebar-group-label span:last-child{color:var(--text-soft);font-variant-numeric:tabular-nums}.sidebar-item{position:relative;display:block;width:100%;margin:1px 0;border:0;border-radius:var(--radius);padding:7px 8px;background:transparent;text-align:left;cursor:pointer}.sidebar-item:hover:not(:disabled){background:var(--bg-hover)}.sidebar-item.is-active,.sidebar-item.is-active:hover:not(:disabled){background:var(--bg-active)}.sidebar-item-row{display:flex;align-items:flex-start;gap:8px}.sidebar-item-badge{flex-shrink:0;display:inline-flex;align-items:center;justify-content:center;width:18px;height:18px;margin-top:1px;border-radius:5px;font-family:var(--font-mono);font-size:10.5px;font-weight:600}.sidebar-item-badge.is-theorem{background:#2563eb1a;color:#2563eb}.sidebar-item-badge.is-lemma{background:#16a34a1a;color:#15803d}.sidebar-item-badge.is-definition{background:#9333ea1a;color:#7e22ce}.sidebar-item-badge.is-other{background:var(--bg-tint);color:var(--text-muted)}:root[data-theme=dark] .sidebar-item-badge.is-theorem{background:#60a5fa24;color:#93c5fd}:root[data-theme=dark] .sidebar-item-badge.is-lemma{background:#4ade801f;color:#86efac}:root[data-theme=dark] .sidebar-item-badge.is-definition{background:#c084fc24;color:#d8b4fe}.sidebar-item-name{color:var(--text-body);font-size:13px;line-height:1.35;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.sidebar-item.is-active .sidebar-item-name{color:var(--text-strong);font-weight:500}.sidebar-item-file{margin-top:2px;color:var(--text-soft);font-family:var(--font-mono);font-size:11px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.sidebar-tabs{display:flex;gap:16px;margin:0 4px 10px;border-bottom:1px solid var(--line-strong)}.sidebar-tab{display:inline-flex;align-items:center;gap:6px;margin-bottom:-1px;border:none;border-bottom:2px solid transparent;padding:6px 0 7px;background:transparent;color:var(--text-muted);font-size:13px;font-weight:500;cursor:pointer}.sidebar-tab span{color:var(--text-soft);font-size:11.5px;font-variant-numeric:tabular-nums}.sidebar-tab:hover:not(:disabled){color:var(--text-strong)}.sidebar-tab.is-active,.sidebar-tab.is-active:hover:not(:disabled){border-bottom-color:var(--text-strong);color:var(--text-strong)}.sidebar-item-file-icon{flex-shrink:0;display:inline-flex;align-items:center;justify-content:center;width:18px;height:18px;margin-top:1px;color:var(--text-soft)}.sidebar-item-meta{color:var(--text-soft);font-size:11.5px;font-weight:400}.sidebar-see-all{display:flex;align-items:center;gap:4px;width:100%;margin-top:2px;border:none;border-radius:var(--radius);padding:7px 8px;background:transparent;color:var(--text-muted);font-size:12.5px;font-weight:500;text-align:left;cursor:pointer}.sidebar-see-all:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.file-tree{display:flex;flex-direction:column}.file-tree-row{display:flex;align-items:center;gap:5px;width:100%;min-height:28px;border:none;border-radius:var(--radius-sm);padding-top:4px;padding-right:8px;padding-bottom:4px;background:transparent;color:var(--text-body);font-size:13px;text-align:left;cursor:pointer}.file-tree-row:hover:not(:disabled){background:var(--bg-hover);color:var(--text-strong)}.file-tree-row.is-current{color:var(--text-strong);font-weight:500}.file-tree-row.is-unloaded .file-tree-icon{opacity:.6}.file-tree-row.is-declaration{min-height:26px;gap:7px;font-size:12.5px}.file-tree-row.is-declaration .sidebar-item-badge{width:16px;height:16px;margin-top:0;font-size:9.5px}.file-tree-row.is-declaration.is-active,.file-tree-row.is-declaration.is-active:hover:not(:disabled){background:var(--bg-active);color:var(--text-strong);font-weight:500}.file-tree-chevron{color:var(--text-soft);transition:transform .12s ease}.file-tree-chevron.is-open{transform:rotate(90deg)}.file-tree-icon{color:var(--text-muted)}.file-tree-name{min-width:0;flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.file-tree-count{flex-shrink:0;color:var(--text-soft);font-size:11.5px;font-variant-numeric:tabular-nums}.sidebar-item-context{margin-top:2px;color:var(--text-muted);font-size:11.5px;line-height:1.4;display:-webkit-box;-webkit-box-orient:vertical;-webkit-line-clamp:2;overflow:hidden}.sidebar-item-context-label{margin-right:5px;color:var(--text-soft);font-weight:500}.sidebar-item.is-keyboard-active{background:var(--bg-hover);box-shadow:inset 0 0 0 1px var(--line-hover)}.sidebar-empty{padding:24px 16px;color:var(--text-muted);font-size:13px;text-align:center}.sidebar-empty-hint{margin-top:8px;color:var(--text-soft);font-size:12px;line-height:1.6}.sidebar-empty-hint code{border-radius:4px;padding:1px 4px;background:var(--bg-tint);color:var(--text-body);font-family:var(--font-mono);font-size:11px}.loading-screen{background:var(--bg-base)}.loading-mark{display:flex;flex-direction:column;align-items:center;gap:14px}.loading-mark .app-logo{width:40px;height:40px;border-radius:11px;font-size:20px}.loading-wordmark{color:var(--text-strong);font-size:18px;font-weight:600;letter-spacing:-.02em}@media(max-width:1180px){.app-main.has-aux,.app-main.has-aux .workspace-pane{flex-direction:column}.app-main.has-aux{overflow-y:auto}.app-main.has-aux .workspace-pane,.app-main.has-aux .reader-pane,.app-main.has-aux .details-pane{flex:0 0 auto!important;overflow-y:visible!important}.app-main.has-aux .sidebar-shell,.app-main.has-aux .aux-pane,.app-main.has-aux .details-pane{width:100%}.app-main.has-aux .sidebar-shell,.app-main.has-aux .aux-pane{height:auto!important;max-height:min(36vh,280px);overflow-y:auto!important}.app-main.has-aux .sidebar-shell,.app-main.has-aux .aux-pane,.app-main.has-aux .reader-pane{border-right:none!important;border-bottom:1px solid var(--line-strong)}}@media(max-width:940px){.app-main{flex-direction:column;overflow-y:auto}.workspace-pane,.reader-pane,.details-pane{flex:0 0 auto!important;overflow-y:visible!important}.workspace-pane{flex-direction:column}.sidebar-shell,.aux-pane,.details-pane{width:100%}.sidebar-shell,.aux-pane{height:auto!important;max-height:min(36vh,280px);overflow-y:auto!important}.sidebar-shell,.aux-pane,.reader-pane{border-right:none!important;border-bottom:1px solid var(--line-strong)}.header-spacer{display:none}}@media(max-width:760px){.app-header{padding:10px 12px}.folio-mode-header,.folio-mode-footer{padding-left:18px!important;padding-right:18px!important}.folio-mode-body{flex-direction:column!important;overflow-y:auto!important;padding:0 18px!important}.folio-mode-code,.folio-mode-copy{width:auto!important;flex:0 0 auto!important;overflow-y:visible!important;padding:22px 0 30px!important}.folio-mode-code{border-right:none!important;border-bottom:1px solid var(--line-soft)}.toolbar-divider,.toolbar-label,.app-title-text,.footer-row .footer-tagline{display:none}.app-title-button{margin-right:0}.header-spacer{display:block}.repo-input-shell{order:10;flex-basis:100%;max-width:none;margin-top:6px}.app-header-row{gap:2px}.feedback-grid{grid-template-columns:1fr}.reader-pane,.details-pane,.about-pane{padding-left:16px;padding-right:16px}.repo-chat-shell{width:calc(100% - 24px);bottom:10px}.repo-chat-input-row{grid-template-columns:minmax(0,1fr) auto}.repo-chat-mode,.repo-chat-ghost-button{display:none}.repo-chat-message{grid-template-columns:1fr;gap:2px}.share-visibility-grid{grid-template-columns:1fr}}