@import "https://fonts.googleapis.com/css2?family=Newsreader:ital,wght@0,400;0,500;0,600;1,400;1,500&family=Inter+Tight:wght@400;500;600&family=JetBrains+Mono:wght@400;500;600&display=swap";.ask-scope{--hairline:var(--ink-line);--paper-deep:var(--paper-warm);--paper-press:var(--paper-light);--ink-muted:var(--ink-soft);--accent-deep:var(--accent-soft);--accent-tint:var(--accent-wash);--verified:var(--good);--verified-tint:var(--good-wash);--stub:var(--warn);--stub-tint:var(--warn-wash);--draft:var(--ink-soft);--agent-ink:var(--ink);background:var(--paper);color:var(--ink);font-family:var(--serif);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.ask-scope.ask-page{height:100%;overflow:hidden auto}.ask-scope .ask-stage{max-width:var(--reading-w);padding:var(--space-6) var(--space-4) var(--space-7);box-sizing:border-box;margin:0 auto}@media (width<=720px){.ask-scope .ask-stage{padding:var(--space-4) 16px var(--space-6)}}.ask-scope .ask-hero{text-align:center;padding:var(--space-6) 0 var(--space-5)}.ask-scope .ask-hero-mark{font-family:var(--serif);font-size:var(--fs-title);color:var(--ink-muted);margin-bottom:var(--space-3)}.ask-scope .ask-hero-greeting{font-family:var(--serif);font-style:italic;font-size:var(--fs-display);line-height:var(--lh-display);color:var(--ink)}@media (width<=720px){.ask-scope .ask-hero{padding:var(--space-5) 0 var(--space-4)}.ask-scope .ask-hero-greeting{font-size:var(--fs-title)}}.ask-scope .ask-bar{border:1px solid var(--hairline);border-radius:var(--radius);background:var(--paper);transition:border-color var(--dur) var(--ease)}.ask-scope .ask-bar:focus-within{border-color:color-mix(in oklab, var(--accent) 45%, var(--hairline))}.ask-scope .ask-bar-chiprow{align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3) 0;flex-wrap:wrap;display:flex}.ask-scope .ask-chip{border:1px solid var(--hairline);border-radius:var(--radius-chip);cursor:pointer;font-family:var(--mono);font-size:var(--fs-label);letter-spacing:.04em;color:var(--ink-muted);white-space:nowrap;background:0 0;align-items:center;gap:6px;padding:4px 10px;display:inline-flex}.ask-scope .ask-chip:hover{color:var(--ink)}.ask-scope .ask-chip--unchosen{color:var(--accent);border-style:dashed}.ask-scope .ask-chip .ask-chip-caret{color:var(--ink-faint);font-size:9px}.ask-scope .ask-chip--context{max-width:176px;padding:2px 7px;font-size:10px;line-height:1.35}.ask-scope .ask-chip--context .ask-chip-label{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.ask-scope .ask-chip--context .ask-chip-caret{flex-shrink:0}.ask-scope .ask-chip--context.ask-chip--unchosen{max-width:none}.ask-scope .ask-input{box-sizing:border-box;resize:none;width:100%;padding:var(--space-3);font-family:var(--serif);font-size:var(--fs-small);line-height:var(--lh-body);color:var(--ink);background:0 0;border:0;outline:none;min-height:52px}.ask-scope .ask-input::placeholder{color:var(--ink-faint);font-style:italic}.ask-scope .ask-bar{position:relative}.ask-scope .ask-bar--dragging{border-style:dashed;border-color:color-mix(in oklab, var(--accent) 60%, var(--hairline))}.ask-scope .ask-drop-hint{z-index:6;pointer-events:none;justify-content:center;align-items:center;gap:var(--space-2);border-radius:var(--radius);text-align:center;padding:var(--space-3);background:color-mix(in oklab, var(--accent-wash) 78%, var(--paper));border:1px dashed color-mix(in oklab, var(--accent) 55%, var(--hairline));font-family:var(--mono);font-size:var(--fs-label);letter-spacing:.03em;color:var(--accent-deep);display:flex;position:absolute;inset:0}.ask-scope .ask-drop-hint-glyph{font-size:15px}.ask-scope .ask-attachments{gap:var(--space-2);padding:var(--space-2) var(--space-3) 0;flex-wrap:wrap;display:flex}.ask-scope .ask-attach-chip{border:1px solid var(--hairline);border-radius:var(--radius-chip);background:var(--paper-deep);max-width:220px;font-family:var(--mono);font-size:var(--fs-label);color:var(--ink-muted);align-items:center;gap:6px;padding:3px 6px 3px 8px;display:inline-flex}.ask-scope .ask-attach-chip--busy{color:var(--ink-faint)}.ask-scope .ask-attach-glyph{color:var(--accent);font-size:12px;line-height:1}.ask-scope .ask-attach-thumb{object-fit:cover;border:1px solid var(--hairline);border-radius:3px;flex-shrink:0;width:22px;height:22px;display:block}.ask-scope .ask-attach-name{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.ask-scope .ask-attach-x{cursor:pointer;color:var(--ink-faint);background:0 0;border:0;flex-shrink:0;padding:0 2px;font-size:14px;line-height:1}.ask-scope .ask-attach-x:hover{color:var(--ink)}.ask-scope .ask-controls{align-items:center;gap:var(--space-2);padding:var(--space-2) var(--space-3) var(--space-3);border-top:1px solid var(--hairline);flex-wrap:wrap;display:flex}.ask-scope .ask-ctl{border:1px solid var(--hairline);border-radius:var(--radius-chip);cursor:pointer;font-family:var(--mono);font-size:var(--fs-label);color:var(--ink-muted);white-space:nowrap;background:0 0;align-items:center;gap:6px;padding:5px 10px;display:inline-flex}.ask-scope .ask-ctl:hover{color:var(--ink)}.ask-scope .ask-send{border-radius:var(--radius-chip);cursor:pointer;border:1px solid var(--ink);background:var(--ink);color:var(--paper);font-family:var(--mono);font-size:var(--fs-label);align-items:center;gap:6px;padding:6px 14px;display:inline-flex}.ask-scope .ask-send:disabled{background:var(--paper-deep);color:var(--ink-faint);border-color:var(--hairline);cursor:default}.ask-scope .ask-send--stop,.ask-scope .ask-post{border-color:var(--accent);background:var(--accent);color:var(--paper)}.ask-scope .ask-post{border-radius:var(--radius-chip);cursor:pointer;font-family:var(--mono);font-size:var(--fs-label);border:1px solid var(--accent);align-items:center;gap:6px;padding:6px 14px;display:inline-flex}@keyframes ask-grow{0%{opacity:0;max-height:0}to{opacity:1;max-height:60vh}}.ask-scope .ask-session{max-height:60vh;padding:var(--space-3) var(--space-3) 0;border-bottom:1px solid var(--hairline);overflow-y:auto}@media (prefers-reduced-motion:no-preference){.ask-scope .ask-session{animation:ask-grow var(--dur) var(--ease)}}.ask-scope .ask-msg{margin-bottom:var(--space-3)}.ask-scope .ask-msg-card{gap:var(--space-3);border:1px solid var(--hairline);background:var(--paper);border-radius:7px;grid-template-columns:30px 1fr;padding:12px 14px;display:grid}.ask-scope .ask-msg-card--you{border-left:2px solid var(--accent);background:color-mix(in oklab, var(--paper-deep) 55%, var(--paper))}.ask-scope .ask-msg-card--agent{border-left:2px solid var(--agent-ink,var(--ink))}.ask-scope .ask-msg-card-main{min-width:0}.ask-scope .ask-msg-card-head{align-items:baseline;gap:var(--space-2);margin-bottom:4px;display:flex}.ask-scope .ask-msg-card-name{font-family:var(--serif);color:var(--ink);font-size:13.5px;font-weight:500}.ask-scope .ask-msg-card-name--mono{font-family:var(--mono);font-size:12.5px}.ask-scope .ask-msg-card-role{font-family:var(--mono);color:var(--ink-faint);white-space:nowrap;font-size:10.5px}.ask-scope .ask-msg-card-body{font-family:var(--serif);font-size:var(--fs-small);color:var(--ink);line-height:1.6}.ask-scope .ask-msg-card .ask-msg-ctx{margin-left:var(--space-2);font-family:var(--mono);letter-spacing:.05em;color:var(--ink-faint);border:1px solid var(--hairline);border-radius:var(--radius-chip);vertical-align:middle;white-space:nowrap;padding:1px 6px;font-size:10px;font-style:normal;display:inline-block}.ask-scope .ask-provenance{font-family:var(--mono);color:var(--ink-faint);margin:2px 0 0 var(--space-4);font-size:10.5px}.ask-scope .ask-sharpen-eyebrow{font-family:var(--mono);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-muted);margin:var(--space-4) 0 var(--space-2);font-size:10px}.ask-scope .ask-sharpen-row{text-align:left;cursor:pointer;width:100%;font-family:var(--serif);font-size:var(--fs-small);line-height:var(--lh-body);color:var(--ink);border:1px solid var(--hairline);border-radius:var(--radius);padding:var(--space-2) var(--space-3);margin-bottom:var(--space-2);background:0 0;display:block}.ask-scope .ask-sharpen-row:hover{border-color:color-mix(in oklab, var(--accent) 45%, var(--hairline))}.ask-scope .ask-underbar{margin-top:var(--space-2)}.ask-scope .ask-knows{font-family:var(--mono);font-size:var(--fs-label);color:var(--ink-muted);letter-spacing:.02em;position:relative}.ask-scope .ask-knows-seg{cursor:pointer;font:inherit;color:inherit;letter-spacing:inherit;border:0;border-bottom:1px dashed var(--hairline);background:0 0;padding:0}.ask-scope .ask-knows-seg:hover{color:var(--ink);border-bottom-color:var(--ink-faint)}.ask-scope .ask-quiet{font-family:var(--mono);color:var(--ink-faint);margin-top:var(--space-2);font-size:10.5px}.ask-scope .ask-reassure{font-family:var(--mono);color:var(--ink-faint);text-align:center;margin-top:var(--space-2);font-size:10.5px}.ask-scope .ask-card-anchor{position:relative}.ask-scope .ask-hover-card{z-index:40;background:var(--paper);border:1px solid var(--hairline);border-radius:var(--radius);width:min(420px,92vw);max-height:380px;padding:var(--space-3);position:absolute;top:calc(100% + 6px);left:0;overflow-y:auto}.ask-scope .ask-card-label{font-family:var(--mono);letter-spacing:.09em;text-transform:uppercase;color:var(--ink-muted);margin-bottom:var(--space-2);align-items:baseline;gap:var(--space-2);font-size:10px;display:flex}.ask-scope .ask-card-label .ask-card-action{cursor:pointer;font-family:var(--mono);font-size:var(--fs-label);color:var(--accent);background:0 0;border:0;margin-left:auto;padding:0}.ask-scope .ask-card-section{margin-bottom:var(--space-4)}.ask-scope .ask-card-section:last-child{margin-bottom:0}.ask-scope .ask-card-empty{font-family:var(--serif);color:var(--ink-faint);font-size:12.5px;font-style:italic}.ask-scope .ask-picker{z-index:50;width:min(340px,92vw);max-height:300px;box-shadow:0 14px 38px color-mix(in oklab, var(--ink) 18%, transparent);background:var(--paper);border:1px solid var(--hairline);border-radius:var(--radius);position:absolute;top:calc(100% + 6px);left:0;overflow-y:auto}.ask-scope .ask-picker-head{padding:var(--space-2) var(--space-3);border-bottom:1px solid var(--hairline);font-family:var(--mono);letter-spacing:.1em;text-transform:uppercase;color:var(--ink-faint);font-size:10px}.ask-scope .ask-pack{text-align:left;cursor:pointer;background:var(--paper);border:0;border-bottom:1px solid var(--hairline);width:100%;padding:var(--space-2) var(--space-3);display:block}.ask-scope .ask-pack:hover,.ask-scope .ask-pack--active{background:var(--paper-deep)}.ask-scope .ask-pack-name{font-family:var(--serif);font-weight:500;font-size:var(--fs-small);color:var(--ink)}.ask-scope .ask-pack-blurb{font-family:var(--serif);color:var(--ink-muted);text-overflow:ellipsis;white-space:nowrap;margin-top:1px;font-size:12px;font-style:italic;line-height:1.4;overflow:hidden}.ask-scope .ask-pack-meta{font-family:var(--mono);color:var(--ink-faint);margin-top:4px;font-size:10.5px}.ask-scope .ask-pack--new{align-items:baseline;gap:var(--space-2);border-bottom:0;display:flex}.ask-scope .ask-pack--new .ask-pack-name{color:var(--accent);font-family:var(--mono);font-size:var(--fs-chrome);font-weight:400}.ask-scope .ask-pack--new .ask-pack-blurb{margin-top:0}:is(.ask-scope .ask-bar:has(.ask-picker),.ask-scope .ask-bar:has(.ask-sketches-menu)){z-index:80;position:relative}.ask-scope .ask-sketches-menu{z-index:50;background:var(--paper);border:1px solid var(--hairline);border-radius:var(--radius);width:min(360px,92vw);max-height:340px;padding:var(--space-2);position:absolute;top:calc(100% + 6px);left:0;overflow-y:auto}.ask-scope .ask-threshold{align-items:center;gap:var(--space-3);margin:var(--space-6) 0 var(--space-5);font-family:var(--mono);letter-spacing:.05em;color:var(--ink-faint);white-space:nowrap;font-size:10.5px;display:flex}@media (width<=720px){.ask-scope .ask-threshold{white-space:normal;text-align:center}}.ask-scope .ask-threshold:before,.ask-scope .ask-threshold:after{content:"";border-top:1px dashed var(--hairline);flex:1}.ask-scope .ask-ledger{transition:opacity var(--dur-slow) var(--ease)}.ask-scope .ask-ledger--dim{opacity:.5}.ask-scope .ask-ledger-head{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-muted);margin-bottom:var(--space-3);font-size:10.5px}.ask-scope .ask-ledger-invite{text-align:center;cursor:pointer;border:1px dashed var(--hairline);border-radius:var(--radius);width:100%;padding:var(--space-3);margin-bottom:var(--space-2);font-family:var(--serif);color:var(--accent);background:0 0;font-size:13px;font-style:italic;display:block}.ask-scope .ask-ledger-row{text-align:left;cursor:pointer;border:0;border-bottom:1px solid var(--hairline);width:100%;padding:var(--space-3) var(--space-1);background:0 0;display:block}.ask-scope .ask-ledger-row:hover{background:var(--paper-deep)}.ask-scope .ask-ledger-title{font-family:var(--serif);font-size:var(--fs-small);line-height:var(--lh-title);color:var(--ink)}.ask-scope .ask-ledger-meta{align-items:baseline;gap:var(--space-3);font-family:var(--mono);color:var(--ink-faint);flex-wrap:wrap;margin-top:4px;font-size:10.5px;display:flex}.ask-scope .ask-ledger-verified{color:var(--verified)}.ask-scope .ask-ledger-began{font-family:var(--serif);color:var(--ink-muted);margin-top:3px;font-size:12px;font-style:italic}.ask-scope .ask-compliance{align-items:baseline;gap:var(--space-3);margin-top:var(--space-2);font-family:var(--mono);color:var(--ink-faint);flex-wrap:wrap;font-size:10.5px;display:flex}.ask-scope .ask-compliance .ask-compliance-spacer{flex:1}@keyframes ask-pulse-fresh{0%{background:var(--accent-tint);border-color:color-mix(in oklab, var(--accent) 50%, transparent)}60%{background:var(--accent-tint);border-color:color-mix(in oklab, var(--accent) 50%, transparent)}to{background:var(--paper);border-color:color-mix(in oklab, var(--verified) 40%, transparent)}}@keyframes ask-typing-blink{0%,to{opacity:.25;transform:scale(.7)}50%{opacity:1;transform:scale(1)}}@keyframes ask-in{0%{transform:translate(10px)}to{transform:none}}.ask-scope .pulse-fresh{animation:ask-pulse-fresh 1.4s var(--ease) 1}.ask-scope .typing-dot{background:var(--accent);width:6px;height:6px;animation:ask-typing-blink .9s var(--ease) infinite;border-radius:50%;margin:0 2px;display:inline-block}.ask-scope .typing-dot:nth-child(2){animation-delay:.18s}.ask-scope .typing-dot:nth-child(3){animation-delay:.36s}@media (prefers-reduced-motion:no-preference){.ask-scope .ask-in{animation:ask-in .26s var(--ease) both}}.ask-scope .katex{color:inherit!important;font-size:1em!important}.ask-scope .katex-display{margin:0!important}.ask-scope .prose-p{margin:0 0 12px}.ask-scope .prose-p:last-child{margin-bottom:0}.ask-scope .prose-li{padding-left:var(--space-4);margin:0 0 6px;position:relative}.ask-scope .prose-li:before{content:"◆";color:var(--accent);font-size:7px;position:absolute;top:.42em;left:0}.ask-scope .math-inline{display:inline}.ask-scope .math-display{text-align:center;margin:12px 0;display:block;overflow-x:auto}.ask-scope textarea,.ask-scope input{font-family:var(--serif)}.ask-scope textarea:focus,.ask-scope input:focus{border-color:color-mix(in oklab, var(--accent) 45%, var(--hairline))!important}.fora-home .ask-scope.ask-couch .ask-bar{border-color:color-mix(in oklab, var(--ink) 16%, var(--hairline))}.fora-home .ask-scope.ask-couch .ask-bar:focus-within{border-color:color-mix(in oklab, var(--accent) 55%, var(--hairline))}.fora-home .ask-scope.ask-couch .ask-input{min-height:96px;padding:var(--space-4);font-size:var(--fs-body);line-height:var(--lh-body)}.fora-home .ask-scope.ask-couch .ask-bar-chiprow{padding:var(--space-3) var(--space-4) 0}.fora-home .ask-scope.ask-couch .ask-controls{padding:var(--space-2) var(--space-4) var(--space-3)}.fora-home .ask-scope.ask-couch .ask-underbar{justify-content:space-between;align-items:baseline;gap:var(--space-3);display:flex}.fora-home .ask-scope.ask-couch .ask-quiet{white-space:nowrap;margin-left:auto}.fora-home .ask-scope .ask-threshold{margin:var(--space-6) 0 var(--space-5)}@media (width<=720px){.fora-home .ask-scope.ask-couch .ask-input{min-height:84px;font-size:var(--fs-small)}.fora-home .ask-scope.ask-couch .ask-underbar{display:block}.fora-home .ask-scope.ask-couch .ask-quiet{white-space:normal;margin-left:0}}.fora-home .ask-scope.ask-couch .ask-hero{align-items:baseline;gap:var(--space-2);padding:0 0 var(--space-3);text-align:left;display:flex}.fora-home .ask-scope.ask-couch .ask-hero-mark{font-size:var(--fs-small);color:var(--ink-faint);margin:0}.fora-home .ask-scope.ask-couch .ask-hero-greeting{font-size:var(--fs-title);line-height:var(--lh-title)}.fora-home .ask-scope.ask-couch .ask-input{min-height:72px}.fora-home .ask-scope.ask-couch .ask-reassure,.fora-home .ask-scope.ask-couch .ask-compliance,.fora-home .fora-stage .section-help,.fora-home .fora-ledger-origin{color:var(--ink-muted)}@media (width<=720px){.fora-home .ask-scope.ask-couch .ask-hero{padding-bottom:var(--space-2)}.fora-home .ask-scope.ask-couch .ask-hero-greeting{font-size:var(--fs-small)}.fora-home .ask-scope.ask-couch .ask-input{min-height:64px}}.ask-page .ask-stage{animation:ask-workspace-enter var(--dur-slow) var(--ease) both}@keyframes ask-workspace-enter{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}@media (prefers-reduced-motion:reduce){.ask-page .ask-stage{animation:none}}.ask-morph-composer{view-transition-name:ask-composer}::view-transition-group(ask-composer){animation-duration:var(--dur-slow,.24s);animation-timing-function:var(--ease,cubic-bezier(.2,0,.2,1))}::view-transition-old(root){animation-duration:.18s}::view-transition-new(root){animation-duration:.18s}@media (width<=768px){.ask-scope .ask-knows{flex-wrap:wrap;row-gap:2px}.ask-scope .ask-knows-seg{padding:6px 4px}.ask-scope .ask-bar-chiprow{flex-wrap:wrap;row-gap:4px}}body.landing-mode{overflow:auto}.landing{background:var(--paper);min-height:100vh;color:var(--ink);padding:var(--space-5) clamp(20px, 5vw, 48px) var(--space-8)}.landing-top{justify-content:space-between;align-items:baseline;gap:var(--space-4);max-width:880px;margin:0 auto var(--space-8);padding-bottom:var(--space-4);border-bottom:var(--hair);display:flex}.landing-brand{color:var(--ink);align-items:baseline;gap:8px;display:inline-flex}.landing-brand-mark{font-family:var(--serif);font-size:24px;font-weight:500}.landing-brand-word{font-size:20px}.landing-brand-word .lb-serif{font-family:var(--serif);font-style:italic}.landing-brand-word .lb-mono{font-family:var(--mono);font-style:italic}.landing-open-app{font-family:var(--mono);letter-spacing:.04em;color:var(--accent);font-size:11.5px}.landing-open-app:hover{color:var(--accent-deep)}.landing-hero,.landing-access{max-width:var(--reading-w);margin:0 auto}.landing-eyebrow{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.18em;text-transform:uppercase;margin-bottom:var(--space-3);font-size:10px}.landing-hero h1{font-family:var(--serif);letter-spacing:-.01em;margin:0;font-size:clamp(28px,3.2vw,36px);font-weight:500;line-height:1.18}.landing-copy{color:var(--ink-muted);font-family:var(--serif);margin-top:var(--space-4);max-width:620px;font-size:17px;font-style:italic;line-height:1.55}.landing-video-slot{aspect-ratio:16/9;max-width:880px;margin:var(--space-7) auto 0;border:var(--hair);border-radius:var(--radius);background:var(--paper-deep);position:relative;overflow:hidden}.landing-access{margin-top:var(--space-7);padding-top:var(--space-6);border-top:var(--hair)}.landing-access h2{font-family:var(--serif);margin:0 0 var(--space-5);font-size:22px;font-weight:500;line-height:1.3}.landing-ladder{margin:0;padding:0;list-style:none}.landing-ladder li{gap:var(--space-4);padding:var(--space-3) 0;border-top:var(--hair);grid-template-columns:170px minmax(0,1fr);align-items:baseline;display:grid}.landing-ladder li:last-child{border-bottom:var(--hair)}.landing-ladder-label{font-family:var(--mono);letter-spacing:.04em;color:var(--ink);font-size:11.5px}.landing-ladder-desc{font-family:var(--serif);color:var(--ink-muted);font-size:16px;line-height:1.5}.landing-note{font-family:var(--serif);color:var(--ink-muted);margin-top:var(--space-4);max-width:620px;font-size:14px;font-style:italic;line-height:1.55}.landing-cta-row{margin-top:var(--space-5)}.landing-cta{font-family:var(--mono);letter-spacing:.04em;color:var(--accent);font-size:12.5px}.landing-cta:hover{color:var(--accent-deep)}@media (width<=760px){.landing{padding-top:var(--space-4)}.landing-top{margin-bottom:var(--space-6)}.landing-video-slot{margin-top:var(--space-6)}.landing-ladder li{gap:var(--space-1);grid-template-columns:1fr}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/fonts/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/fonts/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/fonts/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/fonts/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/fonts/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/fonts/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/fonts/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/fonts/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/fonts/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/fonts/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/fonts/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/fonts/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/fonts/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/fonts/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/fonts/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/fonts/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/fonts/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/fonts/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/fonts/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/fonts/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/fonts/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/fonts/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/fonts/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/fonts/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/fonts/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/fonts/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/fonts/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/fonts/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/fonts/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/fonts/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/fonts/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/fonts/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/fonts/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/fonts/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/fonts/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/fonts/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/fonts/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/fonts/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/fonts/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/fonts/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/fonts/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/fonts/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/fonts/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/fonts/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/fonts/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/fonts/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/fonts/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/fonts/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/fonts/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/fonts/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.46"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--discovery:#2d5aa1;--discovery-deep:#1b3e7a;--discovery-tint:#dce5f1;--ink-rgb:19,18,16;--accent-rgb:154,61,47;--good-rgb:79,122,75;--warn-rgb:168,138,63;--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;--verified:#4f7a4b;--verified-tint:#dfe7d9;--stub:#a88a3f;--stub-tint:#efe5c9;--draft:#5e5a52;--draft-tint:#eae7dd;--agent-ink:#232a2f;--ident-yellow:#c9a227;--ident-green:#4f7a4b;--ident-blue:#3d6a8c;--ident-red:#9a3d2f;--serif:"Newsreader","Iowan Old Style","Palatino Linotype",Palatino,"Source Serif Pro",Georgia,serif;--sans:"Inter Tight",-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif;--mono:"JetBrains Mono","IBM Plex Mono","Menlo","Consolas",monospace;--math:"Latin Modern Math","STIX Two Math","Cambria Math",serif;--hand:var(--serif);--fs-display:32px;--fs-title:22px;--fs-body:18px;--fs-small:15px;--fs-label:11px;--fs-chrome:13px;--fs-mono:14px;--lh-display:1.18;--lh-title:1.3;--lh-body:1.55;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:24px;--space-6:32px;--space-7:48px;--space-8:64px;--radius-chip:4px;--radius:6px;--hair:1px solid var(--hairline);--hair-dashed:1px dashed var(--hairline);--rail-accent:3px solid var(--accent);--rail-verified:3px solid var(--verified);--ease:cubic-bezier(.2,0,.2,1);--dur-fast:.12s;--dur:.18s;--dur-slow:.24s;--topbar-h:56px;--tabbar-h:48px;--right-rail-w:360px;--left-rail-w:240px;--reading-w:760px;--paper-cream:#fcfbf8;--paper-warm:var(--paper-deep);--paper-light:var(--paper-deep);--ink-soft:var(--ink-muted);--ink-vfaint:var(--hairline);--ink-line:var(--hairline);--rule:var(--hairline);--accent-soft:var(--accent-deep);--accent-wash:rgba(var(--accent-rgb),.1);--accent-wash-2:rgba(var(--accent-rgb),.2);--good:var(--verified);--good-soft:#6f9469;--good-wash:rgba(var(--good-rgb),.1);--warn:var(--stub);--warn-wash:rgba(var(--warn-rgb),.12)}*{box-sizing:border-box;margin:0;padding:0}html,body,#root{height:100%}body{background:var(--paper);color:var(--ink);font-family:var(--serif);-webkit-font-smoothing:antialiased;font-size:16px;line-height:1.5;overflow:hidden}button{font:inherit;cursor:pointer;color:inherit;text-align:left;background:0 0;border:0}a{color:inherit;cursor:pointer;text-decoration:none}input,textarea{font:inherit;color:inherit}.app{grid-template-rows:50px 1fr;height:100%;display:grid}.top{border-bottom:1.5px solid var(--rule);background:var(--paper);align-items:center;gap:14px;padding:0 28px;display:flex}.brand{font-family:var(--serif);cursor:pointer;align-items:baseline;gap:8px;font-size:20px;display:flex}.brand .all{font-size:24px;font-weight:500}.brand i{font-style:italic}.crumb-back{border:1px solid var(--ink-vfaint);width:26px;height:26px;font-family:var(--mono);color:var(--ink-soft);background:0 0;border-radius:50%;justify-content:center;align-items:center;font-size:13px;display:inline-flex}.crumb-back:hover{border-color:var(--ink-faint);color:var(--ink);background:var(--paper-light)}.crumb{font-family:var(--serif);color:var(--ink-soft);align-items:center;gap:8px;min-width:0;font-size:14px;display:flex}.crumb a{cursor:pointer;border-bottom:1px solid #0000;transition:border-color .12s}.crumb a:hover{border-color:var(--ink-faint)}.crumb .sep{color:var(--ink-faint);font-size:11px}.crumb .cur{color:var(--ink);font-style:italic}.grow{flex:1}.top-link{font-family:var(--mono);color:var(--ink-soft);letter-spacing:.04em;border-radius:3px;padding:4px 8px;font-size:11.5px}.top-link:hover,.top-link.on{color:var(--ink);background:rgba(var(--ink-rgb),.04)}.top-plus{border:1px solid rgba(var(--ink-rgb),.14);width:30px;height:30px;font-family:var(--mono);color:var(--ink-soft);background:0 0;border-radius:5px;justify-content:center;align-items:center;font-size:17px;line-height:1;display:inline-flex}.top-plus:hover{border-color:rgba(var(--ink-rgb),.28);color:var(--ink);background:rgba(var(--ink-rgb),.04)}.top-create .menu{right:0}.avatar{border:1.5px solid var(--ink-soft);width:30px;height:30px;font-family:var(--serif);color:var(--ink-soft);cursor:pointer;background:0 0;border-radius:50%;flex-shrink:0;justify-content:center;align-items:center;font-size:14px;font-weight:500;display:inline-flex}.avatar.sm{width:22px;height:22px;font-size:11px}.avatar.tiny{width:18px;height:18px;font-size:9.5px}.avatar.lg{width:38px;height:38px;font-size:16px}.avatar.sys{background:var(--accent);border-color:var(--accent);color:var(--paper-cream)}.avatar.ai{background:var(--ink);border-color:var(--ink);color:var(--paper-cream);font-family:var(--mono);font-size:11px}.eye{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-faint);font-size:10px}.h-page{font-family:var(--serif);letter-spacing:-.01em;font-size:34px;font-weight:500;line-height:1.1}.h-sub{font-family:var(--serif);color:var(--ink-soft);font-size:17px;font-style:italic}.h-sect{font-family:var(--serif);font-size:18px;font-weight:500}.h-hand{font-family:var(--hand);color:var(--accent);font-size:16px;font-style:italic;font-weight:500}.mono{font-family:var(--mono);font-size:11.5px}.serif{font-family:var(--serif)}.italic{font-style:italic}.faint{color:var(--ink-faint)}.soft{color:var(--ink-soft)}.right{text-align:right}.tex{font-family:var(--mono);background:rgba(var(--ink-rgb),.04);color:var(--ink);cursor:pointer;border-radius:2px;padding:1px 5px;font-size:13.5px}.squiggle{-webkit-text-decoration:underline wavy var(--accent);text-decoration:underline wavy var(--accent);text-underline-offset:4px;text-decoration-thickness:1.5px}.math-prose{font:inherit;color:inherit}.math-prose .math-segment.inline{display:inline}.math-prose .math-segment.display{margin:9px 0;display:block}.math-inline{vertical-align:-.08em;display:inline-block}.math-display{color:var(--ink);margin:0}.math-display .katex-display{text-align:left;margin:0}.math-prose .katex,.math-inline .katex,.math-display .katex{font-size:1.04em}.lemma-formula .katex,.ce-body .katex,.slabel .katex,.dstep .katex,.parity-row .katex{font-size:1em}.math-error{font-family:var(--mono);color:var(--accent);-webkit-text-decoration:underline wavy var(--accent);text-decoration:underline wavy var(--accent);text-underline-offset:3px;font-size:.92em}.tg{border:1px solid var(--ink-vfaint);font-family:var(--mono);color:var(--ink-soft);white-space:nowrap;letter-spacing:.02em;background:0 0;border-radius:99px;align-items:center;gap:5px;padding:2px 9px;font-size:10.5px;line-height:1.5;display:inline-flex}.tg:hover{border-color:var(--ink-faint);color:var(--ink)}.tg.good{color:var(--good);border-color:rgba(var(--good-rgb),.32)}.tg.warn{color:var(--warn);border-color:rgba(var(--warn-rgb),.35)}.tg.bad{color:var(--accent);border-color:rgba(var(--accent-rgb),.38);background:var(--accent-wash)}.tg.solid{background:var(--ink);color:var(--paper);border-color:var(--ink)}.tg.accent{background:var(--accent);color:var(--paper-cream);border-color:var(--accent)}.tg .dot{background:var(--ink-faint);border-radius:50%;width:6px;height:6px;display:inline-block}.tg.good .dot{background:var(--good)}.tg.bad .dot{background:var(--accent)}.tg.warn .dot{background:var(--warn)}.btn{border:1.5px solid var(--ink);color:var(--ink);font-family:var(--mono);letter-spacing:.02em;background:0 0;border-radius:3px;align-items:center;gap:6px;padding:6px 14px;font-size:11.5px;transition:all .12s;display:inline-flex}.btn:hover,.btn.primary{background:var(--ink);color:var(--paper)}.btn.primary:hover{background:var(--rule)}.btn.accent{background:var(--accent);color:var(--paper-cream);border-color:var(--accent)}.btn.accent:hover{background:#6b2a20}.btn.ghost{border-color:var(--ink-faint);color:var(--ink-soft)}.btn.ghost:hover{border-color:var(--ink);color:var(--ink);background:0 0}.btn.tiny{letter-spacing:.04em;padding:3px 9px;font-size:10.5px}.btn[disabled]{opacity:.45;cursor:not-allowed}.card{border:1.5px solid var(--rule);background:0 0;border-radius:4px;padding:18px 22px}.card.dashed{border-style:dashed;border-color:var(--ink-faint)}.card.accent{border-color:var(--accent)}.scroll{scrollbar-width:thin;scrollbar-color:rgba(var(--ink-rgb),.18) transparent;overflow:auto}.scroll::-webkit-scrollbar-thumb{background:rgba(var(--ink-rgb),.18);background-clip:content-box;border:2px solid #0000;border-radius:4px}.divider.d{border-top:1px dashed var(--ink-faint);height:0}.dd{position:relative}.dd .menu{background:var(--paper-cream);border:1.5px solid var(--rule);z-index:50;border-radius:4px;min-width:200px;padding:5px;position:absolute;top:calc(100% + 5px);right:0;box-shadow:0 8px 24px #0000001a}.dd .menu button{width:100%;font-family:var(--mono);color:var(--ink-soft);border-radius:3px;justify-content:space-between;padding:6px 10px;font-size:11.5px;display:flex}.dd .menu button:hover{background:rgba(var(--ink-rgb),.06);color:var(--ink)}.dd .menu button.on{color:var(--accent)}.dd .menu .hd{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.12em;text-transform:uppercase;padding:4px 10px;font-size:9.5px}.fora{grid-template-columns:280px 1fr 280px;height:100%;min-height:0;display:grid}.fora .rail{border-right:1.5px solid var(--rule);flex-direction:column;gap:28px;padding:28px 24px;display:flex;overflow:auto}.fora .rail.right{border-right:0;border-left:1.5px solid var(--rule)}.fora .group{flex-direction:column;gap:8px;display:flex}.fora .group>.eye{margin-bottom:2px}.fora .proj{cursor:pointer;border-left:2px solid #0000;border-radius:3px;padding:8px 12px;transition:all .12s;display:block}.fora .proj:hover{background:rgba(var(--ink-rgb),.025)}.fora .proj.on{border-left-color:var(--accent);background:rgba(var(--accent-rgb),.04)}.fora .proj .ttl{font-family:var(--mono);color:var(--ink);align-items:center;gap:6px;font-size:13px;display:flex}.fora .proj.on .ttl{color:var(--accent)}.fora .proj .ttl .bullet{border:1.5px solid var(--ink-faint);background:0 0;border-radius:50%;flex-shrink:0;width:6px;height:6px}.fora .proj.on .ttl .bullet{background:var(--accent);border-color:var(--accent)}.fora .proj .sub{font-family:var(--mono);color:var(--ink-faint);margin-top:3px;margin-left:14px;font-size:10px}.fora .hub{border:1.5px solid var(--rule);cursor:pointer;border-radius:3px;flex-direction:column;gap:2px;padding:10px 12px;transition:all .12s;display:flex}.fora .hub:hover{background:var(--paper-light)}.fora .hub .name{font-family:var(--mono);color:var(--ink);font-size:12px}.fora .hub .members{font-family:var(--mono);color:var(--ink-faint);font-size:10px}.fora .hub-row{border-bottom:1px dashed var(--ink-vfaint);font-family:var(--mono);text-align:left;padding:9px 0;position:relative}.fora .hub-row.has-action{padding-right:46px}.fora .hub-row:last-child{border-bottom:0}.fora .hub-row:hover span{color:var(--accent)}.fora .hub-row span{color:var(--ink);font-size:11.5px;display:block}.fora .hub-row .hub-name{align-items:center;gap:7px;min-width:0;display:flex}.fora .hub-row .hub-name span{color:inherit;display:inline}.fora .hub-row .hub-mark{width:13px;color:var(--accent);flex:0 0 13px;justify-content:center;align-items:center;font-size:10.5px;display:inline-flex}.fora .hub-row small{color:var(--ink-faint);margin-top:2px;font-size:10px;line-height:1.35;display:block}.fora .hub-row .hub-name+small{margin-left:20px}.fora .hub-row b{color:var(--accent);font-size:10px;font-weight:500;position:absolute;top:10px;right:0}.fora .work-rail{gap:8px}.fora .work-link{font-family:var(--mono);text-align:left;border-left:2px solid #0000;border-radius:3px;flex-direction:column;gap:2px;padding:8px 10px;display:flex}.fora .work-link:hover{background:var(--paper-light);border-left-color:var(--accent)}.fora .work-link span{color:var(--ink);font-size:12px}.fora .work-link small{color:var(--ink-faint);font-size:9.5px;line-height:1.35}.fora .work-link.muted{border:1px dashed var(--ink-vfaint);border-left-style:dashed;margin-top:4px}.fora .work-link.muted:hover{border-color:var(--ink-faint);background:0 0}.fora .continue-panel{border:1.5px solid var(--rule);background:var(--paper);border-radius:4px;flex-direction:column;gap:8px;padding:14px;display:flex}.fora .continue-panel.home-lead{background:var(--paper-light);margin-bottom:28px;padding:18px 20px}.fora .continue-head{justify-content:space-between;align-items:flex-start;gap:10px;margin-bottom:4px;display:flex}.fora .continue-head span{font-family:var(--mono);color:var(--ink-faint);white-space:nowrap;font-size:10.5px}.fora .continue-tools{flex-shrink:0;align-items:center;gap:8px;display:flex}.fora .continue-toggle{border:1px solid var(--ink-line);width:22px;height:22px;font-family:var(--mono);color:var(--ink-faint);cursor:pointer;background:0 0;border-radius:3px;justify-content:center;align-items:center;font-size:14px;line-height:1;display:inline-flex}.fora .continue-toggle:hover{border-color:var(--accent);color:var(--accent);background:rgba(var(--accent-rgb),.04)}.fora .continue-minimized{text-align:left;cursor:pointer;flex-direction:row;justify-content:space-between;align-items:center;gap:12px;width:100%}.fora .continue-minimized:hover{background:var(--paper-cream)}.fora .continue-minimized.home-lead{padding:12px 16px}.fora .continue-minimized .continue-toggle{color:var(--accent);border-color:#0000}.fora .continue-minimized:hover .continue-toggle{border-color:var(--accent);background:rgba(var(--accent-rgb),.04)}.fora .continue-meta{font-family:var(--mono);color:var(--ink-faint);margin-top:3px;font-size:10.5px}.fora .resume-list{flex-direction:column;gap:8px;display:flex}.fora .home-lead .resume-list{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;display:grid}.fora .resume-row{border:1px solid var(--ink-line);border-left:3px solid var(--accent);background:var(--paper-light);text-align:left;border-radius:3px;grid-template-columns:1fr auto;gap:3px 8px;width:100%;padding:10px 11px 28px;display:grid;position:relative}.fora .home-lead .resume-row{background:var(--paper)}.fora .resume-row:hover{background:var(--paper-cream)}.fora .resume-project{font-family:var(--mono);color:var(--ink);grid-column:1/-1;font-size:11.5px}.fora .resume-statement{font-family:var(--serif);color:var(--ink);font-size:14.5px;line-height:1.25}.fora .resume-hash{font-family:var(--mono);color:var(--ink-faint);background:var(--paper-warm);border-radius:2px;justify-self:end;padding:1px 5px;font-size:10px}.fora .resume-sub{font-family:var(--mono);color:var(--ink-faint);grid-column:1/-1;font-size:10.5px;line-height:1.45}.fora .resume-note{font-family:var(--serif);color:var(--accent);grid-column:1/-1;margin-top:2px;font-size:12.5px;font-style:italic;line-height:1.35}.fora .resume-action{font-family:var(--mono);color:var(--accent);font-size:10.5px;position:absolute;bottom:7px;right:10px}.fora .since-block{border-top:1px solid var(--ink-line);margin-top:6px;padding-top:12px}.fora .since-block .eye{margin-bottom:7px}.fora .home-lead .since-list{grid-template-columns:repeat(2,minmax(0,1fr));gap:0 18px;display:grid}.fora .since-line{border-bottom:1px dotted var(--ink-vfaint);grid-template-columns:14px auto 1fr auto;align-items:baseline;gap:6px;padding:5px 0;font-size:12.5px;line-height:1.35;display:grid}.fora .since-line:last-child{border-bottom:0}.fora .since-icon{font-family:var(--mono);text-align:center;font-size:9px}.fora .since-who{font-family:var(--mono);color:var(--ink);font-size:10.5px}.fora .since-text{color:var(--ink-soft)}.fora .since-when{font-family:var(--mono);color:var(--ink-faint);font-size:10px}.fora .since-line.good .since-icon{color:var(--good)}.fora .since-line.accent .since-icon{color:var(--accent)}.fora .since-line.warn .since-icon{color:var(--warn)}.fora .since-line.muted .since-icon{color:var(--ink-faint)}.fora .main{flex-direction:column;min-width:0;display:flex;overflow:hidden}.fora .main .scroller{padding:36px 28px 56px 56px;overflow:auto}.fora .titlewrap .title-row{flex-wrap:wrap;align-items:baseline;gap:14px;display:flex}.fora .titlewrap h1{font-family:var(--serif);letter-spacing:-.015em;font-size:38px;font-weight:500}.fora .titlewrap .sub{font-family:var(--serif);color:var(--ink-soft);font-size:17px;font-style:italic}.fora .section-h{font-family:var(--serif);color:var(--ink);margin-bottom:6px;font-size:17px;font-style:italic;font-weight:500}.fora .section-help{font-family:var(--hand);color:var(--accent);margin-bottom:18px;font-size:15px;font-style:italic}.fora .lemma-card{border:1.5px solid var(--rule);cursor:pointer;background:0 0;border-radius:4px;grid-template-columns:auto 1fr auto;align-items:flex-start;gap:12px;margin-bottom:14px;padding:18px 22px;transition:all .12s;display:grid}.fora .lemma-card:hover{background:var(--paper-light);box-shadow:0 1px 0 var(--rule), 1px 0 0 var(--rule), 0 -1px 0 var(--rule), -1px 0 0 var(--rule)}.fora .lemma-card .av{margin-top:1px}.fora .lemma-card .body{min-width:0}.fora .lemma-card .meta-top{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:10px;margin-bottom:4px;font-size:11px;display:flex}.fora .lemma-card .meta-top b{color:var(--ink);font-weight:500}.fora .lemma-card .title{font-family:var(--serif);letter-spacing:-.005em;color:var(--ink);margin-bottom:6px;font-size:19px;font-weight:500;line-height:1.3}.fora .lemma-card .footer{font-family:var(--mono);color:var(--ink-faint);justify-content:space-between;align-items:center;margin-top:2px;font-size:11px;display:flex}.fora .lemma-card .footer .open{color:var(--accent);cursor:pointer}.fora .lemma-card .tag-col{flex-direction:column;align-items:flex-end;gap:4px;display:flex}.fora .lemma-card .check{color:var(--good);font-family:var(--mono);align-items:center;gap:5px;font-size:11px;display:inline-flex}.fora .lemma-card .check .dot{background:var(--good);border-radius:50%;width:6px;height:6px}.fora .wider-sep{justify-content:center;align-items:center;gap:14px;margin:28px 0;display:flex}.fora .wider-sep .line{border-top:1px solid var(--ink-faint);flex:1;height:0}.fora .wider-sep .lbl{font-family:var(--serif);color:var(--ink-soft);font-size:14.5px;font-style:italic}.fora .filter-row{border:1.5px solid var(--rule);background:0 0;border-radius:3px;gap:0;margin-bottom:18px;padding:0;display:inline-flex;overflow:hidden}.fora .filter-row button{font-family:var(--mono);color:var(--ink-soft);background:0 0;padding:5px 16px;font-size:11.5px}.fora .filter-row button.on{background:var(--ink);color:var(--paper)}.fora .filter-extra{font-family:var(--mono);color:var(--ink-faint);margin-left:14px;font-size:11px}.fora .rail.right h4{font-family:var(--serif);margin-bottom:10px;font-size:15px;font-weight:500}.fora .rail.right .opitem{border-bottom:1px dashed var(--ink-vfaint);cursor:pointer;padding:6px 0}.fora .rail.right .opitem .otitle{color:var(--ink);align-items:flex-start;gap:7px;font-size:14.5px;line-height:1.3;display:flex}.fora .rail.right .opitem .otitle .o{border:1.5px solid var(--ink-faint);border-radius:50%;flex-shrink:0;width:7px;height:7px;margin-top:6px;display:inline-block}.fora .rail.right .opitem .ometa{font-family:var(--mono);color:var(--ink-faint);margin-top:3px;margin-left:15px;font-size:10.5px}.fora .rail.right .person{cursor:pointer;align-items:center;gap:10px;padding:6px 0;display:flex}.fora .rail.right .person:hover{background:var(--paper-light)}.fora .rail.right .person .u{font-family:var(--mono);color:var(--ink);font-size:12px}.fora .rail.right .person .b{font-family:var(--serif);color:var(--ink-faint);font-size:12.5px;font-style:italic}.projects-page{height:100%;padding:36px 56px;overflow:auto}.projects-page h1{font-family:var(--serif);letter-spacing:-.01em;margin-bottom:22px;font-size:32px;font-weight:500}.projects-page ul{flex-direction:column;gap:2px;max-width:720px;list-style:none;display:flex}.projects-page li{border-bottom:1px dashed var(--ink-vfaint)}.projects-page button{text-align:left;flex-direction:column;gap:3px;width:100%;padding:11px 0;display:flex}.projects-page button:hover .project-title{color:var(--accent)}.projects-page .project-title{font-family:var(--mono);color:var(--ink);font-size:13px}.projects-page .project-sub{font-family:var(--mono);color:var(--ink-faint);font-size:10.5px}.lemma-page{grid-template-columns:1fr 300px;gap:36px;height:100%;padding:36px 56px 56px;display:grid;overflow:auto}.lemma-head{flex-wrap:wrap;align-items:baseline;gap:14px;margin-bottom:6px;display:flex}.lemma-head h1{font-family:var(--serif);letter-spacing:-.01em;font-size:30px;font-weight:500;line-height:1.15}.lemma-meta{font-family:var(--mono);color:var(--ink-soft);flex-wrap:wrap;align-items:center;gap:10px;margin-bottom:24px;font-size:12px;display:flex}.statement{border:1.5px dashed var(--ink-faint);background:var(--paper-cream);font-family:var(--serif);color:var(--ink);border-radius:4px;margin:14px 0 8px;padding:16px 22px;font-size:19px;font-style:italic;line-height:1.5}.statement .tex{font-style:normal}.xray-wrap{margin-top:32px}.xray-wrap .head{justify-content:space-between;align-items:flex-end;margin-bottom:6px;display:flex}.xray-wrap .head .l h3{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft);font-size:11px;font-weight:500}.xray-wrap .head .l .help{font-family:var(--hand);color:var(--accent);margin-top:4px;font-size:15px;font-style:italic}.xray-box{border:1.5px solid var(--rule);background:0 0;border-radius:4px;min-height:260px;padding:30px 36px 22px;position:relative}.xray-box svg{width:100%;height:auto;display:block}.xray-leg{font-family:var(--mono);color:var(--ink-faint);justify-content:space-between;margin-top:10px;font-size:10.5px;display:flex}.xray-leg .legend-keys{align-items:center;gap:18px;display:flex}.xray-leg .legend-keys span{align-items:center;gap:5px;display:inline-flex}.xray-leg .legend-keys .ldot{border-radius:50%;width:8px;height:8px}.disc-head{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-soft);align-items:baseline;gap:10px;margin-top:36px;font-size:11px;display:flex}.disc-list{flex-direction:column;gap:12px;margin-top:14px;display:flex}.disc-post{border:1.5px solid var(--rule);background:0 0;border-radius:4px;grid-template-columns:40px 1fr;gap:14px;padding:14px 18px;display:grid}.disc-post.sys{border-color:var(--accent);background:rgba(var(--accent-rgb),.04)}.disc-post .vote-col{font-family:var(--mono);color:var(--ink-soft);-webkit-user-select:none;user-select:none;flex-direction:column;align-items:center;gap:4px;font-size:11px;display:flex}.disc-post .vote-col .arr{cursor:pointer;color:var(--ink-faint);font-size:13px;line-height:.9}.disc-post .vote-col .n{color:var(--ink);font-size:13px}.disc-post .pbody{min-width:0}.disc-post .phead{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:10px;margin-bottom:6px;display:flex}.disc-post .phead .l{font-family:var(--mono);color:var(--ink-soft);align-items:center;gap:8px;font-size:11.5px;display:flex}.disc-post .phead .l b{color:var(--ink);font-weight:500}.disc-post .phead .time{font-family:var(--mono);color:var(--ink-faint);font-size:11px}.disc-post .ptext{font-family:var(--serif);color:var(--ink);font-size:15.5px;line-height:1.55}.disc-post .pacts{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:14px;margin-top:9px;font-size:10.5px;display:flex}.disc-post .pacts .try{border:1.5px solid var(--ink);color:var(--ink);cursor:pointer;letter-spacing:.04em;border-radius:3px;align-items:center;gap:5px;padding:3px 9px;transition:all .12s;display:inline-flex}.disc-post .pacts .try:hover{background:var(--ink);color:var(--paper)}.disc-post .pacts .replies-link{cursor:pointer;color:var(--ink-faint)}.disc-post .pacts .replies-link:hover{color:var(--ink)}.disc-reply{border:1.5px dashed var(--ink-faint);font-family:var(--mono);color:var(--ink-faint);border-radius:4px;align-items:center;gap:10px;margin-top:14px;padding:12px 16px;font-size:12px;display:flex}.disc-reply input{font-family:var(--serif);color:var(--ink);background:0 0;border:0;outline:none;flex:1;font-size:14.5px}.disc-reply input::placeholder{color:var(--ink-faint);font-style:italic}.disc-reply .kb{font-family:var(--mono);letter-spacing:.06em;font-size:11px}.lemma-rr{flex-direction:column;gap:24px;display:flex}.lemma-rr .try-card{border:1.5px solid var(--rule);background:var(--paper-cream);border-radius:4px;padding:18px}.lemma-rr .try-card h4{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:8px;font-size:10.5px;font-weight:500}.lemma-rr .try-card p{font-family:var(--serif);color:var(--ink-soft);margin-bottom:14px;font-size:14px;line-height:1.5}.lemma-rr h4.section{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:8px;font-size:10.5px;font-weight:500}.lemma-rr .opitem{border-bottom:1px dashed var(--ink-vfaint);cursor:pointer;padding:8px 0}.lemma-rr .opitem .o-title{color:var(--ink);align-items:flex-start;gap:7px;font-size:14px;line-height:1.3;display:flex}.lemma-rr .opitem .o{border:1.5px solid var(--ink-faint);border-radius:50%;flex-shrink:0;width:7px;height:7px;margin-top:6px;display:inline-block}.lemma-rr .opitem .o-meta{font-family:var(--mono);color:var(--ink-faint);margin-top:3px;margin-left:15px;font-size:10px}.lemma-rr .link-proj{border:1.5px solid var(--rule);cursor:pointer;border-radius:3px;padding:10px 14px;transition:all .12s}.lemma-rr .link-proj:hover{background:var(--paper-light)}.lemma-rr .link-proj .name{font-family:var(--mono);color:var(--accent);font-size:12.5px}.lemma-rr .link-proj .sub{font-family:var(--mono);color:var(--ink-faint);margin-top:3px;font-size:10.5px}.try-page{grid-template-columns:1fr 320px;gap:40px;height:100%;padding:32px 56px 56px;display:grid;overflow:auto}.try-head{margin-bottom:14px}.try-head .eye{margin-bottom:6px}.try-head h1{font-family:var(--serif);letter-spacing:-.01em;font-size:30px;font-weight:500}.try-head .sub{font-family:var(--serif);color:var(--ink-soft);margin-top:4px;font-size:14px;font-style:italic}.editor-wrap{border:1.5px solid var(--rule);background:var(--paper-cream);border-radius:4px;margin-top:18px;padding:18px 22px}.editor-wrap .ewlabel{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:4px;font-size:10.5px}.editor-wrap .ewhelp{font-family:var(--serif);color:var(--ink-soft);margin-bottom:12px;font-size:13.5px;font-style:italic}.lean-textarea{background:var(--paper-light);border:1.5px solid var(--ink-line);width:100%;min-height:280px;font-family:var(--mono);color:var(--ink);resize:vertical;border-radius:4px;outline:none;padding:14px 18px;font-size:13px;line-height:1.6}.lean-textarea:focus{border-color:var(--ink-soft)}.try-actions{justify-content:space-between;align-items:center;margin-top:14px;display:flex}.try-actions .lefts{align-items:center;gap:10px;display:flex}.try-actions .cancel{font-family:var(--mono);color:var(--ink-faint);cursor:pointer;font-size:11px}.try-actions .cancel:hover{color:var(--ink)}.try-rr h4{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-soft);margin-bottom:10px;font-size:10.5px}.try-rr ol{color:var(--ink-soft);padding-left:18px;font-size:14.5px;line-height:1.7}.try-rr ol li{margin-bottom:8px}.try-rr ol b{color:var(--ink);font-style:italic;font-weight:500}.try-rr .ai-callout{border:1.5px solid var(--ink-faint);background:var(--paper-warm);border-radius:4px;margin-top:24px;padding:14px 16px}.try-rr .ai-callout h5{font-family:var(--mono);color:var(--ink);margin-bottom:4px;font-size:11px;font-weight:500}.try-rr .ai-callout p{font-family:var(--serif);color:var(--ink-soft);margin-bottom:10px;font-size:13.5px;line-height:1.5}.try-rr .tip{font-family:var(--mono);color:var(--ink-faint);margin-top:14px;font-size:11px;line-height:1.45}.tree-mini{border:1.5px dashed var(--ink-faint);font-family:var(--mono);color:var(--ink-faint);background:var(--paper-cream);border-radius:3px;align-items:center;gap:8px;padding:6px 12px;font-size:11px;display:flex;position:absolute;top:14px;right:32px}.tree-mini svg{width:54px;height:18px}.repo-shell{flex-direction:column;height:100%;min-height:0;display:flex}.repo-bar{border-bottom:1.5px solid var(--rule);background:var(--paper);flex-shrink:0;align-items:center;gap:0;height:42px;padding:0 28px;display:flex}.repo-tab{font-family:var(--mono);color:var(--ink-soft);letter-spacing:.04em;cursor:pointer;border-bottom:2px solid #0000;align-items:center;gap:6px;height:100%;padding:0 16px;font-size:11.5px;transition:all .12s;display:inline-flex}.repo-tab:hover{color:var(--ink)}.repo-tab.on{color:var(--ink);border-bottom-color:var(--accent)}.repo-tab .n{font-family:var(--mono);color:var(--ink-faint);background:var(--paper-warm);border-radius:99px;padding:1px 6px;font-size:9.5px}.repo-tab.on .n{color:var(--accent);background:var(--accent-wash)}.repo-bar .grow{flex:1}.repo-bar .rb-actions{align-items:center;gap:8px;height:100%;padding-right:0;display:flex}.repo-body{flex:1;min-height:0;overflow:hidden}.zulip{grid-template-columns:240px 1fr 280px;height:100%;display:grid}.zulip .streams{border-right:1.5px solid var(--rule);background:var(--paper-cream);flex-direction:column;gap:14px;padding:18px 14px;display:flex;overflow:auto}.zulip .streams h5{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--ink-faint);margin-bottom:2px;padding:0 6px;font-size:9.5px}.zulip .stream{cursor:pointer;font-family:var(--mono);color:var(--ink-soft);border-radius:3px;align-items:center;gap:8px;padding:5px 8px;font-size:12px;transition:all .1s;display:flex}.zulip .stream:hover{background:rgba(var(--ink-rgb),.04);color:var(--ink)}.zulip .stream.on{background:var(--ink);color:var(--paper)}.zulip .stream .hash{opacity:.6}.zulip .stream .unread{background:var(--accent);color:var(--paper-cream);border-radius:99px;margin-left:auto;padding:1px 6px;font-size:9.5px;font-weight:500}.zulip .stream.on .unread{background:var(--paper-cream);color:var(--accent)}.zulip .topics{flex-direction:column;gap:1px;padding:2px 0 0 18px;animation:.15s fadeIn;display:flex}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}@keyframes pulse-fresh{0%{background:var(--accent-tint);border-color:color-mix(in oklab,var(--accent) 50%,transparent)}60%{background:var(--accent-tint);border-color:color-mix(in oklab,var(--accent) 50%,transparent)}to{background:var(--paper);border-color:color-mix(in oklab,var(--verified) 40%,transparent)}}.pulse-fresh{animation:pulse-fresh 1.4s var(--ease) 1}@keyframes typing-blink{0%,to{opacity:.25;transform:scale(.7)}50%{opacity:1;transform:scale(1)}}.typing-dot{background:var(--accent);width:6px;height:6px;animation:typing-blink .9s var(--ease) infinite;border-radius:50%;margin:0 2px;display:inline-block}.typing-dot:nth-child(2){animation-delay:.18s}.typing-dot:nth-child(3){animation-delay:.36s}@keyframes slide-in-margin{0%{opacity:0;transform:translate(12px)}to{opacity:1;transform:translate(0)}}.slide-in-margin{animation:slide-in-margin .28s var(--ease) 1}.live-caret{vertical-align:text-bottom;background:currentColor;width:2px;height:1.2em;animation:1.1s steps(2,end) infinite typing-blink;display:inline-block;position:relative}.live-caret:after{content:attr(data-name);color:var(--paper);font-family:var(--mono);white-space:nowrap;background:currentColor;border-radius:2px;padding:2px 5px;font-size:10px;line-height:1;position:absolute;top:-1.5em;left:-2px}.zulip .topic{font-family:var(--mono);color:var(--ink-faint);cursor:pointer;border-radius:2px;padding:3px 8px;font-size:11px}.zulip .topic:hover{color:var(--ink);background:rgba(var(--ink-rgb),.04)}.zulip .topic.on{color:var(--accent);background:var(--accent-wash)}.zulip .stage{flex-direction:column;min-height:0;display:flex;overflow:hidden}.zulip .stage .topic-head{border-bottom:1.5px solid var(--rule);justify-content:space-between;align-items:flex-start;gap:14px;padding:16px 24px 12px;display:flex}.zulip .stage .topic-head .l h2{font-family:var(--serif);letter-spacing:-.01em;align-items:center;gap:8px;font-size:24px;font-weight:500;line-height:1.2;display:flex}.zulip .stage .topic-head .l .meta{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:10px;margin-top:6px;font-size:11px;display:flex}.zulip .stage .topic-head .l .meta b{color:var(--ink);font-weight:500}.zulip .stage .messages{flex:1;min-height:0;padding:14px 24px 18px;overflow:auto}.zulip .msg{border-bottom:1px dashed var(--ink-vfaint);grid-template-columns:34px 1fr;gap:12px;padding:10px 0;display:grid}.zulip .msg .mhead{flex-wrap:wrap;align-items:baseline;gap:8px;margin-bottom:4px;display:flex}.zulip .msg .mhead b{font-family:var(--serif);font-size:15px;font-weight:500}.zulip .msg .mhead .time{font-family:var(--mono);color:var(--ink-faint);font-size:10.5px}.zulip .msg .mhead .ai-flag{font-family:var(--mono);background:var(--ink);color:var(--paper);letter-spacing:.04em;border-radius:2px;padding:1px 6px;font-size:9.5px}.zulip .msg .mbody{font-family:var(--serif);color:var(--ink);font-size:15px;line-height:1.5}.zulip .msg .macts{font-family:var(--mono);color:var(--ink-faint);gap:14px;margin-top:4px;font-size:10px;display:flex}.zulip .msg .macts span{cursor:pointer}.zulip .compose{border-top:1.5px solid var(--rule);background:var(--paper-cream);flex-shrink:0;align-items:center;gap:10px;padding:14px 22px;display:flex}.zulip .compose input{border:1.5px solid var(--ink-line);background:var(--paper-light);font-family:var(--serif);border-radius:3px;outline:none;flex:1;padding:8px 12px;font-size:14px}.zulip .compose .nb{font-family:var(--mono);color:var(--ink-faint);font-size:10px}.zulip .right{border-left:1.5px solid var(--rule);background:var(--paper-cream);flex-direction:column;gap:18px;padding:18px;display:flex;overflow:auto}.zulip .right .card-r h4{font-family:var(--serif);margin-bottom:8px;font-size:14.5px;font-weight:500}.zulip .right .pin{font-family:var(--hand);color:var(--accent);margin-bottom:8px;font-size:14px}.zulip .right .member{font-family:var(--mono);color:var(--ink-soft);align-items:center;gap:8px;padding:4px 0;font-size:11.5px;display:flex}.zulip .right .member .dot{background:var(--ink-faint);border-radius:50%;width:7px;height:7px}.zulip .right .member.online .dot{background:var(--good)}.zulip .right .member.editing .dot{background:var(--accent)}.zulip .right .stat{font-family:var(--mono);color:var(--ink-soft);justify-content:space-between;padding:3px 0;font-size:11px;display:flex}.zulip .right .stat b{color:var(--ink);font-weight:500}.lemmas-list{height:100%;padding:36px 56px;overflow:auto}.lemmas-list h2{font-family:var(--serif);letter-spacing:-.01em;margin-bottom:6px;font-size:28px;font-weight:500}.lemmas-list .lhelp{font-family:var(--serif);color:var(--ink-soft);margin-bottom:24px;font-size:14.5px;font-style:italic}.lemmas-list .lrow{border:1.5px solid var(--rule);cursor:pointer;border-radius:4px;grid-template-columns:50px 1fr auto;align-items:center;gap:16px;margin-bottom:10px;padding:14px 18px;transition:all .12s;display:grid}.lemmas-list .lrow:hover{background:var(--paper-light)}.lemmas-list .lrow .num{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.04em;font-size:12px}.lemmas-list .lrow .body{min-width:0}.lemmas-list .lrow .title{font-family:var(--serif);color:var(--ink);font-size:17px;font-weight:500;line-height:1.25}.lemmas-list .lrow .meta{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:10px;margin-top:6px;font-size:10.5px;display:flex}.lemmas-list .lrow.cur{border-color:var(--accent);background:rgba(var(--accent-rgb),.03)}.graph-wrap{background:var(--paper);width:100%;height:100%;position:relative;overflow:hidden}.graph-wrap .gtoolbar{z-index:5;gap:8px;display:flex;position:absolute;top:14px;right:18px}.graph-wrap .glegend{background:var(--paper-cream);border:1.5px solid var(--rule);font-family:var(--mono);z-index:5;border-radius:3px;flex-direction:column;gap:5px;padding:10px 14px;font-size:10.5px;display:flex;position:absolute;bottom:18px;left:18px}.graph-wrap .glegend .row{color:var(--ink-soft);align-items:center;gap:7px;display:flex}.graph-svg{width:100%;height:100%;display:block}.gn{cursor:pointer;z-index:3;position:absolute;transform:translate(-50%,-50%)}.gn-c{background:var(--paper);border:2px solid var(--ink-faint);width:46px;height:46px;font-family:var(--mono);color:var(--ink-soft);border-radius:50%;justify-content:center;align-items:center;font-size:11px;font-weight:500;transition:all .22s cubic-bezier(.3,.7,.4,1);display:flex;position:relative}.gn.checked .gn-c{background:var(--good);border-color:var(--good);color:var(--paper-cream)}.gn.stub .gn-c{background:rgba(var(--accent-rgb),.12);border-color:var(--accent);color:var(--accent)}.gn.draft .gn-c{background:var(--paper);border-color:var(--ink-faint);color:var(--ink-faint);border-style:dashed}.gn.collision .gn-c{background:var(--paper);border-color:var(--accent);color:var(--accent)}.gn.cap .gn-c{background:var(--ink);border-color:var(--ink);color:var(--paper);width:60px;height:60px;font-family:var(--serif);font-size:14px;font-style:italic;font-weight:500}.gn.cur .gn-c{box-shadow:0 0 0 6px var(--accent-wash-2);animation:2.4s ease-in-out infinite ringPulse}@keyframes ringPulse{50%{box-shadow:0 0 0 12px rgba(var(--accent-rgb),0)}}.gn:hover .gn-c{box-shadow:0 0 30px rgba(var(--accent-rgb),.3);z-index:4;transform:scale(1.18)}.gn .gn-l{white-space:nowrap;font-family:var(--serif);color:var(--ink-soft);font-size:13.5px;font-style:italic;position:absolute;top:calc(100% + 8px);left:50%;transform:translate(-50%)}.gn.cur .gn-l{color:var(--accent);font-weight:500}.gpop{background:var(--paper-cream);border:1.5px solid var(--rule);z-index:20;pointer-events:auto;border-radius:4px;min-width:280px;max-width:340px;padding:14px 16px;animation:.15s popIn;position:absolute;box-shadow:0 12px 28px #0000001f}@keyframes popIn{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.gpop .gp-h{justify-content:space-between;align-items:flex-start;gap:8px;margin-bottom:6px;display:flex}.gpop .gp-h h3{font-family:var(--serif);font-size:16px;font-weight:500}.gpop .gp-num{font-family:var(--mono);color:var(--ink-faint);font-size:10px}.gpop .gp-prose{font-family:var(--serif);color:var(--ink-soft);margin:6px 0 10px;font-size:13.5px;line-height:1.5}.gpop .gp-meta{flex-wrap:wrap;gap:5px;margin-bottom:10px;display:flex}.gpop .gp-acts{border-top:1px dashed var(--ink-vfaint);gap:6px;padding-top:8px;display:flex}.members-pg{height:100%;padding:36px 56px;overflow:auto}.members-pg h2{font-family:var(--serif);letter-spacing:-.01em;margin-bottom:6px;font-size:28px;font-weight:500}.members-pg .mrow{border:1.5px solid var(--rule);border-radius:4px;grid-template-columns:46px 1fr auto auto;align-items:center;gap:14px;margin-bottom:8px;padding:14px 16px;display:grid}.members-pg .mrow .name{font-family:var(--serif);font-size:16.5px;font-weight:500}.members-pg .mrow .where{font-family:var(--mono);color:var(--ink-faint);margin-top:2px;font-size:11px}.members-pg .mrow .stat{font-family:var(--mono);color:var(--ink-soft);font-size:11px}.editor-full{grid-template-rows:auto 1fr auto;height:100%;min-height:0;display:grid;overflow:hidden}.editor-full .ebar{border-bottom:1.5px solid var(--rule);background:var(--paper-cream);justify-content:space-between;align-items:center;gap:12px;padding:9px 22px;display:flex}.editor-full .ebar .modes{border:1.5px solid var(--rule);border-radius:3px;display:inline-flex;overflow:hidden}.editor-full .ebar .modes button{font-family:var(--mono);color:var(--ink-soft);padding:4px 12px;font-size:11px}.editor-full .emain{grid-template-columns:1fr 340px;min-height:0;display:grid;overflow:hidden}.editor-full .canvas{background:var(--paper);padding:28px 32px;overflow:auto}.editor-full .canvas .doc-h{max-width:740px;margin:0 auto 18px}.editor-full .canvas .doc-h .prop{border-left:3px solid var(--rule);background:var(--paper-cream);font-family:var(--serif);margin-top:6px;padding:12px 16px;font-size:16.5px;font-style:italic;line-height:1.5}.cells{flex-direction:column;gap:14px;max-width:740px;margin:0 auto;display:flex}.ce{border:1.5px solid var(--rule);cursor:pointer;background:0 0;border-radius:4px;transition:all .18s;overflow:hidden}.ce.checked{border-left:3px solid var(--good);padding-left:0}.ce .ce-h{background:var(--paper-cream);border-bottom:1.5px solid var(--ink-line);justify-content:space-between;align-items:center;gap:10px;padding:9px 16px;display:flex}.ce .ce-h .l{align-items:center;gap:8px;display:flex}.ce .ce-h .num{font-family:var(--mono);letter-spacing:.04em;color:var(--ink-faint);font-size:11px}.ce.cur .ce-h .num{color:var(--accent)}.ce .ce-h .title{font-family:var(--serif);font-size:16px;font-weight:500}.ce .ce-h .r{align-items:center;gap:6px;display:flex}.ce .ce-body{font-family:var(--serif);padding:14px 18px;font-size:15.5px;line-height:1.55}.ce .ce-foot{font-family:var(--mono);color:var(--ink-faint);justify-content:space-between;align-items:center;padding:0 18px 12px;font-size:10.5px;display:flex}.ce .ce-tools{background:var(--paper-cream);border-top:1.5px solid var(--ink-line);flex-wrap:wrap;gap:8px;padding:10px 18px 12px;display:flex}.editor-full .airail{border-left:1.5px solid var(--rule);background:var(--paper-cream);flex-direction:column;display:flex;overflow:hidden}.editor-full .airail h4{font-family:var(--serif);justify-content:space-between;align-items:center;margin-bottom:6px;font-size:13.5px;font-weight:500;display:flex}.editor-full .airail .panel .meta{font-family:var(--mono);color:var(--ink-faint);font-size:9.5px}.editor-full .airail .ai-msg{border:1.5px solid var(--ink-line);background:0 0;border-radius:3px;margin-bottom:6px;padding:8px 11px;font-size:13.5px;line-height:1.5}.editor-full .airail .ai-msg .who{font-family:var(--mono);text-transform:uppercase;letter-spacing:.06em;color:var(--ink-faint);margin-bottom:3px;font-size:9.5px}.drawer{border-top:1.5px solid var(--rule);background:var(--paper-cream);flex-shrink:0;max-height:200px;transition:max-height .2s;overflow:hidden}.drawer .h{cursor:pointer;font-family:var(--mono);color:var(--ink-soft);letter-spacing:.04em;justify-content:space-between;align-items:center;padding:9px 22px;font-size:11px;display:flex}.drawer .b{grid-template-columns:repeat(6,1fr);gap:7px;padding:0 22px 14px;display:grid}.dcard{border:1.5px solid var(--rule);cursor:pointer;background:0 0;border-radius:3px;padding:8px 9px;font-size:11.5px}.dcard.cur{border-color:var(--accent);background:var(--accent-wash)}.dcard .ttl{font-family:var(--serif);margin-top:3px;font-size:13px;font-weight:500}.formality{align-items:center;gap:2.5px;display:inline-flex}.formality i{background:var(--ink-vfaint);border-radius:50%;width:5px;height:5px}.formality i.on{background:var(--accent)}.formality i.kernel{background:var(--good)}.appears{flex-direction:column;gap:6px;display:flex}.appears .ai-row{border:1.5px solid var(--rule);cursor:pointer;border-radius:3px;align-items:center;gap:8px;padding:7px 10px;transition:all .12s;display:flex}.appears .ai-row:hover{background:var(--paper-light)}.appears .ai-row .n{font-family:var(--mono);color:var(--accent);font-size:12.5px}.appears .ai-row .role{font-family:var(--mono);color:var(--ink-faint);margin-left:auto;font-size:10px;font-style:italic}.promote{font-family:var(--mono);color:var(--accent);border:1px dashed var(--accent);cursor:pointer;letter-spacing:.04em;background:0 0;border-radius:2px;padding:4px 10px;font-size:10.5px;line-height:1.4;transition:all .12s}.promote:hover{background:var(--accent);color:var(--paper-cream);border-style:solid}.dcomp .dlbl{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-faint);align-items:center;gap:8px;margin-bottom:10px;font-size:9.5px;display:flex}.dcomp .dlbl .pulse{background:var(--accent);border-radius:50%;width:6px;height:6px;animation:1.8s ease-in-out infinite pulseDot;display:inline-block}@keyframes pulseDot{50%{opacity:.3}}.dcomp .dlbl .ai-flag{font-family:var(--mono);background:var(--ink);color:var(--paper);letter-spacing:.04em;text-transform:none;border-radius:2px;padding:1px 5px;font-size:8.5px}.step{border:1.5px solid var(--ink-line);background:var(--paper);cursor:pointer;border-radius:3px;grid-template-columns:auto 1fr auto;align-items:center;gap:10px;margin-bottom:6px;padding:9px 12px;transition:all .15s;display:grid;position:relative}.step.collision{border-color:var(--accent);background:var(--accent-wash)}.step.dim{opacity:.35}.step .sid{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.04em;min-width:38px;font-size:10.5px}.step .slabel{font-family:var(--serif);color:var(--ink);font-size:14.5px;line-height:1.35}.step .smeta{flex-shrink:0;align-items:center;gap:6px;display:flex}.step .sacts-row{border-top:1px dashed var(--ink-vfaint);opacity:0;grid-column:1/-1;align-items:center;gap:4px;max-height:0;margin-top:6px;padding-top:6px;transition:all .15s;display:flex;overflow:hidden}.step:hover .sacts-row,.step.expanded .sacts-row{opacity:1;max-height:60px}.step .sact{font-family:var(--mono);color:var(--ink-faint);cursor:pointer;letter-spacing:.02em;background:0 0;border:1px solid #0000;border-radius:2px;padding:3px 8px;font-size:10px}.step .sact:hover{border-color:var(--ink-faint);color:var(--ink);background:var(--paper-warm)}.step .sact.approve:hover{color:var(--good);border-color:var(--good)}.step .sact.drop:hover{color:var(--accent);border-color:var(--accent)}.step .sact.disc{color:var(--accent);margin-left:auto}.step .sact.disc:hover{background:var(--accent);color:var(--paper-cream);border-color:var(--accent)}.step .ramp{font-family:var(--mono);color:var(--accent);cursor:pointer;-webkit-user-select:none;user-select:none;border:1px solid #0000;border-radius:2px;padding:1.5px 6px;font-size:10.5px;line-height:1;transition:all .12s}.step .ramp:hover{border-color:var(--accent);background:var(--accent-wash)}.step .ramp.maxed{opacity:.35;cursor:default;color:var(--good)}.sb{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;white-space:nowrap;border-radius:99px;padding:1.5px 7px;font-size:9px;font-weight:500;line-height:1.5}.sb.OK{background:var(--good-wash);color:var(--good);border:1px solid rgba(var(--good-rgb),.32)}.sb.EDIT{background:var(--warn-wash);color:var(--warn);border:1px solid rgba(var(--warn-rgb),.35)}.sb.TODO{color:var(--ink-faint);border:1px dashed var(--ink-faint);background:0 0}@keyframes rampPulse{0%{transform:scale(1)}50%{filter:brightness(1.4);transform:scale(1.5)}to{transform:scale(1)}}.formality i.just-bumped{animation:.5s ease-out rampPulse}.fslider{border:1.5px solid var(--rule);background:0 0;border-radius:3px;align-items:center;gap:8px;height:28px;padding:0 12px;display:flex}.fslider .lbl{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.04em;text-transform:uppercase;font-size:10px}.fslider input[type=range]{accent-color:var(--accent);cursor:pointer;width:80px;height:18px}.fslider .val{font-family:var(--mono);color:var(--ink);text-align:right;letter-spacing:.02em;min-width:78px;font-size:10.5px}.split-cell{border-top:1px dashed var(--ink-line);grid-template-columns:1fr 1fr;gap:0;display:grid}.split-cell .pane{min-height:80px;padding:14px 18px}.split-cell .pane .pane-h{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-faint);margin-bottom:6px;font-size:9.5px}.split-cell .pane.prose{font-family:var(--serif);font-size:15px;line-height:1.55}.split-cell .pane.lean{background:var(--paper-cream);border-left:1px dashed var(--ink-line);font-family:var(--mono);color:var(--ink);white-space:pre-wrap;font-size:11px;line-height:1.55}.lean-body{font-family:var(--mono);color:var(--ink);background:var(--paper-cream);white-space:pre-wrap;border-bottom:1.5px solid var(--ink-line);margin:0;padding:14px 18px;font-size:11.5px;line-height:1.6}.drawer .b.step-review{grid-template-columns:1fr 1fr;gap:8px}.drawer .b.parity{grid-template-columns:1fr;gap:6px;max-height:170px;overflow:auto}.dstep{background:var(--paper);border:1.5px solid var(--ink-line);cursor:pointer;border-radius:3px;grid-template-columns:auto 1fr auto;align-items:center;gap:10px;padding:7px 11px;transition:all .12s;display:grid}.dstep:hover{background:var(--paper-cream)}.dstep.collision{border-color:var(--accent);background:var(--accent-wash)}.dstep .ttl{font-family:var(--serif);color:var(--ink);font-size:13px;line-height:1.3}.dstep .id{font-family:var(--mono);color:var(--ink-faint);min-width:34px;font-size:9.5px}.parity-row{background:var(--paper);border:1.5px solid var(--ink-line);border-radius:3px;grid-template-columns:42px 1fr 1fr auto;align-items:start;gap:10px;padding:8px 11px;font-size:11.5px;display:grid}.parity-row .id{font-family:var(--mono);color:var(--ink-faint);font-size:9.5px}.parity-row .tex{font-family:var(--serif);font-size:12.5px;line-height:1.4}.parity-row .ln{font-family:var(--mono);color:var(--ink);white-space:pre-wrap;background:var(--paper-cream);border-radius:2px;padding:2px 6px;font-size:10.5px;line-height:1.4}.parity-row .px{font-family:var(--mono);letter-spacing:.06em;text-transform:uppercase;border-radius:99px;align-self:center;padding:2px 6px;font-size:9px;line-height:1.4}.parity-row .px.ok{background:var(--good-wash);color:var(--good)}.parity-row .px.no{background:var(--accent-wash);color:var(--accent)}.seed-banner .sb-h{font-family:var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--accent);align-items:center;gap:6px;margin-bottom:4px;font-size:9.5px;display:flex}.seed-banner .sb-body{font-family:var(--serif);color:var(--ink-soft);font-size:14px;font-style:italic;line-height:1.5}.drawer{max-height:240px}.drawer.closed{max-height:38px}.avatar.agent-dec{background:var(--good);border-color:var(--good);color:var(--paper-cream);font-family:var(--serif);font-style:italic;font-weight:600}.avatar.agent-tac{background:var(--accent);border-color:var(--accent);color:var(--paper-cream);font-family:var(--serif);font-style:italic;font-weight:600}.avatar.agent-ker{background:var(--ink);border-color:var(--ink);color:var(--paper-cream);font-family:var(--mono);font-size:13px;font-weight:500}.agent-msg .mhead .ai-flag{font-family:var(--mono);color:var(--paper-cream);letter-spacing:.04em;text-transform:none;border-radius:3px;padding:1.5px 7px;font-size:9px}.agent-msg .mbody{background:rgba(var(--accent-rgb),.03);border-left:2px solid rgba(var(--ink-rgb),.05);border-radius:3px;padding:6px 10px}.msg.agent-msg[data-agent=dec] .mbody{border-left-color:var(--good);background:rgba(var(--good-rgb),.04)}.msg.agent-msg[data-agent=tac] .mbody{border-left-color:var(--accent);background:rgba(var(--accent-rgb),.04)}.msg.agent-msg[data-agent=ker] .mbody{border-left-color:var(--ink);background:rgba(var(--ink-rgb),.04)}.agents-online{background:var(--paper-cream);border:1.5px solid var(--rule);border-radius:3px;gap:8px;margin-bottom:14px;padding:10px 14px;display:flex}.agent-chip{cursor:default;background:var(--paper);border:1px solid #0000;border-radius:3px;flex-direction:column;flex:1;align-items:center;gap:5px;padding:8px 6px;transition:all .15s;display:flex;position:relative}.agent-chip:hover{border-color:var(--ink-line)}.agent-chip .ac-name{font-family:var(--mono);color:var(--ink);letter-spacing:.02em;font-size:10.5px;font-weight:500}.agent-chip .ac-role{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.02em;text-align:center;max-width:100px;font-size:9px;line-height:1.3}.agent-chip .ac-state{background:var(--good);border-radius:50%;width:6px;height:6px;animation:2.2s ease-in-out infinite onlinePulse;position:absolute;top:6px;right:6px}@keyframes onlinePulse{0%,to{opacity:1;transform:scale(1)}50%{opacity:.55;transform:scale(.78)}}.editor-full .airail .agent-panel{position:relative}.editor-full .airail .agent-panel .agent-head{align-items:center;gap:8px;margin-bottom:6px;display:flex}.editor-full .airail .agent-panel .agent-head .ah-name{font-family:var(--mono);color:var(--ink);letter-spacing:.02em;font-size:11.5px;font-weight:500}.editor-full .airail .agent-panel .agent-head .ah-status{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.02em;margin-left:auto;font-size:9.5px}.editor-full .airail .agent-panel .agent-head .ah-status.live{color:var(--good);align-items:center;gap:4px;display:inline-flex}.editor-full .airail .agent-panel .agent-head .ah-status.live:before{content:"";background:var(--good);border-radius:50%;width:5px;height:5px;animation:1.8s ease-in-out infinite onlinePulse;display:inline-block}.editor-full .airail .agent-panel.agent-dec{border-left:2.5px solid var(--good);padding-left:13px}.editor-full .airail .agent-panel.agent-tac{border-left:2.5px solid var(--accent);padding-left:13px}.editor-full .airail .agent-panel.agent-ker{border-left:2.5px solid var(--ink);padding-left:13px}.agent-active-step{font-family:var(--mono);color:var(--ink-soft);background:var(--paper-light);border-radius:2px;margin-bottom:8px;padding:4px 8px;font-size:10.5px;line-height:1.35}.agent-active-step b{color:var(--accent);font-weight:500;font-family:var(--mono)}.sugg{border:1.5px solid var(--ink-line);cursor:pointer;background:var(--paper);border-radius:3px;margin-bottom:5px;padding:9px 11px;transition:all .18s cubic-bezier(.3,.7,.4,1)}.sugg .s-kind{font-family:var(--mono);letter-spacing:.1em;color:var(--ink-faint);text-transform:uppercase;justify-content:space-between;align-items:center;margin-bottom:3px;font-size:8.5px;display:flex}.sugg .s-kind .s-conf{color:var(--ink-soft)}.sugg .s-body{font-family:var(--serif);color:var(--ink);margin-bottom:3px;font-size:13.5px;line-height:1.4}.sugg .s-body code{font-family:var(--mono);background:var(--paper-cream);color:var(--ink);border-radius:2px;padding:1px 5px;font-size:11.5px}.sugg .s-detail{font-family:var(--mono);color:var(--ink-faint);font-size:10px;line-height:1.4}.sugg.applied{border-color:var(--good);background:var(--good-wash);opacity:.7;cursor:default}.sugg.applied:hover{transform:none}.sugg .s-apply-hint{font-family:var(--mono);color:var(--accent);opacity:0;margin-left:6px;font-size:9.5px;transition:opacity .15s;display:inline-block}.sugg:hover .s-apply-hint{opacity:1}.prose-edit-wrap{padding:0;position:relative}.prose-edit{width:100%;min-height:130px;font-family:var(--serif);color:var(--ink);resize:vertical;background:0 0;border:0;outline:none;padding:14px 18px;font-size:15.5px;line-height:1.55}.prose-edit:focus{background:rgba(var(--accent-rgb),.02)}.prose-edit::placeholder{color:var(--ink-faint);font-style:italic}.typing-indicator{font-family:var(--mono);color:var(--accent);background:var(--paper-cream);border:1px solid rgba(var(--accent-rgb),.18);pointer-events:none;border-radius:99px;align-items:center;gap:6px;padding:2px 8px;font-size:10px;display:flex;position:absolute;top:9px;right:14px}.typing-indicator .td{background:var(--accent);border-radius:50%;width:5px;height:5px;animation:1.2s ease-in-out infinite pulseDot}.kernel-log{max-height:160px;font-family:var(--mono);color:#d8dde2;white-space:pre-wrap;background:#111418;border-radius:3px;margin-top:8px;padding:10px 12px;font-size:10.5px;line-height:1.65;overflow:auto}.kernel-log .ll{animation:.2s ease-out logIn;display:block}.kernel-log .ll.ok{color:#83b887}.kernel-log .ll.warn{color:#c7a95b}.kernel-log .ll.skip{color:#7f8791}.kernel-log .ll.edit{color:#d08072}.kernel-log .ll.hash{color:#99a6e8;letter-spacing:.02em}.kernel-log .ll.head{color:#d8dde2;border-bottom:1px solid #252a31;margin-bottom:4px;padding-bottom:4px}@keyframes logIn{0%{opacity:0;transform:translateY(2px)}to{opacity:1;transform:translateY(0)}}.hash-chip{background:rgba(var(--ink-rgb),.06);border:1px solid var(--ink-vfaint);font-family:var(--mono);color:var(--ink-soft);letter-spacing:.02em;cursor:pointer;border-radius:99px;align-items:center;gap:5px;padding:2px 8px;font-size:10px;transition:all .15s;display:inline-flex}.hash-chip:hover{background:var(--paper-cream);border-color:var(--ink-faint);color:var(--ink)}.hash-chip .hc-pre{color:var(--accent);font-weight:500}.hash-chip .hc-rest{opacity:.7}.publish-ready{box-shadow:0 0 0 3px rgba(var(--good-rgb),.22), 0 4px 14px rgba(var(--good-rgb),.2);animation:2.4s ease-in-out infinite readyPulse;position:relative;background:var(--good)!important;color:var(--paper-cream)!important;border-color:var(--good)!important}@keyframes readyPulse{50%{box-shadow:0 0 0 6px rgba(var(--good-rgb),.1), 0 4px 14px rgba(var(--good-rgb),.26)}}.kbadge{font-family:var(--mono);letter-spacing:.04em;border-radius:99px;align-items:center;gap:5px;padding:2.5px 8px;font-size:10px;display:inline-flex}.kbadge.idle{color:var(--ink-faint);border:1px dashed var(--ink-faint)}.kbadge.running{color:var(--accent);border:1px solid var(--accent);background:var(--accent-wash)}.kbadge.running .kd{background:var(--accent);border-radius:50%;width:5px;height:5px;animation:.8s ease-in-out infinite pulseDot}.kbadge.verified{color:var(--paper-cream);background:var(--good);border:1px solid var(--good)}.lemma-card{transition:all .22s cubic-bezier(.3,.7,.4,1)}.lemma-card:hover{border-color:var(--ink-faint);transform:translateY(-1px);box-shadow:0 6px 22px #00000012}.lemma-card:hover .open{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.btn{transition:all .16s cubic-bezier(.3,.7,.4,1)}.btn:hover:not([disabled]){transform:translateY(-1px)}.btn.primary:hover,.btn.accent:hover{box-shadow:0 4px 14px #00000024}.tg{transition:all .15s}.tg:hover{transform:translateY(-.5px)}input:focus,textarea:focus{outline:1.5px solid var(--accent);outline-offset:-1px}.disc-post{transition:all .18s}.disc-post:hover{border-color:var(--ink-faint);box-shadow:0 3px 12px #0000000a}.zulip .stream{transition:all .12s}.zulip .stream.on{box-shadow:inset 0 0 0 1px var(--ink)}.fora .proj{transition:all .15s}.fora .proj:hover{padding-left:14px}.kbd{font-family:var(--mono);border:1px solid rgba(var(--ink-rgb),.18);background:var(--paper-cream);color:var(--ink-soft);letter-spacing:.04em;vertical-align:1px;border-bottom-width:2px;border-radius:3px;padding:1px 5px;font-size:9.5px;display:inline-block}.presence-toast{background:rgba(var(--ink-rgb),.94);color:var(--paper-cream);font-family:var(--mono);letter-spacing:.02em;z-index:200;-webkit-backdrop-filter:blur(8px);border-radius:6px;align-items:center;gap:10px;max-width:340px;padding:11px 17px;font-size:11px;animation:.3s cubic-bezier(.3,.7,.4,1) toastSlideIn;display:flex;position:fixed;bottom:22px;right:22px;box-shadow:0 14px 34px #00000038}.presence-toast .pt-dot{background:var(--good-soft);border-radius:50%;flex-shrink:0;width:7px;height:7px;animation:2s ease-in-out infinite onlinePulse}.presence-toast b{color:var(--paper-cream);font-weight:500}.presence-toast .pt-x{cursor:pointer;color:#fcfbf88f;margin-left:6px;font-size:11px}.presence-toast .pt-x:hover{color:var(--paper-cream)}@keyframes toastSlideIn{0%{opacity:0;transform:translateY(10px)scale(.96)}to{opacity:1;transform:translateY(0)scale(1)}}.step.ramping{animation:.55s ease-out rampGlow}@keyframes rampGlow{0%{box-shadow:0 0 0 0 var(--accent-wash-2)}50%{box-shadow:0 0 0 8px var(--accent-wash-2)}to{box-shadow:0 0 #0000}}.publish-success{background:var(--good-wash);border:1.5px solid var(--good);font-family:var(--serif);color:var(--good);border-radius:4px;align-items:center;gap:10px;margin-top:14px;padding:12px 18px;font-size:14px;display:flex}.publish-success .ps-icon{font-size:18px}.paper-attempt{background:var(--good-wash);border-left:3px solid var(--good);font-family:var(--mono);color:var(--ink);border-radius:0 3px 3px 0;margin:18px 0;padding:14px 18px;font-size:11.5px;line-height:1.6}.paper-attempt b{color:var(--good);font-weight:500;font-family:var(--mono)}.paper-attempt .pa-h{font-family:var(--mono);letter-spacing:.18em;text-transform:uppercase;color:var(--good);align-items:center;gap:6px;margin-bottom:4px;font-size:9.5px;display:flex}.paper-attempt .pa-row{justify-content:space-between;align-items:center;padding:2px 0;display:flex}.paper-attempt .pa-row .pa-l{color:var(--ink-soft)}.paper-attempt .pa-row .pa-r{color:var(--ink);font-weight:500}body{font-feature-settings:"kern" 1, "liga" 1, "calt" 1;background:linear-gradient(180deg, var(--paper-light) 0%, var(--paper) 72%, var(--paper-warm) 100%)}::selection{background:rgba(var(--accent-rgb),.2);color:var(--ink)}input:focus,textarea:focus{outline:2px solid rgba(var(--accent-rgb),.32);outline-offset:1px;background:rgba(var(--accent-rgb),.015)}button:focus-visible{outline:2px solid var(--accent);outline-offset:2px;border-radius:4px}.top{border-bottom:1px solid rgba(var(--ink-rgb),.1);background:linear-gradient(180deg, var(--paper-light) 0%, var(--paper) 100%);height:50px;box-shadow:0 1px 0 rgba(var(--ink-rgb),.018), 0 4px 14px -8px rgba(var(--ink-rgb),.05);padding:0 22px}.top>.sep{display:none}.brand{align-items:baseline;gap:7px}.brand .all{font-size:22px;line-height:1}.brand i{letter-spacing:-.005em;font-size:18px}.crumb{border-left:1px solid rgba(var(--ink-rgb),.14);color:var(--ink-soft);margin-left:14px;padding-left:18px;font-size:13px}.crumb a{border-bottom:0;transition:color .12s}.crumb a:hover{color:var(--accent);border-color:#0000}.crumb .cur{color:var(--ink);letter-spacing:-.003em;font-style:normal;font-weight:500}.crumb .sep{color:rgba(var(--ink-rgb),.3);margin:0 2px;font-size:10.5px}.btn{letter-spacing:.015em;border-width:1px;border-radius:4px;padding:6px 13px;font-size:11.5px;font-weight:500}.btn.tiny{padding:3px 9px;font-size:10px}.btn.lg{padding:8px 18px;font-size:12px}.btn.ghost{border-color:rgba(var(--ink-rgb),.18)}.tg{letter-spacing:.02em;border-width:1px;border-radius:4px;padding:2.5px 9px;font-size:10px;font-weight:400}.avatar{border-width:1px;font-weight:500}.card{border:1px solid rgba(var(--ink-rgb),.1);border-radius:6px;transition:border-color .16s,box-shadow .18s}.card.dashed{border-style:solid;border-color:rgba(var(--ink-rgb),.12);background:rgba(var(--ink-rgb),.012)}.divider{background:rgba(var(--ink-rgb),.1);height:1px}.divider.d{border-top-style:solid;border-top-color:rgba(var(--ink-rgb),.08)}.fora .rail{border-right:1px solid rgba(var(--ink-rgb),.1);background:0 0;gap:26px;padding:28px 20px}.fora .rail.right{border-left:1px solid rgba(var(--ink-rgb),.1);border-right:0}.fora .main .scroller{padding:42px 28px 64px 60px}.fora .titlewrap{margin-bottom:30px}.fora .titlewrap h1{letter-spacing:-.022em;color:var(--ink);font-size:40px;font-weight:500;line-height:1}.fora .titlewrap .sub{color:var(--ink-faint);letter-spacing:.005em;font-size:15px;font-style:italic;line-height:1.45}.fora .section-h{color:var(--ink);letter-spacing:-.003em;margin-bottom:4px;font-size:15.5px;font-style:normal;font-weight:500}.fora .section-help{letter-spacing:.005em;margin-bottom:22px;font-size:13.5px}.fora .lemma-card{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:7px;gap:16px;margin-bottom:12px;padding:18px 22px;transition:border-color .16s,box-shadow .2s,transform .2s,background-color .16s}.fora .lemma-card:hover{border-color:rgba(var(--ink-rgb),.2);box-shadow:0 6px 22px rgba(var(--ink-rgb),.07);background:var(--paper-cream);box-shadow:0 6px 22px rgba(var(--ink-rgb),.07);transform:translateY(-1px)}.fora .lemma-card .meta-top{letter-spacing:.025em;color:var(--ink-faint);font-size:10.5px;font-family:var(--mono);gap:9px;margin-bottom:6px}.fora .lemma-card .meta-top b{letter-spacing:0;color:var(--ink);font-family:var(--mono);font-weight:500}.fora .lemma-card .meta-top .sep{color:rgba(var(--ink-rgb),.2)}.fora .lemma-card .title{letter-spacing:-.008em;margin-bottom:6px;font-size:18px;font-weight:500;line-height:1.35}.fora .lemma-card .blurb{color:var(--ink-soft);margin-bottom:12px;font-size:14px;line-height:1.55}.fora .lemma-card .footer{border-top:1px solid rgba(var(--ink-rgb),.06);letter-spacing:.02em;font-size:10.5px;font-family:var(--mono);margin-top:6px;padding-top:10px}.fora .lemma-card .footer .open{font-weight:500;font-family:var(--mono);letter-spacing:.04em;transition:color .12s}.fora .lemma-card:hover .footer .open{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.fora .group .eye{letter-spacing:.18em;margin-bottom:6px;font-size:9.5px}.fora .proj{border-left-width:2px;border-radius:5px;padding:8px 12px;transition:background .14s,padding-left .15s,border-color .14s}.fora .proj:hover{background:rgba(var(--ink-rgb),.025);padding-left:14px}.fora .proj .ttl{color:var(--ink-soft);font-size:12.5px;font-weight:500}.fora .proj:hover .ttl{color:var(--ink)}.fora .proj .sub{letter-spacing:.01em;color:rgba(var(--ink-rgb),.34);font-size:10px}.fora .hub{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:5px;gap:3px;padding:10px 12px;transition:border-color .14s,background .14s}.fora .hub:hover{border-color:var(--ink-faint);background:var(--paper-cream)}.fora .hub .name{color:var(--ink);font-size:11.5px;font-weight:500}.fora .hub .members{letter-spacing:.02em;font-size:10px}.fora .rail.right h4{letter-spacing:.18em;font-size:10.5px;font-weight:500}.fora .rail.right .opitem{border-bottom:1px solid rgba(var(--ink-rgb),.06);padding:8px 0}.fora .rail.right .opitem:last-child{border-bottom:0}.fora .rail.right .opitem .otitle{overflow-wrap:break-word;-webkit-hyphens:auto;hyphens:auto;text-wrap:pretty;font-size:13.5px;line-height:1.42}.fora .rail.right .opitem .otitle .o{margin-top:7px}.fora .rail.right .opitem .ometa{letter-spacing:.02em;font-size:10px}.fora .rail.right .person{border-radius:4px;gap:11px;padding:8px 0;transition:background .12s}.fora .rail.right .person:hover{background:rgba(var(--ink-rgb),.025);padding-left:4px}.fora .rail.right .person .u{font-size:11.5px;font-weight:500}.fora .rail.right .person .b{font-size:11.5px}.fora .wider-sep{gap:16px;margin:32px 0 24px}.fora .wider-sep .line{border-top-color:rgba(var(--ink-rgb),.1)}.fora .wider-sep .lbl{letter-spacing:.005em;color:var(--ink-faint);font-size:13.5px}.fora .filter-row{border:1px solid rgba(var(--ink-rgb),.14);border-radius:4px}.fora .filter-row button{letter-spacing:.02em;padding:5px 14px;font-size:11px}.fora .filter-extra{letter-spacing:.02em;font-size:11px}.lemma-page{gap:44px;padding:40px 60px 60px}.lemma-head h1{letter-spacing:-.018em;font-size:28px;font-weight:500;line-height:1.2}.lemma-meta{letter-spacing:.02em;font-size:11.5px;font-family:var(--mono);color:var(--ink-faint);gap:10px;margin-bottom:28px}.lemma-meta b{color:var(--ink);font-weight:500}.lemma-meta a{text-underline-offset:2.5px;text-decoration:underline;-webkit-text-decoration-color:rgba(var(--accent-rgb),.3);text-decoration-color:rgba(var(--accent-rgb),.3);font-weight:500}.lemma-meta .sep{color:rgba(var(--ink-rgb),.18)}.statement{border:1px solid rgba(var(--ink-rgb),.1);border-left:3px solid var(--accent);background:var(--paper-cream);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:5px;margin:14px 0 12px;padding:18px 24px;font-size:18px;line-height:1.55}.statement .tex{background:rgba(var(--ink-rgb),.04);padding:2px 7px;font-size:14px}.lemma-page p{color:var(--ink-soft);font-size:14.5px;line-height:1.55}.disc-head{border-bottom:1px solid rgba(var(--ink-rgb),.1);letter-spacing:.16em;align-items:center;margin-top:36px;padding-bottom:10px;font-size:10.5px}.disc-post{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:7px;gap:18px;padding:16px 20px;transition:border-color .15s,box-shadow .18s,background-color .15s}.disc-post:hover{border-color:rgba(var(--ink-rgb),.18);box-shadow:0 4px 16px rgba(var(--ink-rgb),.05);background:var(--paper-cream)}.disc-post.sys{border-left:3px solid var(--accent);background:rgba(var(--accent-rgb),.025)}.disc-post .ptext{font-size:15px;line-height:1.55}.disc-post .phead .l b{letter-spacing:-.003em;font-size:13px;font-weight:500}.disc-post .phead .time{letter-spacing:.02em;font-size:10.5px}.disc-post .vote-col{gap:2px}.disc-post .vote-col .arr{font-size:12px;transition:color .12s}.disc-post .vote-col .arr:hover{color:var(--accent)}.disc-post .vote-col .n{color:var(--ink);font-size:13px;font-weight:500}.disc-post .pacts{letter-spacing:.02em;gap:16px;font-size:10.5px}.disc-post .pacts .try{border:1px solid var(--ink);letter-spacing:.02em;border-radius:4px;padding:4px 11px;font-weight:500}.disc-reply{border:1px solid rgba(var(--ink-rgb),.14);background:var(--paper-light);border-style:solid;border-radius:7px;margin-top:14px;padding:13px 18px}.disc-reply input{font-size:14px}.lemma-rr .try-card{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-cream);box-shadow:0 1px 2px rgba(var(--ink-rgb),.025);border-radius:7px;padding:18px}.lemma-rr .try-card h4{letter-spacing:.18em;font-size:10.5px;font-weight:500}.lemma-rr .try-card p{color:var(--ink-soft);margin-bottom:14px;font-size:13.5px;line-height:1.5}.lemma-rr h4.section{letter-spacing:.18em;margin-bottom:10px;font-size:10.5px;font-weight:500}.lemma-rr .opitem{border-bottom:1px solid rgba(var(--ink-rgb),.06);padding:8px 0}.lemma-rr .opitem:last-child{border-bottom:0}.lemma-rr .opitem .o-title{font-size:13.5px;line-height:1.4}.lemma-rr .opitem .o-meta{letter-spacing:.02em;font-size:10px}.lemma-rr .link-proj{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:5px;padding:11px 14px;transition:border-color .15s,background .15s}.lemma-rr .link-proj:hover{border-color:var(--ink-faint);background:var(--paper-cream)}.lemma-rr .link-proj .name{font-size:12.5px;font-weight:500}.appears .ai-row{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:5px;padding:9px 12px;transition:background .14s,border-color .14s,transform .15s}.appears .ai-row:hover{background:var(--paper-cream);border-color:var(--ink-faint);transform:translate(2px)}.appears .ai-row .n{letter-spacing:.005em;font-size:12px;font-weight:500}.appears .ai-row .role{letter-spacing:.02em;font-size:9.5px;font-style:italic}.promote{letter-spacing:.02em;border-style:solid;border-width:1px;border-radius:4px;padding:5px 11px;font-size:10.5px;font-weight:500}.repo-bar{border-bottom:1px solid rgba(var(--ink-rgb),.1);background:linear-gradient(180deg, var(--paper-light) 0%, var(--paper) 100%);height:44px;padding:0 24px}.repo-tab{letter-spacing:.01em;border-bottom-width:2.5px;padding:0 14px;font-size:12px;font-weight:500;transition:color .12s,border-color .15s}.repo-tab .n{letter-spacing:0;border-radius:99px;margin-left:5px;padding:1.5px 7px;font-size:9.5px;font-weight:500}.zulip .streams{background:var(--paper-cream);border-right:1px solid rgba(var(--ink-rgb),.1);gap:14px;padding:16px 12px}.zulip .streams h5{letter-spacing:.16em;padding:0 8px;font-size:9.5px;font-weight:500}.zulip .stream{letter-spacing:.005em;border-radius:5px;padding:6px 10px;font-size:12px;font-weight:500;transition:background .1s}.zulip .stream:hover{background:rgba(var(--ink-rgb),.05)}.zulip .stream.on{background:var(--ink);color:var(--paper);box-shadow:none}.zulip .stream .hash{opacity:.55;font-weight:400}.zulip .stream .unread{letter-spacing:.02em;padding:1.5px 7px;font-size:9px;font-weight:500}.zulip .topic{letter-spacing:.005em;border-radius:4px;padding:4px 11px;font-size:11px;font-weight:400}.zulip .topic.on{font-weight:500}.zulip .stage .topic-head{border-bottom:1px solid rgba(var(--ink-rgb),.1);gap:14px;padding:18px 26px 14px}.zulip .stage .topic-head .l h2{letter-spacing:-.012em;gap:8px;font-size:22px;font-weight:500;line-height:1.25}.zulip .stage .topic-head .l h2 .mono.soft{color:var(--ink-faint);font-size:13px}.zulip .stage .topic-head .l .meta{letter-spacing:.02em;font-size:10.5px;font-family:var(--mono);margin-top:8px}.zulip .stage .messages{padding:14px 26px 18px}.zulip .msg{border-bottom:1px solid rgba(var(--ink-rgb),.05);gap:14px;padding:12px 0}.zulip .msg:last-child{border-bottom:0}.zulip .msg .mhead b{letter-spacing:-.003em;font-size:14.5px;font-weight:500}.zulip .msg .mhead .time{letter-spacing:.02em;font-size:10.5px;font-family:var(--mono);color:var(--ink-faint)}.zulip .msg .mbody{font-size:14.5px;line-height:1.55}.zulip .msg .macts{letter-spacing:.02em;font-size:10px;font-family:var(--mono);color:var(--ink-faint);gap:16px;margin-top:6px}.zulip .msg .macts span{transition:color .12s}.zulip .msg .macts span:hover{color:var(--accent)}.zulip .compose{border-top:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-cream);padding:14px 22px}.zulip .compose input{border:1px solid rgba(var(--ink-rgb),.14);background:var(--paper-light);border-radius:5px;padding:9px 14px;font-size:14px}.zulip .compose input:focus{border-color:var(--accent)}.zulip .compose .nb{letter-spacing:.02em;font-size:10px;font-family:var(--mono);color:var(--ink-faint)}.zulip .right{border-left:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-cream);gap:14px;padding:18px 16px}.zulip .right .card-r{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:6px;padding:14px}.zulip .right .card-r h4{letter-spacing:-.005em;margin-bottom:8px;font-size:13px;font-weight:500}.zulip .right .pin{color:var(--accent);margin-bottom:10px;font-size:13px;font-style:italic;line-height:1.45}.zulip .right .member{letter-spacing:.005em;gap:10px;padding:5px 0;font-size:11.5px}.zulip .right .member .dot{width:7px;height:7px}.zulip .right .stat{letter-spacing:.02em;border-bottom:1px solid rgba(var(--ink-rgb),.04);padding:4px 0;font-size:11px}.zulip .right .stat:last-child{border-bottom:0}.lemmas-list{padding:40px 60px}.lemmas-list h2{letter-spacing:-.018em;font-size:26px;font-weight:500}.lemmas-list .lhelp{color:var(--ink-soft);margin-bottom:26px;font-size:13.5px;font-style:italic;line-height:1.5}.lemmas-list .lrow{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:6px;margin-bottom:8px;padding:14px 20px;transition:border-color .15s,box-shadow .18s,background-color .15s}.lemmas-list .lrow:hover{border-color:rgba(var(--ink-rgb),.2);box-shadow:0 4px 16px rgba(var(--ink-rgb),.05);background:var(--paper-cream)}.lemmas-list .lrow.cur{border-color:var(--accent);background:rgba(var(--accent-rgb),.025);border-left:3px solid var(--accent);padding-left:17px}.lemmas-list .lrow .num{letter-spacing:.02em;font-size:11.5px;font-weight:500}.lemmas-list .lrow .title{letter-spacing:-.005em;font-size:16px;font-weight:500}.lemmas-list .lrow .meta{letter-spacing:.02em;gap:10px;margin-top:7px;font-size:10.5px}.members-pg{padding:40px 60px}.members-pg h2{letter-spacing:-.018em;font-size:26px;font-weight:500}.members-pg p{margin-bottom:26px;font-size:13.5px;font-style:italic;line-height:1.5}.members-pg .mrow{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:6px;padding:14px 18px;transition:border-color .15s,box-shadow .15s}.members-pg .mrow:hover{border-color:rgba(var(--ink-rgb),.18);box-shadow:0 3px 12px rgba(var(--ink-rgb),.04)}.members-pg .mrow.online{border-left:3px solid var(--good);padding-left:15px}.members-pg .mrow.editing{border-left:3px solid var(--accent);padding-left:15px}.members-pg .mrow.offline{opacity:.65}.members-pg .mrow .name{letter-spacing:-.005em;font-size:15.5px;font-weight:500}.members-pg .mrow .where{letter-spacing:.02em;margin-top:3px;font-size:10.5px}.members-pg .mrow .stat{letter-spacing:.02em;font-size:10.5px}.graph-wrap{background:radial-gradient(ellipse at 50% 30%, var(--paper-cream) 0%, var(--paper) 60%, var(--paper-warm) 100%)}.gn-c{border-width:1.5px;transition:transform .22s cubic-bezier(.3,.7,.4,1),box-shadow .22s,background-color .15s}.gn:hover .gn-c{box-shadow:0 6px 24px rgba(var(--accent-rgb),.28);transform:scale(1.16)}.gn-l{letter-spacing:.002em;font-size:13px}.glegend{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-cream);box-shadow:0 2px 8px rgba(var(--ink-rgb),.04);border-radius:6px;padding:11px 14px}.glegend .row{letter-spacing:.005em;font-size:10.5px}.editor-full .ebar{background:linear-gradient(180deg, var(--paper-cream) 0%, var(--paper-light) 100%);border-bottom:1px solid rgba(var(--ink-rgb),.1);min-height:50px;padding:10px 22px}.editor-full .ebar .modes{border:1px solid rgba(var(--ink-rgb),.14);border-radius:5px;overflow:hidden}.editor-full .ebar .modes button{letter-spacing:.02em;padding:5px 13px;font-size:11px;transition:background .12s,color .12s}.editor-full .ebar .modes button.on{background:var(--ink);color:var(--paper)}.fslider{border:1px solid rgba(var(--ink-rgb),.14);background:var(--paper-light);border-radius:5px;height:28px}.fslider .lbl{letter-spacing:.06em;font-size:9.5px}.fslider .val{font-size:10.5px}.editor-full{grid-template-rows:auto 1fr}.editor-full .emain{grid-template-columns:280px minmax(0,1fr) 340px}.editor-context{font-family:var(--mono);color:var(--ink-soft);letter-spacing:.02em;font-size:10.5px}.outline-rail{background:linear-gradient(180deg, var(--paper-cream) 0%, var(--paper) 100%);border-right:1px solid rgba(var(--ink-rgb),.1);min-width:0;padding:18px 14px 22px}.outline-head{justify-content:space-between;align-items:center;gap:10px;margin-bottom:12px;display:flex}.outline-sync{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.04em;border:1px solid rgba(var(--ink-rgb),.12);background:#fcfbf85c;border-radius:99px;padding:1px 7px;font-size:9.5px}.outline-sync.live{color:var(--accent);border-color:rgba(var(--accent-rgb),.25);background:rgba(var(--accent-rgb),.06)}.outline-title{border-left:3px solid var(--accent);color:var(--ink-soft);margin-bottom:14px;padding:2px 0 3px 10px;font-size:13px;line-height:1.25}.outline-title>span{font-family:var(--mono);color:var(--accent);letter-spacing:.04em;margin-bottom:2px;font-size:10px;font-weight:600;display:block}.outline-title .outline-sub{color:var(--ink-faint);text-transform:uppercase;letter-spacing:.12em;font-weight:500}.outline-list{flex-direction:column;gap:7px;display:flex}.outline-step{border:1px solid rgba(var(--ink-rgb),.09);cursor:pointer;background:#efede69e;border-radius:6px;padding:9px 10px;transition:border-color .15s,background-color .15s,box-shadow .18s,opacity .15s}.outline-step:hover{border-color:rgba(var(--ink-rgb),.18);background:var(--paper-light)}.outline-step:focus-visible{outline:2px solid rgba(var(--accent-rgb),.34);outline-offset:2px}.outline-step.active{border-color:rgba(var(--accent-rgb),.42);background:rgba(var(--accent-rgb),.06);box-shadow:0 2px 10px rgba(var(--accent-rgb),.08)}.outline-step.dim{opacity:.48}.outline-step.OK{border-left:3px solid var(--good);padding-left:8px}.outline-step.EDIT{border-left:3px solid var(--warn);padding-left:8px}.outline-step.TODO{border-left:3px dashed var(--ink-faint);padding-left:8px}.outline-step.collision{border-color:rgba(var(--accent-rgb),.32)}.outline-row{grid-template-columns:54px minmax(0,1fr);align-items:start;gap:8px;display:grid}.outline-index{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.03em;padding-top:1px;font-size:10px}.outline-label{font-family:var(--serif);color:var(--ink);min-width:0;font-size:13.5px;line-height:1.3}.outline-label .katex{font-size:1em}.outline-meta{flex-wrap:wrap;align-items:center;gap:6px;margin-top:7px;padding-left:62px;display:flex}.outline-ramp{font-family:var(--mono);color:var(--accent);border:1px solid #0000;border-radius:3px;padding:1px 5px;font-size:10px;line-height:1}.outline-ramp:hover{border-color:rgba(var(--accent-rgb),.35);background:rgba(var(--accent-rgb),.08)}.outline-ramp.maxed{color:var(--good);opacity:.45;cursor:default}.outline-disc{font-family:var(--mono);color:var(--accent);margin-left:auto;font-size:9.5px}.outline-actions{border-top:1px solid rgba(var(--ink-rgb),.08);flex-wrap:wrap;gap:4px;margin-top:8px;padding-top:8px;display:flex}.outline-actions .sact{font-family:var(--mono);color:var(--ink-faint);background:0 0;border:1px solid #0000;border-radius:3px;padding:2px 6px;font-size:9.5px}.outline-actions .sact:hover{border-color:rgba(var(--ink-rgb),.18);background:var(--paper-warm);color:var(--ink)}.outline-actions .sact.discuss{color:var(--accent);border-color:rgba(var(--accent-rgb),.34);background:rgba(var(--accent-rgb),.08);flex-basis:100%;order:-1;justify-content:center;align-items:center;margin-bottom:2px;padding:5px 8px;font-weight:600;display:flex}.outline-actions .sact.discuss:hover{background:var(--accent);border-color:var(--accent);color:var(--paper-cream)}.outline-actions .sact.approve:hover{color:var(--good);border-color:rgba(var(--good-rgb),.32)}.outline-actions .sact.drop:hover,.outline-actions .sact.collision:hover{color:var(--accent);border-color:rgba(var(--accent-rgb),.35)}.editor-full .canvas{background:0 0;grid-template-rows:auto minmax(0,1fr);min-height:0;padding:30px 36px;display:grid;overflow:hidden}.editor-full .canvas .doc-h{width:100%;min-width:0;max-width:none;margin:0 0 16px}.editor-full .canvas .doc-h .prop{border-left:3px solid var(--accent);box-shadow:none;background:#efede69e;border-radius:0;margin-top:8px;padding:14px 20px;font-size:17px}.cells{gap:14px;max-width:780px}.editor-full .cells{width:100%;max-width:none;height:100%;min-height:0;margin:0}.ce{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:7px;transition:all .18s cubic-bezier(.3,.7,.4,1);overflow:hidden}.ce.cur{border-color:var(--accent);box-shadow:0 0 0 2px rgba(var(--accent-rgb),.14), 0 6px 22px rgba(var(--accent-rgb),.1)}.ce.checked{border-left:3px solid var(--good)}.ce .ce-h{background:var(--paper-cream);border-bottom:1px solid rgba(var(--ink-rgb),.08);padding:11px 18px}.ce.cur .ce-h{background:rgba(var(--accent-rgb),.06)}.ce .ce-h .title{letter-spacing:-.005em;font-size:15.5px;font-weight:500}.ce .ce-h .num{letter-spacing:.04em;font-size:10.5px;font-weight:500}.ce .ce-body{padding:16px 20px;font-size:15px;line-height:1.6}.ce .ce-foot{letter-spacing:.02em;padding:0 20px 11px;font-size:10px}.ce .ce-tools{background:var(--paper-cream);border-top:1px solid rgba(var(--ink-rgb),.06);padding:11px 20px 13px}.prose-edit-wrap{padding:0}.prose-edit{padding:16px 20px;font-size:15px;line-height:1.65}.prose-edit:focus{background:rgba(var(--accent-rgb),.012);outline:none}.typing-indicator{letter-spacing:.03em;border-radius:99px;padding:3px 9px;font-size:10px;top:10px;right:18px}.proof-editor-shell{background:0 0;grid-template-rows:minmax(0,1fr) auto auto;height:100%;min-height:0;display:grid;overflow:hidden}.proof-statusbar{border-top:1px solid rgba(var(--ink-rgb),.07);font-family:var(--mono);color:var(--ink-faint);letter-spacing:.02em;background:rgba(var(--ink-rgb),.018);flex-wrap:wrap;align-items:center;gap:12px;padding:8px 14px 9px;font-size:10px;display:flex}.proof-tags{color:var(--ink-faint);align-items:center;gap:7px;margin-left:auto;display:inline-flex}.proof-tags>span{font-size:9.5px}.proof-tools{border-top:1px solid rgba(var(--ink-rgb),.06);background:#efede6c7;align-items:center;gap:8px;padding:8px 14px 10px;display:flex}.tex-proof-wrap{background:var(--paper-cream);min-height:0;position:relative}.tex-editor{background:var(--paper-cream);height:100%;min-height:0}.tex-editor-body{grid-template-columns:38px minmax(0,1fr) 62px;height:100%;min-height:0;display:grid;position:relative;overflow:hidden}.tex-line-gutter{border-right:1px solid rgba(var(--ink-rgb),.08);background:rgba(var(--ink-rgb),.018);-webkit-user-select:none;user-select:none;height:100%;padding:14px 0;overflow:hidden}.tex-line-gutter span{text-align:right;height:20.5px;font-family:var(--mono);color:rgba(var(--ink-rgb),.32);padding-right:9px;font-size:10px;line-height:20.5px;display:block}.tex-step-gutter{border-left:1px solid rgba(var(--ink-rgb),.08);background:rgba(var(--accent-rgb),.018);z-index:2;height:100%;min-height:0;position:relative}.tex-step-mark{width:50px;font-family:var(--mono);border:1px solid rgba(var(--ink-rgb),.13);text-align:center;color:var(--ink-faint);background:var(--paper-cream);z-index:2;border-radius:99px;padding:3px 0;font-size:8.5px;line-height:1;position:absolute;right:6px;transform:translateY(-50%)}.tex-step-mark:after{content:"";border-top:1px dotted rgba(var(--accent-rgb),.22);pointer-events:none;width:100vw;position:absolute;top:50%;right:calc(100% + 10px)}.tex-step-mark:hover,.tex-step-mark.active{color:var(--accent);border-color:rgba(var(--accent-rgb),.42);background:var(--paper-light)}.tex-step-mark.OK{border-left-color:var(--good)}.tex-step-mark.EDIT{border-left-color:var(--warn)}.tex-step-mark.TODO{border-left-color:var(--ink-faint)}.tex-step-mark.collision{box-shadow:0 0 0 2px rgba(var(--accent-rgb),.08)}.tex-source{z-index:1;resize:none;width:100%;height:100%;min-height:0;color:var(--ink);font-family:var(--mono);tab-size:2;white-space:pre-wrap;overflow-wrap:normal;background:0 0;border:0;padding:14px 18px;font-size:13px;line-height:1.58;position:relative;overflow:auto}.tex-source:focus{background:#fcfbf852;outline:none}.tex-source::placeholder{color:rgba(var(--ink-rgb),.34)}.dcomp{background:rgba(var(--ink-rgb),.025);border-top:1px solid rgba(var(--ink-rgb),.08);margin:0;padding:14px 20px 16px}.dcomp .dlbl{letter-spacing:.16em;gap:8px;margin-bottom:11px;font-size:9.5px;font-weight:500}.dcomp .dlbl .ai-flag{border-radius:3px;padding:1.5px 6px;font-size:8.5px;font-weight:500}.step{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper);border-radius:5px;margin-bottom:6px;padding:10px 13px;transition:border-color .15s,background-color .15s}.step.OK{border-left:3px solid var(--good)}.step.EDIT{border-left:3px solid var(--warn)}.step.TODO{border-left:3px solid var(--ink-faint);border-left-style:dashed}.step:hover{border-color:var(--ink-faint);background:var(--paper-cream)}.step .slabel{letter-spacing:-.003em;font-size:14px;line-height:1.4}.step .sid{letter-spacing:.02em;font-size:10px;font-weight:500}.sb{letter-spacing:.06em;padding:1.5px 7px;font-size:8.5px;font-weight:500}.step .ramp{font-size:10px}.step .sacts-row{margin-top:7px;padding-top:7px}.step .sact{letter-spacing:.04em;padding:3px 8px;font-size:9.5px}.editor-full .airail{background:var(--paper-cream);border-left:1px solid rgba(var(--ink-rgb),.1)}.editor-full .airail .panel{border-bottom:1px solid rgba(var(--ink-rgb),.06);padding:14px 16px}.editor-full .airail .panel:last-child{border-bottom:0}.editor-full .airail h4{letter-spacing:-.003em;font-size:12.5px;font-weight:500}.editor-full .airail h4 .meta{letter-spacing:.04em;font-size:9.5px}.editor-full .airail .ai-msg{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:5px;padding:9px 11px;font-size:13px;line-height:1.5}.editor-full .airail .ai-msg.user{background:rgba(var(--accent-rgb),.06);border-color:rgba(var(--accent-rgb),.2)}.editor-full .airail .ai-msg .who{letter-spacing:.08em;font-size:9px;font-weight:500}.agents-online{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:6px;gap:6px;padding:8px}.agent-chip{background:var(--paper);border:1px solid #0000;border-radius:5px;gap:5px;padding:9px 6px 8px;transition:border-color .12s,transform .15s}.agent-chip:hover{border-color:rgba(var(--ink-rgb),.1);transform:translateY(-1px)}.agent-chip .ac-name{letter-spacing:.005em;font-size:10.5px;font-weight:500}.agent-chip .ac-role{letter-spacing:.005em;max-width:90px;font-size:8.5px;line-height:1.4}.agent-panel{padding-left:14px}.agent-panel .agent-head .ah-name{font-size:11.5px;font-weight:500}.agent-panel .agent-head .ah-status{letter-spacing:.06em;text-transform:uppercase;font-size:9px;font-weight:500}.agent-active-step{background:var(--paper-light);font-size:10.5px;font-family:var(--mono);letter-spacing:.005em;border-radius:4px;padding:5px 10px}.sugg{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper);border-radius:5px;margin-bottom:5px;padding:9px 12px;transition:border-color .15s,background-color .15s,transform .15s}.sugg:hover{border-color:var(--accent);background:rgba(var(--accent-rgb),.04);transform:translate(2px)}.sugg.applied{opacity:.65}.sugg .s-kind{letter-spacing:.1em;font-size:8.5px;font-weight:500}.sugg .s-body{letter-spacing:-.003em;font-size:13px;line-height:1.4}.sugg .s-body code{border-radius:2px;padding:1px 5px;font-size:11px}.sugg .s-detail{letter-spacing:.005em;font-size:9.5px;line-height:1.45}.hash-chip{border-radius:99px;padding:2px 7px;font-size:9.5px;font-weight:500}.kernel-log{border:1px solid #0000004d;border-radius:5px;padding:11px 13px;font-size:10px;line-height:1.7}.kbadge{letter-spacing:.04em;border-radius:99px;padding:3px 9px;font-size:9.5px;font-weight:500}.kbadge.running .kd{width:5px;height:5px}.publish-ready{letter-spacing:.015em;border-radius:5px;padding:7px 18px;font-size:11.5px;font-weight:500}.drawer{background:var(--paper-cream);border-top:1px solid rgba(var(--ink-rgb),.1)}.drawer .h{letter-spacing:.025em;padding:11px 22px;font-size:11px;font-weight:500}.drawer .b{gap:7px;padding:0 22px 14px}.dstep{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper);border-radius:5px;padding:9px 12px;transition:border-color .12s,background-color .12s}.dstep:hover{background:var(--paper-cream);border-color:var(--ink-faint)}.dstep.OK{border-left:3px solid var(--good)}.dstep.EDIT{border-left:3px solid var(--warn)}.dstep.TODO{border-left:3px solid var(--ink-faint);border-left-style:dashed}.dstep .ttl{letter-spacing:-.003em;font-size:12.5px;line-height:1.4}.dstep .id{letter-spacing:.02em;font-size:9.5px;font-weight:500}.parity-row{border-radius:5px;padding:9px 13px}.parity-row .id{letter-spacing:.02em;font-size:9.5px;font-weight:500}.parity-row .tex{font-size:12.5px}.parity-row .ln{font-size:10.5px;line-height:1.5}.seed-banner{border-left:3px solid var(--accent);background:rgba(var(--accent-rgb),.04);border-radius:0 5px 5px 0;margin-top:12px;padding:12px 16px}.seed-banner .sb-h{letter-spacing:.16em;font-size:9.5px;font-weight:500}.seed-banner .sb-body{font-size:13.5px;line-height:1.55}.paper-attempt{border:1px solid rgba(var(--good-rgb),.3);border-left:3px solid var(--good);background:rgba(var(--good-rgb),.05);box-shadow:0 1px 2px rgba(var(--good-rgb),.05);border-radius:6px;padding:16px 20px}.paper-attempt .pa-h{letter-spacing:.16em;font-size:9.5px;font-weight:500}.paper-attempt .pa-row{letter-spacing:.005em;padding:3px 0;font-size:11.5px}.lemma-page{grid-template-columns:minmax(0,1fr) 300px}.lemma-main{min-width:0}.lemma-statement-panel{border:1px solid rgba(var(--ink-rgb),.12);border-left:4px solid var(--accent);background:var(--paper-cream);box-shadow:0 1px 2px rgba(var(--ink-rgb),.025);border-radius:8px;margin-bottom:20px;padding:20px 24px 22px}.lemma-statement-top{justify-content:space-between;align-items:center;gap:16px;margin-bottom:10px;display:flex}.lemma-project{font-family:var(--mono);color:var(--ink-faint);letter-spacing:.02em;font-size:10.5px}.lemma-formula{font-family:var(--serif);color:var(--ink);margin-bottom:10px;font-size:32px;font-weight:500;line-height:1.16}.lemma-statement-panel p{color:var(--ink-soft);margin:0;font-size:15px;line-height:1.55}.lemma-graph-toolbar{justify-content:space-between;align-items:flex-end;gap:18px;margin:20px 0 10px;display:flex}.lemma-graph-toolbar p{font-family:var(--serif);color:var(--ink-soft);margin-top:3px;font-size:14px}.lemma-formality-cursor{border:1px solid rgba(var(--ink-rgb),.12);background:var(--paper-light);width:278px;box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:7px;padding:10px 12px 8px}.lemma-formality-cursor .fc-top{justify-content:space-between;align-items:center;gap:10px;display:flex}.lemma-formality-cursor .fc-val{font-family:var(--mono);color:var(--ink);text-align:right;font-size:10.5px;font-weight:500}.lemma-formality-cursor input[type=range]{width:100%;height:18px;accent-color:var(--accent);cursor:pointer;margin:7px 0 2px}.lemma-formality-cursor .fc-ticks{font-family:var(--mono);color:var(--ink-faint);justify-content:space-between;padding:0 2px;font-size:9px;display:flex}.lemma-formality-cursor .fc-ticks .on{color:var(--accent);font-weight:700}.attempt-graph-panel{border:1px solid rgba(var(--ink-rgb),.12);background:var(--paper-light);box-shadow:0 1px 2px rgba(var(--ink-rgb),.02);border-radius:8px;padding:16px 18px 14px}.path-graph-head{justify-content:space-between;align-items:flex-start;gap:20px;margin-bottom:8px;display:flex}.path-graph-head h2{font-family:var(--serif);margin-top:3px;font-size:20px;font-weight:500;line-height:1.2}.path-graph-head p{max-width:720px;color:var(--ink-soft);margin-top:4px;font-size:14px;line-height:1.45}.path-graph-svg{width:100%;height:auto;margin-top:8px;display:block;overflow:visible}.path-graph-svg g{transition:opacity .16s}.path-graph-svg .canonical-anchor text,.path-graph-svg .collision-label,.path-graph-svg .terminal-dot,.path-graph-svg .path-route,.path-graph-svg .path-status,.path-graph-svg .path-contrib-av,.path-graph-svg .step-number{font-family:var(--mono);pointer-events:none;-webkit-user-select:none;user-select:none}.path-graph-svg .canonical-anchor text{fill:var(--ink-faint);font-size:10px;font-weight:500}.path-graph-svg .collision-label{fill:var(--accent);font-size:10px;font-weight:700}.path-graph-svg .terminal-dot{fill:var(--paper-light);letter-spacing:.06em;font-size:9.5px;font-weight:700}.path-graph-svg .path-route{fill:var(--ink);font-size:11px;font-weight:600}.path-graph-svg .path-status{fill:var(--ink-faint);font-size:9px;font-weight:400}.path-graph-svg .path-contrib-av{fill:var(--ink-soft);font-size:8px;font-weight:600}.path-graph-svg .focused-row .path-route{fill:var(--accent)}.path-graph-svg .step-number{font-size:9.5px;font-weight:800}.path-graph-svg .path-node-count{font-family:var(--mono);fill:var(--ink-faint);font-size:9px;font-weight:700}.path-graph-routes{grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;margin:2px 0 12px;display:grid}.path-graph-route{border:1px solid rgba(var(--ink-rgb),.1);text-align:left;background:0 0;border-radius:6px;flex-direction:column;align-items:flex-start;gap:6px;min-width:0;padding:8px 10px;display:flex}.path-graph-route:hover{border-color:rgba(var(--accent-rgb),.28);background:rgba(var(--accent-rgb),.03)}.path-graph-route.on{border-color:rgba(var(--accent-rgb),.42);background:rgba(var(--accent-rgb),.06)}.path-graph-route-title{font-family:var(--mono);color:var(--ink);font-size:10.5px;font-weight:600}.path-graph-route.on .path-graph-route-title{color:var(--accent)}.path-graph-route-meta{font-family:var(--serif);color:var(--ink-faint);align-items:center;gap:7px;font-size:12px;display:flex}.path-graph-route-contributors{gap:3px;display:flex}.path-graph-legend{border-top:1px solid rgba(var(--ink-rgb),.08);font-family:var(--mono);color:var(--ink-faint);flex-wrap:wrap;align-items:center;gap:14px;padding-top:10px;font-size:10px;display:flex}.path-graph-legend span{align-items:center;gap:6px;display:inline-flex}.legend-dot{background:var(--ink);border-radius:50%;width:11px;height:11px;display:inline-block}.legend-dot.big{width:15px;height:15px}.legend-dot.collision{background:var(--accent)}.legend-line{border-top:3px solid var(--ink);border-radius:99px;width:28px;height:0;display:inline-block}.legend-line.branch{border-top-width:2px;border-top-color:var(--accent);transform:rotate(-12deg)}.legend-line.thick{border-top-width:7px}.legend-line.draft{border-top:2px dashed var(--accent)}.focused-path-pad{border:1px solid rgba(var(--accent-rgb),.3);background:rgba(var(--accent-rgb),.035);box-shadow:0 1px 2px rgba(var(--accent-rgb),.025);border-radius:8px;margin-top:18px;padding:16px 18px 6px}.focused-pad-head{justify-content:space-between;align-items:flex-start;gap:16px;margin-bottom:12px;display:flex}.focused-pad-head h2{font-family:var(--serif);margin-top:3px;font-size:22px;font-weight:500;line-height:1.2}.focused-pad-head p{color:var(--ink-soft);max-width:760px;margin-top:4px;font-size:14.5px;line-height:1.45}.focused-pad-meta{font-family:var(--mono);color:var(--ink-faint);flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:8px;font-size:10px;display:flex}.focused-path-rows{flex-direction:column;display:flex}.focused-path-row{border-top:1px dashed rgba(var(--ink-rgb),.14);grid-template-columns:minmax(0,1.02fr) 3px minmax(260px,.9fr);display:grid}.focused-path-row:first-child{border-top:0}.focused-step-cell,.focused-thread-cell{padding:15px 0}.focused-step-cell{padding-right:18px}.focused-thread-cell{padding-left:18px}.focused-path-line{background:rgba(var(--accent-rgb),.36);position:relative}.focused-path-line:before{content:"";background:var(--accent);border-radius:50%;width:11px;height:11px;position:absolute;top:22px;left:50%;transform:translate(-50%)}.step-kicker{font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint);flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:5px;font-size:9.5px;display:flex}.collision-chip{border:1px solid rgba(var(--accent-rgb),.36);color:var(--accent);background:rgba(var(--accent-rgb),.06);letter-spacing:.04em;border-radius:99px;padding:1px 7px}.focused-step-cell h3{font-family:var(--serif);margin-bottom:7px;font-size:17px;font-weight:500;line-height:1.25}.step-formality{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:9px;margin-bottom:8px;font-size:10px;display:flex}.focused-step-cell p{color:var(--ink-soft);margin-bottom:10px;font-size:14.2px;line-height:1.48}.lean-snippet{font-family:var(--mono);color:var(--ink);background:rgba(var(--ink-rgb),.045);border:1px solid rgba(var(--ink-rgb),.09);white-space:pre-wrap;border-radius:5px;margin-bottom:10px;padding:9px 10px;font-size:10.5px;line-height:1.45;overflow:auto}.try-step-btn{font-family:var(--mono);border:1px solid rgba(var(--ink-rgb),.22);color:var(--ink);background:var(--paper-light);border-radius:5px;padding:5px 10px;font-size:10.5px;font-weight:500}.try-step-btn:hover{border-color:var(--accent);color:var(--accent);background:rgba(var(--accent-rgb),.05)}.thread-title{font-family:var(--mono);letter-spacing:.12em;text-transform:uppercase;color:var(--ink-faint);margin-bottom:8px;font-size:9.5px}.thread-empty{font-family:var(--mono);color:var(--ink-faint);border:1px dashed rgba(var(--ink-rgb),.18);background:#fcfbf838;border-radius:5px;padding:9px 10px;font-size:10.5px}.step-thread-message{border-top:1px solid rgba(var(--ink-rgb),.08);gap:9px;padding:9px 0;display:flex}.step-thread-message:first-of-type{border-top:0;padding-top:0}.stm-head{font-family:var(--mono);color:var(--ink-faint);align-items:baseline;gap:8px;margin-bottom:2px;font-size:10.5px;display:flex}.stm-head b{color:var(--ink);font-weight:600}.step-thread-message p{color:var(--ink-soft);margin:0;font-size:13.8px;line-height:1.45}.lemma-global-thread{margin-top:26px}.disc-head.compact{margin-top:0}.global-thread-list{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;margin-top:12px;display:grid}.global-thread-post{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:7px;padding:12px 13px}.global-thread-post.sys{border-left:3px solid var(--accent);background:rgba(var(--accent-rgb),.035)}.global-post-head{font-family:var(--mono);color:var(--ink-faint);align-items:center;gap:8px;margin-bottom:7px;font-size:10.5px;display:flex}.global-post-head b{color:var(--ink);font-size:11px;font-weight:600}.global-thread-post p{color:var(--ink-soft);font-size:13.6px;line-height:1.45}.path-focus-list{flex-direction:column;gap:7px;display:flex}.path-focus{border:1px solid rgba(var(--ink-rgb),.1);background:var(--paper-light);border-radius:6px;align-items:center;gap:9px;width:100%;padding:8px 10px;display:flex}.path-focus.on{border-color:rgba(var(--accent-rgb),.36);background:rgba(var(--accent-rgb),.055)}.path-focus span{flex-direction:column;gap:1px;min-width:0;display:flex}.path-focus b{font-family:var(--mono);color:var(--ink);font-size:11px;font-weight:600}.path-focus i{font-family:var(--serif);color:var(--ink-faint);white-space:normal;font-size:12.5px;font-style:italic;line-height:1.2}@media (width<=1120px){.editor-full .emain{grid-template-columns:240px minmax(0,1fr)}.editor-full .airail{display:none}.outline-row{grid-template-columns:52px minmax(0,1fr)}.outline-meta{padding-left:60px}.lemma-page{grid-template-columns:1fr;padding:28px}.lemma-rr{grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.global-thread-list{grid-template-columns:1fr}}@media (width<=820px){.editor-full .emain{grid-template-columns:1fr}.outline-rail{border-right:0;border-bottom:1px solid rgba(var(--ink-rgb),.1);max-height:260px}.editor-full .canvas{padding:22px 18px}.lemma-formula{font-size:25px}.lemma-graph-toolbar,.focused-pad-head{flex-direction:column;align-items:flex-start}.lemma-formality-cursor{width:100%}.path-graph-routes,.focused-path-row{grid-template-columns:1fr}.focused-path-line{display:none}.focused-step-cell,.focused-thread-cell{padding-left:0;padding-right:0}.focused-thread-cell{padding-top:0}.lemma-rr{grid-template-columns:1fr}}.eye{letter-spacing:.18em;font-size:9.5px;font-weight:500}.scroll::-webkit-scrollbar{width:9px;height:9px}.scroll::-webkit-scrollbar-thumb{background:rgba(var(--ink-rgb),.1);background-clip:content-box;border:2px solid #0000;border-radius:99px;transition:background-color .15s}.scroll:hover::-webkit-scrollbar-thumb{background:rgba(var(--ink-rgb),.2);background-clip:content-box}.scroll::-webkit-scrollbar-track{background:0 0}.app{position:relative}.app:before{content:"";pointer-events:none;background-image:radial-gradient(circle at 20% 30%, rgba(var(--accent-rgb),.015) 0%, transparent 50%), radial-gradient(circle at 80% 70%, rgba(var(--good-rgb),.012) 0%, transparent 50%);z-index:-1;position:fixed;inset:0}*{transition-timing-function:cubic-bezier(.3,.7,.4,1)}html.dark{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--discovery:#88b0de;--discovery-deep:#5c8ac0;--discovery-tint:#1f2d43;--ink-rgb:236,237,239;--accent-rgb:184,85,68;--good-rgb:125,166,118;--warn-rgb:199,169,91;--paper:#16171a;--paper-cream:#1e2024;--paper-warm:#23262a;--paper-light:#25282d;--ink:#ecedef;--rule:rgba(var(--ink-rgb),.18);--accent:#b85544;--accent-soft:#d08072;--accent-wash:rgba(var(--accent-rgb),.14);--accent-wash-2:rgba(var(--accent-rgb),.24);--good:#7da676;--good-soft:#99be91;--good-wash:rgba(var(--good-rgb),.14);--warn:#c7a95b;--warn-wash:rgba(var(--warn-rgb),.14);--paper-deep:#121316;--paper-press:#23262a;--ink-muted:rgba(var(--ink-rgb),.72);--ink-faint:rgba(var(--ink-rgb),.45);--ink-soft:var(--ink-muted);--ink-vfaint:rgba(var(--ink-rgb),.14);--ink-line:rgba(var(--ink-rgb),.16);--hairline:#2a2d31;--accent-deep:#9c4234;--accent-tint:rgba(var(--accent-rgb),.18);--verified:#7da676;--verified-tint:rgba(var(--good-rgb),.16);--stub:#c7a95b;--stub-tint:rgba(var(--warn-rgb),.16);--draft:rgba(var(--ink-rgb),.55);--draft-tint:rgba(var(--ink-rgb),.1);--agent-ink:#c9cbce}html.dark body{background:linear-gradient(#14161a 0%,#16171a 72%,#1a1d21 100%)}html.dark .top{border-bottom-color:rgba(var(--ink-rgb),.08);box-shadow:0 1px 0 rgba(var(--ink-rgb),.04), 0 4px 14px -8px #00000080;background:linear-gradient(#1e2024 0%,#121316 100%)}html.dark .repo-bar{border-bottom-color:rgba(var(--ink-rgb),.08);background:linear-gradient(#1e2024 0%,#121316 100%)}html.dark .editor-full .ebar{border-bottom-color:rgba(var(--ink-rgb),.08);background:linear-gradient(#1e2024 0%,#23262a 100%)}html.dark .editor-full .ebar .modes button.on{background:rgba(var(--accent-rgb),.18);color:var(--ink);box-shadow:inset 0 0 0 1px rgba(var(--accent-rgb),.34)}html.dark .outline-rail{border-right-color:rgba(var(--ink-rgb),.08);background:linear-gradient(#1e2024 0%,#121316 100%)}html.dark .outline-sync{background:rgba(var(--ink-rgb),.05);border-color:rgba(var(--ink-rgb),.14)}html.dark .outline-step{border-color:rgba(var(--ink-rgb),.12);background:#1e2024}html.dark .outline-step:hover{border-color:rgba(var(--ink-rgb),.22);background:#23262a}html.dark .outline-step.active{background:rgba(var(--accent-rgb),.13);border-color:rgba(var(--accent-rgb),.48);box-shadow:0 3px 14px #0000002e}html.dark .outline-step.dim{opacity:.46}html.dark .graph-wrap{background:radial-gradient(at 50% 30%,#1e2024 0%,#14161a 60%,#121316 100%)}html.dark .gn.stub .gn-c{background:rgba(var(--accent-rgb),.12);border-color:var(--accent);color:var(--accent)}html.dark .glegend,html.dark .zulip .streams,html.dark .zulip .right,html.dark .zulip .compose{background:#1e2024}html.dark .zulip .stream:hover{background:rgba(var(--ink-rgb),.06)}html.dark .zulip .stream.on{background:rgba(var(--ink-rgb),.14);color:var(--ink);box-shadow:inset 0 0 0 1px rgba(var(--ink-rgb),.16)}html.dark .editor-full .airail{border-left-color:rgba(var(--ink-rgb),.08);background:#1e2024}html.dark .drawer{border-top-color:rgba(var(--ink-rgb),.08);background:#1e2024}html.dark .editor-full .canvas .doc-h .prop{border-left-color:var(--accent);color:var(--ink);background:#1e2024}html.dark .proof-statusbar{border-top-color:rgba(var(--ink-rgb),.08);background:#121316}html.dark .proof-tools{border-top-color:rgba(var(--ink-rgb),.08);background:#1e2024}html.dark .tex-proof-wrap,html.dark .tex-editor{background:#121316}html.dark .tex-step-mark{border-color:rgba(var(--ink-rgb),.16);background:#1e2024}html.dark .tex-step-mark:hover,html.dark .tex-step-mark.active{border-color:rgba(var(--accent-rgb),.44);background:#23262a}html.dark .tex-source:focus{background:rgba(var(--ink-rgb),.018)}html.dark .tex-source{color:var(--ink)}html.dark .tex-line-gutter{background:rgba(var(--ink-rgb),.018);border-right-color:rgba(var(--ink-rgb),.08)}html.dark .tex-step-gutter{background:rgba(var(--accent-rgb),.025);border-left-color:rgba(var(--ink-rgb),.08)}html.dark .agent-active-step,html.dark .agents-online,html.dark .agent-chip,html.dark .sugg,html.dark .editor-full .airail .ai-msg{background:#1e2024}html.dark .kernel-log{border-color:rgba(var(--ink-rgb),.2);background:#121316}html.dark .presence-toast{color:var(--ink);border:1px solid rgba(var(--ink-rgb),.12);background:#161616f5}html.dark .presence-toast b{color:var(--ink)}html.dark .zulip .compose input{border-color:rgba(var(--ink-rgb),.14);background:#1e2024}html.dark .zulip .compose input:focus{border-color:var(--accent)}html.dark .disc-reply input{background:0 0}html.dark .lean-textarea{border-color:rgba(var(--ink-rgb),.16);background:#1e2024}html.dark .lean-textarea:focus{border-color:rgba(var(--ink-rgb),.32)}html.dark .lean-body{background:#1e2024}html.dark .lean-snippet{background:rgba(var(--ink-rgb),.06);border-color:rgba(var(--ink-rgb),.12)}html.dark .statement,html.dark .lemma-statement-panel,html.dark .try-rr .ai-callout{background:#1e2024}html.dark .dd .menu{background:#23262a;box-shadow:0 8px 28px #0006}html.dark .btn{background:0 0}html.dark .btn:hover:not([disabled]){background:rgba(var(--ink-rgb),.06)}html.dark .btn.primary{background:rgba(var(--ink-rgb),.9);color:var(--paper)}html.dark .btn.primary:hover{background:var(--ink)}html.dark .btn.ghost{border-color:rgba(var(--ink-rgb),.2)}html.dark .proof-tools .btn.primary{background:rgba(var(--ink-rgb),.08);border-color:rgba(var(--ink-rgb),.18);color:var(--ink)}html.dark .proof-tools .btn.primary:hover{background:rgba(var(--ink-rgb),.12)}html.dark .scroll::-webkit-scrollbar-thumb{background:rgba(var(--ink-rgb),.14);background-clip:content-box}html.dark .scroll:hover::-webkit-scrollbar-thumb{background:rgba(var(--ink-rgb),.24);background-clip:content-box}@media (width<=768px){html,body,#root{height:auto;min-height:100%;overflow:hidden auto}body{overflow:visible}.app{grid-template-rows:auto 1fr;height:auto;min-height:100dvh}.app:before{position:fixed}.fora{grid-template-columns:1fr;height:auto}.fora .rail{border-left:0;border-right:0;border-top:1.5px solid var(--rule);padding:20px 16px;overflow:visible}.fora .rail.right{border-left:0}.fora .main{order:-1;overflow:visible}.fora .main .scroller{padding:24px 16px 32px;overflow:visible}.fora .titlewrap{margin-bottom:18px}.fora .titlewrap h1{font-size:26px}.fora .home-lead .resume-list{grid-template-columns:1fr}.repo-shell,.repo-body{height:auto;min-height:0}.repo-bar{overflow-x:auto}.top.top-mobile{gap:10px;padding:0 16px;position:relative}.top-drawer{z-index:60;background:var(--paper);border-bottom:1.5px solid var(--rule);flex-direction:column;gap:4px;padding:10px 14px 14px;display:flex;position:absolute;top:100%;left:0;right:0;box-shadow:0 12px 28px -12px #00000080}.top-drawer .top-link{padding:9px 8px;font-size:13px}.top-drawer-controls{border-top:1px solid var(--rule);flex-wrap:wrap;align-items:center;gap:10px;margin-top:8px;padding-top:12px;display:flex}.zulip{height:auto;grid-template-columns:1fr!important}.zulip .streams{border-right:0;border-bottom:1.5px solid var(--rule);overflow:visible}.zulip .right{border-left:0;border-top:1.5px solid var(--rule);overflow:visible}.zulip .stage{min-height:60vh;overflow:visible}.graph-wrap{min-height:62vh;overflow:auto}.members-pg{padding-left:16px;padding-right:16px}.editor-full .emain{grid-template-columns:1fr}.editor-full .canvas{padding:18px 14px}.lemma-page{grid-template-columns:1fr;padding:20px 16px}.lemma-rr{grid-template-columns:1fr}.projects-page.scroll{padding:24px 16px 40px}}.fora-home .main .scroller{padding:var(--space-7) var(--space-5) var(--space-8)}.fora-home .fora-desk,.fora-home .fora-stage{width:min(100%, var(--reading-w));margin-inline:auto}.fora-home .fora-desk{flex-direction:column;justify-content:center;min-height:clamp(280px,42vh,440px);display:flex}.fora-home .fora-desk .titlewrap{margin-bottom:var(--space-5)}.fora-home .fora-desk .title-row{align-items:baseline}.fora-home .fora-desk .titlewrap h1{font-size:var(--fs-display);line-height:var(--lh-display);letter-spacing:-.015em}.fora-home .fora-stage{transition:opacity var(--dur-slow) var(--ease)}.fora-home .fora-stage--receded{opacity:.42}.fora-home .fora-stage-head{justify-content:space-between;align-items:flex-end;gap:var(--space-4);margin-bottom:var(--space-4);display:flex}.fora-home .fora-stage .section-h{margin-bottom:var(--space-1);font-family:var(--mono);font-size:var(--fs-label);letter-spacing:.08em;text-transform:lowercase}.fora-home .fora-stage .section-help{color:var(--ink-faint);font-family:var(--serif);margin:0;font-size:13px;font-style:italic}.fora-home .fora-ledger{border-top:1px solid var(--hairline)}.fora-home .fora-ledger-row{padding:var(--space-4) var(--space-3) var(--space-4) var(--space-4);border-bottom:1px solid var(--hairline);cursor:pointer;transition:background-color var(--dur-fast) var(--ease);display:block;position:relative}.fora-home .fora-ledger-row:before{content:"";top:var(--space-4);bottom:var(--space-4);background:var(--accent);opacity:.72;border-radius:2px;width:3px;position:absolute;left:0}.fora-home .fora-ledger-row--statement:before{background:var(--verified)}.fora-home .fora-ledger-row:hover,.fora-home .fora-ledger-row:focus-visible{background:var(--paper-deep);outline:none}.fora-home .fora-ledger-meta{align-items:center;gap:var(--space-2);margin-bottom:var(--space-2);min-width:0;display:flex}.fora-home .fora-ledger-kind,.fora-home .fora-ledger-tag{font-family:var(--mono);letter-spacing:.1em;color:var(--ink-faint);font-size:9px}.fora-home .fora-ledger-kind{color:var(--accent)}.fora-home .fora-ledger-row--statement .fora-ledger-kind{color:var(--verified)}.fora-home .fora-ledger-tag{padding:1px var(--space-2);border:1px solid var(--hairline);border-radius:var(--radius-chip);letter-spacing:.03em;margin-left:auto}.fora-home .fora-ledger-meta .tg{font-size:9px}.fora-home .fora-ledger-title{margin:0 0 var(--space-1);font-family:var(--serif);font-size:17px;font-weight:500;line-height:var(--lh-title);color:var(--ink)}.fora-home .fora-ledger-body{margin-bottom:var(--space-2);-webkit-line-clamp:2;font-family:var(--serif);color:var(--ink-muted);-webkit-box-orient:vertical;font-size:13.5px;line-height:1.5;display:-webkit-box;overflow:hidden}.fora-home .fora-ledger-origin{margin:var(--space-2) 0;font-family:var(--serif);color:var(--ink-faint);font-size:12.5px;font-style:italic;line-height:1.4}.fora-home .fora-ledger-footer{align-items:center;gap:var(--space-2);min-width:0;font-family:var(--mono);color:var(--ink-faint);font-size:10px;display:flex}.fora-home .fora-ledger-spacer{flex:1}.fora-home .fora-ledger-open{color:var(--accent)}@media (width<=768px){.fora-home .main .scroller{padding:var(--space-5) var(--space-4) var(--space-7)}.fora-home .fora-desk{min-height:auto;padding:var(--space-4) 0 var(--space-5)}.fora-home .fora-desk .titlewrap{margin-bottom:var(--space-4)}.fora-home .fora-desk .titlewrap h1{font-size:26px}.fora-home .fora-stage-head{align-items:flex-start}.fora-home .fora-ledger-row{padding-right:var(--space-2)}.fora-home .fora-ledger-footer{flex-wrap:wrap}.fora-home .fora-ledger-spacer{display:none}.fora-home .fora-ledger-open{margin-left:auto}}.fora-home .fora-desk{min-height:clamp(240px,34vh,340px);padding-top:var(--space-4);justify-content:flex-start}@media (width<=768px){.fora-home .fora-desk{min-height:auto;padding-top:0}}.comment-action{font-family:var(--mono);color:var(--ink-muted);border-bottom:1px solid #0000;margin-left:8px;font-size:9.5px}.comment-action:hover{color:var(--ink);border-bottom-color:var(--hairline)}.comment-action--confirm{color:var(--accent);border-bottom-color:var(--accent)}.comment-action:disabled{opacity:.55;cursor:default}@media (width<=768px){.fora-home .rail,.ask-scope .ask-compliance-spacer+span,.ask-scope .ask-reassure,.fora-home .fora-ledger-body,.fora-home .fora-ledger-origin{display:none}.ask-scope textarea,.ask-scope input[type=text],.ask-scope input:not([type]),.modal-scope input,input[type=email]{font-size:16px!important}.ask-scope .ask-send,.ask-scope .ask-post,.ask-scope .ask-ctl,.fora-home .fora-ledger-open,.crumb-back,.top-plus{min-height:44px}.comment-action{margin-left:4px;padding:10px 4px}}.katex-display{margin:.4em 0;padding:.4em 0;overflow:auto hidden}button,[role=button]{touch-action:manipulation}