body.prooftree-active{background-color:var(--prooftree-body-bg,#f7f6f1);color:var(--prooftree-body-ink,#131210);font-family:Newsreader,Georgia,serif;font-size:18px;line-height:1.55}body.prooftree-active:before{display:none!important}html[data-theme=dark] body.prooftree-active{--prooftree-body-bg:#1e1b15;--prooftree-body-ink:#e9e0ca}html:has(.prooftree-theme[data-theme=cream]){color-scheme:light}html:has(.prooftree-theme[data-theme=dark]){color-scheme:dark}.prooftree-theme{--serif:"Newsreader",Georgia,serif;--sans:"Inter Tight",-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif;--mono:"JetBrains Mono","IBM Plex Mono",Menlo,Consolas,monospace;font-family:var(--serif);font-size:18px;line-height:1.55;--paper:#f7f6f1;--paper-deep:#f0eee7;--paper-press:#e8e5db;--ink:#131210;--ink-muted:#5e5a52;--ink-faint:#aba89e;--hairline:#e0dcce;--accent:#9a3d2f;--accent-deep:#6b2a20;--accent-tint:#f5ddd5;--discovery:#2d5aa1;--discovery-deep:#1b3e7a;--discovery-tint:#dce5f1;--verified:#4f7a4b;--verified-tint:#dfe7d9;--stub:#a88a3f;--stub-tint:#efe5c9;--ident-yellow:#c9a227;--ident-green:#4f7a4b;--ident-blue:#3d6a8c;--ident-red:#9a3d2f;--background:45 20% 96%;--foreground:30 10% 7%;--card:45 18% 94%;--card-foreground:30 10% 7%;--popover:45 20% 96%;--popover-foreground:30 10% 7%;--primary:8 52% 39%;--primary-foreground:45 20% 96%;--secondary:42 16% 91%;--secondary-foreground:30 10% 7%;--muted:42 14% 88%;--muted-foreground:38 8% 35%;--accent-hsl:8 52% 39%;--accent-foreground:45 20% 96%;--destructive:0 55% 39%;--destructive-foreground:45 20% 96%;--border:40 18% 83%;--input:40 18% 83%;--ring:8 52% 39%;--radius:0.375rem;color-scheme:light;background-color:var(--paper);color:var(--ink);min-height:100vh}.prooftree-theme[data-theme=dark]{--paper:#1e1b15;--paper-deep:#171410;--paper-press:#2a251d;--ink:#e9e0ca;--ink-muted:#a39a86;--ink-faint:#6e6759;--hairline:#3a332a;--accent:#c46b5a;--accent-deep:#9f4f40;--accent-tint:#4a2c24;--discovery:#88b0de;--discovery-deep:#5c8ac0;--discovery-tint:#1f2d43;--verified:#8fb57f;--verified-tint:color-mix(in oklab,#8fb57f 18%,#1e1b15);--stub:#c4a554;--stub-tint:color-mix(in oklab,#c4a554 18%,#1e1b15);--background:38 16% 10%;--foreground:42 24% 85%;--card:38 14% 12%;--card-foreground:42 24% 85%;--popover:38 16% 10%;--popover-foreground:42 24% 85%;--primary:10 45% 56%;--primary-foreground:38 16% 10%;--secondary:38 12% 16%;--secondary-foreground:42 24% 85%;--muted:38 10% 18%;--muted-foreground:38 10% 58%;--border:38 12% 22%;--input:38 12% 22%;--ring:10 45% 56%;color-scheme:dark}.prooftree-theme .katex{font-size:1em!important;color:inherit!important}.prooftree-theme .katex-display{margin:0!important}.prooftree-theme a.no-underline,.prooftree-theme a.no-underline:hover,.prooftree-theme a.text-inherit,.prooftree-theme a.text-inherit:hover{color:inherit;text-decoration:none}.label-caps{font-size:11px;letter-spacing:.08em;text-transform:uppercase;font-weight:500;color:var(--ink-muted)}.label-caps,.prooftree-mono{font-family:JetBrains Mono,monospace}.prooftree-flourish,.prooftree-serif{font-family:Newsreader,Georgia,serif}.prooftree-flourish{font-style:italic;font-weight:400;color:var(--ink-muted)}.prooftree-tab-active{border-bottom:2px solid var(--accent);color:var(--ink);font-weight:600}.prooftree-tab{border-bottom:2px solid transparent;color:var(--ink-muted)}.prooftree-tab:hover{color:var(--ink)}.prooftree-tab-disabled{color:var(--ink-faint);cursor:not-allowed}.badge-lean-checked{background:color-mix(in oklab,var(--verified) 14%,var(--paper));color:var(--verified);border:1px solid color-mix(in oklab,var(--verified) 35%,transparent)}.badge-lean-stub{background:color-mix(in oklab,var(--stub) 14%,var(--paper));color:var(--stub);border:1px solid color-mix(in oklab,var(--stub) 35%,transparent)}.badge-draft{background:color-mix(in oklab,var(--ink-muted) 12%,var(--paper));color:var(--ink-muted);border:1px solid color-mix(in oklab,var(--ink-muted) 28%,transparent)}.badge-collision{background:color-mix(in oklab,var(--discovery) 12%,var(--paper));color:var(--discovery);border:1px solid color-mix(in oklab,var(--discovery) 35%,transparent)}.badge-accepted{background:color-mix(in oklab,var(--verified) 14%,var(--paper));color:var(--verified);border:1px solid color-mix(in oklab,var(--verified) 35%,transparent)}.badge-discovery{background:color-mix(in oklab,var(--discovery) 12%,var(--paper));color:var(--discovery);border:1px solid color-mix(in oklab,var(--discovery) 35%,transparent)}.theorem-box{border-left:3px solid var(--accent);background:var(--paper-deep);padding:12px 16px;margin:12px 0}.margin-note{padding:14px 16px 16px;background:color-mix(in oklab,var(--discovery-tint) 70%,var(--paper));border:1px solid color-mix(in oklab,var(--discovery) 35%,transparent);border-left:3px solid var(--discovery);border-radius:6px}.fora-card-statement{border-left:3px solid var(--accent)}.identity-avatar{display:grid;place-items:center;border-radius:50%;flex-shrink:0;font-family:Newsreader,Georgia,serif;font-style:italic;font-weight:500;color:var(--ink);background:var(--paper);border:1px solid color-mix(in oklab,var(--ink-muted) 40%,transparent)}.identity-avatar--yellow{background:color-mix(in oklab,var(--ident-yellow) 22%,var(--paper));border-color:color-mix(in oklab,var(--ident-yellow) 60%,transparent)}.identity-avatar--green{background:color-mix(in oklab,var(--ident-green) 22%,var(--paper));border-color:color-mix(in oklab,var(--ident-green) 60%,transparent)}.identity-avatar--blue{background:color-mix(in oklab,var(--ident-blue) 22%,var(--paper));border-color:color-mix(in oklab,var(--ident-blue) 60%,transparent)}.identity-avatar--red{background:color-mix(in oklab,var(--ident-red) 22%,var(--paper));border-color:color-mix(in oklab,var(--ident-red) 60%,transparent)}.lean-flash-green{animation:green-flash-keyframes .8s ease-out}@keyframes green-flash-keyframes{0%{background-color:color-mix(in oklab,var(--verified) 35%,transparent)}to{background-color:transparent}}.collision-halo{animation:burgundy-halo-keyframes 2s ease-in-out 3}@keyframes burgundy-halo-keyframes{0%,to{box-shadow:0 0 0 0 color-mix(in oklab,var(--accent) 0,transparent)}50%{box-shadow:0 0 0 3px color-mix(in oklab,var(--accent) 45%,transparent)}}@keyframes collision-pulse{0%,to{opacity:1}50%{opacity:.55}}.animate-collision-pulse{animation:collision-pulse 2s ease-in-out infinite}@keyframes typing-blink{0%,to{opacity:.25;transform:scale(.7)}50%{opacity:1;transform:scale(1)}}.typing-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--discovery);margin:0 2px;animation:typing-blink .9s cubic-bezier(.2,0,.2,1) infinite}.typing-dot:nth-child(2){animation-delay:.18s}.typing-dot:nth-child(3){animation-delay:.36s}.prooftree-kit-scroll{overflow-x:auto}.prooftree-fora-grid{display:grid;grid-template-columns:220px 1fr 320px;gap:0;min-width:1060px;min-height:calc(100vh - 52px)}.prooftree-split-grid{display:grid;grid-template-columns:minmax(0,1fr) 320px;min-width:900px}.prooftree-lemma-grid{display:grid;grid-template-columns:minmax(0,1fr) 360px;min-width:900px;min-height:calc(100vh - 52px)}