.home-editorial-heading{justify-content:space-between;align-items:end;gap:2rem;margin-bottom:1.8rem;display:flex}.home-editorial-heading h2{color:var(--text);letter-spacing:-.065em;margin:0;font-size:clamp(1.8rem,3.1vw,2.7rem);font-weight:550;line-height:1.15}.home-section-kicker{color:var(--faint);letter-spacing:.035em;margin-bottom:.8rem;font-size:.64rem;display:block}.home-research{padding-top:4rem}.research-index{color:var(--faint);font-variant-numeric:tabular-nums;padding-bottom:.2rem;font-size:.72rem}.research-index>span{color:var(--accent)}.research-composition{border-top:1px solid var(--line-strong);grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr);display:grid}.research-topics{grid-template-rows:repeat(4,minmax(112px,1fr));min-width:0;padding:1rem 2.7rem 1rem 0;display:grid;position:relative}.research-topics:after{content:"";background:var(--accent);width:2px;height:calc(25% - .5rem);transform:translateY(calc(var(--research-index,0) * 100%));pointer-events:none;transition:transform .5s cubic-bezier(.2,.75,.2,1);position:absolute;top:1rem;left:-.7rem}.research-topic{border:0;border-bottom:1px solid var(--line);text-align:left;width:100%;min-height:112px;font:inherit;color:var(--muted);cursor:pointer;background:0 0;grid-template-columns:1.65rem minmax(0,1fr) 1rem;align-content:center;align-items:baseline;gap:.7rem;padding:1.3rem .9rem 1.3rem 0;transition:color .28s;display:grid;position:relative}.research-topic:last-child{border-bottom:0}.research-topic:before{content:"";background:linear-gradient(100deg, color-mix(in srgb, var(--accent) 5%, var(--bg)), transparent);opacity:0;transform-origin:0;pointer-events:none;transition:opacity .35s,transform .35s;position:absolute;inset:0 -.7rem;transform:scaleX(.96)}.research-topic[aria-selected=true]:before{opacity:1;transform:scaleX(1)}.research-topic>span{position:relative}.research-topic-number{color:var(--faint);padding-top:.2rem;font-size:.63rem}.research-topic-copy{gap:.65rem;display:grid}.research-topic-copy strong{color:var(--text);letter-spacing:-.05em;font-size:clamp(1.15rem,1.8vw,1.6rem);font-weight:500;line-height:1.32;transition:color .28s,transform .35s cubic-bezier(.2,.7,.2,1)}.research-topic-copy>span{max-width:37ch;color:var(--muted);font-size:.7rem;line-height:1.65}.research-topic-arrow{color:var(--accent);opacity:0;transition:opacity .28s,transform .35s cubic-bezier(.2,.7,.2,1);transform:translate(-6px)}.research-topic[aria-selected=true] .research-topic-copy strong,.research-topic[aria-selected=true] .research-topic-number{color:var(--accent)}.research-topic[aria-selected=true] .research-topic-copy strong{transform:translate(3px)}.research-topic[aria-selected=true] .research-topic-arrow{opacity:1;transform:translate(0)}.research-topic:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.research-topic:disabled{cursor:default}.research-scenes{isolation:isolate;border-left:1px solid var(--line);min-width:0;padding:1.5rem 0 1.4rem 2.4rem;display:grid;position:relative}.research-scene{opacity:0;visibility:hidden;pointer-events:none;flex-direction:column;grid-area:1/1;min-width:0;transition:opacity .42s cubic-bezier(.2,.7,.2,1),transform .42s cubic-bezier(.2,.7,.2,1),visibility .42s;display:flex;transform:translateY(10px)}.research-scene[data-active=true]{opacity:1;visibility:visible;pointer-events:auto;transform:translateY(0)}.research-visual{background:radial-gradient(ellipse at 60% 40%, color-mix(in srgb, var(--accent) 5%, transparent), transparent 70%);flex-direction:column;justify-content:center;min-width:0;min-height:290px;padding:.6rem .2rem 1rem;display:flex;position:relative}.research-visual-grain{pointer-events:none;opacity:.5;background-image:radial-gradient(var(--line-strong) .6px, transparent .6px);background-size:16px 16px;position:absolute;inset:0;mask-image:radial-gradient(#000 10%,#0000 70%)}.research-visual svg{width:100%;height:auto;transform:translateY(var(--research-depth,0px));transition:transform .16s linear;display:block;position:relative;overflow:visible}.research-visual-context{color:var(--faint);text-align:center;margin-top:.25rem;font-size:.6rem;line-height:1.7;display:block;position:relative}.research-drafting{fill:none;stroke:var(--line);stroke-width:1px;stroke-dasharray:2 6}.research-ink{fill:var(--accent)}.research-outline{fill:color-mix(in srgb, var(--bg) 80%, transparent);stroke:var(--line-strong);stroke-width:1.2px}.research-proof-branches,.research-accent-line{fill:none;stroke:var(--accent);stroke-width:1.6px}.research-visual marker path{fill:none;stroke:var(--accent);stroke-width:1.3px}.research-math{fill:var(--accent);font:40px Cambria Math,Georgia,serif}.research-small-math{fill:var(--text);font:28px Cambria Math,Georgia,serif}.research-label{fill:var(--muted);font:12px var(--font);letter-spacing:.2px}.research-models circle{fill:var(--surface);stroke:var(--accent);stroke-width:1px}.research-models circle[r="4"]{fill:var(--accent);stroke:none}.research-document-lines,.research-search-branches{fill:none;stroke:var(--line-strong);stroke-width:1.2px}.research-search-nodes{fill:var(--bg);stroke:var(--accent);stroke-width:1.2px}.research-paper{fill:var(--bg);stroke:var(--line-strong);stroke-width:1.2px;filter:drop-shadow(0 6px 9px color-mix(in srgb, var(--text) 3%, transparent))}.research-paper-accent{fill:color-mix(in srgb, var(--accent) 4%, var(--bg));stroke:var(--accent)}.research-caption{border-top:1px solid var(--line);margin-top:1.2rem;padding-top:1.3rem;position:relative}.research-caption h3{color:var(--text);letter-spacing:-.04em;margin:0 0 .7rem;font-size:clamp(1.1rem,1.8vw,1.45rem);font-weight:500;line-height:1.4}.research-caption p{max-width:65ch;color:var(--muted);margin:0;font-size:.75rem;line-height:1.9}.research-caption a{min-height:44px;color:var(--accent);justify-content:space-between;align-items:center;gap:1rem;margin-top:.8rem;font-size:.67rem;line-height:1.7;text-decoration:none;display:flex}.research-caption a span{transition:transform .25s}.research-caption a:hover span{transform:translate(3px,-3px)}.research-caption a:hover{text-underline-offset:.25em;text-decoration:underline}.research-caption a:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.research-fields{border-block:1px solid var(--line-strong);align-items:baseline;gap:2.3rem;padding:1.3rem 0;display:flex}.research-fields>span{color:var(--faint);font-size:.64rem}.research-fields ul{color:var(--text);flex-wrap:wrap;gap:.6rem 2rem;margin:0;padding:0;font-size:.78rem;list-style:none;display:flex}@media (width<=950px){.research-composition{grid-template-columns:minmax(0,.85fr) minmax(0,1.15fr)}.research-topics{padding-right:1.4rem}.research-topic{grid-template-columns:1.2rem minmax(0,1fr) .65rem;gap:.45rem;min-height:120px}.research-topic-copy strong{font-size:1.18rem}.research-topic-copy>span{font-size:.68rem}.research-scenes{padding-left:1.4rem}.research-visual{min-height:240px}.research-label{font-size:15px}.research-fields{gap:1.5rem}.research-fields ul{gap:.7rem 1.4rem}}@media (width<=650px){.home-research{padding-top:3rem}.home-editorial-heading{gap:1rem;margin-bottom:1.3rem}.home-editorial-heading h2{font-size:1.8rem}.research-composition{grid-template-columns:minmax(0,1fr)}.research-topics{grid-template-rows:repeat(2,minmax(124px,1fr));grid-template-columns:1fr 1fr;padding:0}.research-topics:after{display:none}.research-topic{border-bottom:1px solid var(--line);min-height:124px;padding:1rem .8rem;display:block}.research-topic:last-child{border-bottom:1px solid var(--line)}.research-topic:nth-child(odd){border-right:1px solid var(--line)}.research-topic:before{inset:0}.research-topic-number{margin-bottom:.55rem;padding:0;font-size:.6rem;display:block}.research-topic-copy strong{letter-spacing:-.045em;font-size:.95rem;line-height:1.5}.research-topic-copy{gap:0}.research-topic-copy>span,.research-topic-arrow{display:none}.research-topic[aria-selected=true] .research-topic-copy strong{transform:none}.research-topic:focus-visible{outline-offset:-4px}.research-scenes{border:0;padding:1rem 0 .6rem}.research-visual{min-height:0;padding-top:.9rem}.research-visual svg{width:100%}.research-label{font-size:17px}.research-small-math{font-size:30px}.research-math{font-size:44px}.research-caption{margin-top:.6rem;padding-top:1.1rem}.research-caption h3{font-size:1.2rem}.research-caption p{font-size:.78rem}.research-caption a{font-size:.7rem}.research-fields{align-items:start;gap:1rem;padding-block:1.2rem}.research-fields>span{padding-top:.15rem}.research-fields ul{gap:.6rem 1.1rem;font-size:.72rem;line-height:1.6}}@media (prefers-reduced-motion:reduce){.home-research *,.home-research :before,.home-research :after{transition:none!important}.research-visual svg{transform:none}}.home-hero{border-bottom:1px solid var(--line);grid-template-rows:1fr auto;grid-template-columns:minmax(0,1fr) minmax(230px,.42fr);align-items:center;column-gap:clamp(1rem,2vw,2rem);min-height:450px;padding:3.5rem 0;display:grid}.hero-title{align-items:center;gap:clamp(.6rem,2vw,1.4rem);min-width:0;display:flex}.hero-title h1{color:var(--text);font-family:var(--font);letter-spacing:-.1em;align-items:baseline;margin:0;font-size:clamp(2.1rem,7.3vw,7rem);font-weight:600;line-height:.95;display:flex}.hero-sigil{color:var(--accent);letter-spacing:-.05em;user-select:none;flex:none;font-size:clamp(.95rem,2.4vw,1.9rem)}.hero-zero{color:var(--accent)}.hero-introduction{align-self:end;align-items:center;gap:1.2rem;max-width:780px;margin-top:2.2rem;display:flex}.hero-portrait{object-fit:cover;border:1px solid var(--line-strong);border-radius:3px;flex:none;width:70px;height:88px}.hero-name{color:var(--text);margin:0 0 .3rem;font-size:1rem}.hero-statement{color:var(--muted);margin:0;font-size:.8rem;line-height:1.75}.home-geometry{width:min(100%,320px);min-width:0;color:var(--accent);grid-area:1/2/3;justify-self:end;margin:0}.geometry-brand{perspective:700px;pointer-events:none;place-items:center;display:grid;position:absolute;inset:0}.geometry-brand-tilt{aspect-ratio:1;width:72%;max-width:19rem;transform-style:preserve-3d;position:relative}.geometry-brand-layer{background:var(--text);position:absolute;inset:0;-webkit-mask:url(/brand/logo.png) 50%/contain no-repeat;mask:url(/brand/logo.png) 50%/contain no-repeat}.geometry-brand-echo{background:var(--accent);opacity:var(--echo-opacity,0);transform:translateZ(-24px)}.geometry-stage[data-dragging] .geometry-brand-face{background:var(--accent)}.geometry-stage{aspect-ratio:1.12;touch-action:pan-y;user-select:none;border-radius:2px;width:100%;position:relative}.home-geometry[data-ready] .geometry-stage{cursor:grab}.geometry-stage[data-dragging]{cursor:grabbing!important}.geometry-stage:focus-visible{outline:2px solid var(--accent);outline-offset:5px}.geometry-corner{pointer-events:none;opacity:.5;width:15px;height:15px;position:absolute}.geometry-corner-tl{border-top:1px solid var(--faint);border-left:1px solid var(--faint);top:12px;left:12px}.geometry-corner-br{border-right:1px solid var(--faint);border-bottom:1px solid var(--faint);bottom:12px;right:12px}.home-geometry figcaption{border-top:1px solid var(--line);margin-top:.25rem;padding:.75rem 0 0}.geometry-controls{justify-content:flex-end;align-items:center;gap:.6rem;display:flex}.geometry-controls[hidden]{display:none}.geometry-controls button{min-width:44px;min-height:44px;color:var(--faint);cursor:pointer;font:500 .68rem var(--font);background:0 0;border:0;padding:.6rem .4rem}.geometry-controls button:hover{color:var(--accent);background:var(--surface)}.geometry-controls button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.geometry-motion{flex:none;place-items:center;width:44px;display:grid}.home-section{grid-template-columns:minmax(160px,.42fr) minmax(0,1fr);gap:clamp(2rem,6vw,6rem);padding-top:5rem;display:grid}.home-section-title{padding-top:1rem}.home-section-number{color:var(--accent);font-size:.65rem}.home-section-title h2{letter-spacing:-.065em;margin:1rem 0 0;font-size:clamp(1.65rem,2.4vw,2.2rem);font-weight:550;line-height:1.15}.home-section-title>p{max-width:22ch;color:var(--faint);margin:1.3rem 0 0;font-size:.73rem;line-height:1.8}.featured-work-entry:focus-visible,.home-recent-list a:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.home-recent-list{grid-template-columns:repeat(3,minmax(0,1fr));gap:0 2rem;margin:0;padding:0;list-style:none;display:grid}.home-recent-list li{border-top:1px solid var(--line-strong);min-width:0;display:flex}.home-recent-list a{width:100%;padding:1.2rem 1.8rem 1.2rem 0;text-decoration:none;position:relative}.home-recent-meta{color:var(--faint);text-transform:uppercase;flex-wrap:wrap;align-items:center;gap:.5rem 1rem;font-size:.56rem;display:flex}.home-recent-meta time{font-size:inherit}.home-recent-list h3{color:var(--text);letter-spacing:-.03em;margin:1rem 0 .75rem;font-size:1.04rem;font-weight:550;line-height:1.5;transition:color .16s}.home-recent-arrow{color:var(--accent);transition:transform .18s;position:absolute;top:3.5rem;right:0}.home-recent-list a:hover h3{color:var(--accent)}.home-recent-list a:hover .home-recent-arrow{transform:translate(2px,-2px)}.home-eyebrow{color:var(--faint);align-items:center;gap:1rem;font-size:.65rem;display:flex}.home-eyebrow>span{color:var(--accent)}.home-reasoning{padding-top:4.5rem;scroll-margin-top:1rem}.reasoning-heading{justify-content:space-between;align-items:end;gap:3rem;margin-bottom:2rem;display:flex}.reasoning-heading h2{letter-spacing:-.075em;margin:1rem 0 0;font-size:clamp(2.3rem,4.5vw,4.3rem);font-weight:550;line-height:1.1}.reasoning-heading>p{max-width:39ch;color:var(--muted);margin:0 0 .15rem;font-size:.78rem;line-height:1.85}.reasoning-workspace{border:1px solid var(--line-strong);background:var(--bg)}.reasoning-toolbar{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:1rem;min-height:62px;padding:.5rem 1.3rem;display:flex}.reasoning-context{color:var(--faint);align-items:center;gap:.8rem;font-size:.65rem;display:flex}.reasoning-context>span{color:var(--accent);font-size:1.3rem}.reasoning-views{border:0;gap:.2rem;margin:0;padding:0;display:flex}.reasoning-views label{cursor:pointer;position:relative}.reasoning-views input{opacity:0;cursor:pointer;width:100%;height:100%;margin:0;position:absolute;inset:0}.reasoning-views span{min-height:44px;color:var(--muted);justify-content:center;align-items:center;padding:.5rem .85rem;font-size:.75rem;transition:background-color .18s,color .18s;display:flex}.reasoning-views input:checked+span{color:var(--accent);background:var(--surface);box-shadow:inset 0 -1px var(--accent)}.reasoning-views input:focus-visible+span{outline:2px solid var(--accent);outline-offset:-2px}.reasoning-views label:hover span{color:var(--accent)}.reasoning-body{grid-template-columns:minmax(220px,.34fr) minmax(0,1fr);display:grid}.reasoning-inputs{border-right:1px solid var(--line);flex-direction:column;align-items:start;padding:2rem 1.5rem;display:flex}.reasoning-assumptions{border:0;width:100%;margin:0;padding:0}.reasoning-assumptions legend{color:var(--faint);letter-spacing:.09em;text-transform:uppercase;margin:0 0 1.2rem;padding:0;font-size:.6rem}.reasoning-assumption{border-top:1px solid var(--line);cursor:pointer;align-items:center;gap:.9rem;min-height:76px;padding:.9rem 0;display:flex}.reasoning-assumption input{width:18px;height:18px;accent-color:var(--accent);cursor:pointer;flex:none;margin:0}.reasoning-assumption input:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.reasoning-assumption strong{color:var(--text);font-size:.9rem;font-weight:550;display:block}.reasoning-assumption small{color:var(--faint);margin-top:.2rem;font-size:.6rem;display:block}.reasoning-assumption:has(input:not(:checked)) strong{color:var(--faint)}.reasoning-instruction{max-width:27ch;color:var(--faint);margin:1rem 0 1.5rem;font-size:.72rem;line-height:1.8}.reasoning-reset{min-height:44px;color:var(--accent);font:500 .65rem var(--font);cursor:pointer;background:0 0;border:0;align-items:center;gap:.8rem;margin-top:auto;padding:.5rem 0;display:inline-flex}.reasoning-reset:disabled{color:var(--faint);opacity:.6;cursor:default}.reasoning-reset:not(:disabled):hover{text-underline-offset:.3em;text-decoration:underline}.reasoning-reset:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.reasoning-stage{background-image:radial-gradient(circle, var(--line) .8px, transparent .8px);background-size:20px 20px;min-width:0;min-height:390px;display:grid}.reasoning-panel{flex-direction:column;grid-area:1/1;justify-content:center;align-items:center;min-width:0;padding:1.2rem 1.5rem;display:flex}.reasoning-panel[hidden],.reasoning-reset[hidden],.reasoning-counterexample[hidden],.reasoning-deduction[hidden]{display:none}.reasoning-diagram{width:min(100%,640px);height:auto;display:block;overflow:visible}.reasoning-trace{fill:none;stroke:var(--accent);stroke-width:1.5px;vector-effect:non-scaling-stroke;transition:stroke .25s,opacity .25s}.reasoning-junction{fill:var(--accent);transition:fill .25s}.reasoning-node rect{fill:var(--bg);stroke:var(--accent);stroke-width:1px;vector-effect:non-scaling-stroke;transition:fill .25s,stroke .25s}.reasoning-node text{text-anchor:middle;fill:var(--text)}.reasoning-node-label{letter-spacing:1.1px;font-size:12px}.reasoning-node-math{font:32px Cambria Math,STIX Two Math,Georgia,serif}.reasoning-node-result rect{fill:color-mix(in srgb, var(--accent) 7%, var(--bg))}.reasoning-node-result .reasoning-node-math{fill:var(--accent)}[data-implication=false] .reasoning-node-rule,[data-antecedent=false] .reasoning-node-fact{opacity:.5}[data-implication=false] .reasoning-trace-rule,[data-antecedent=false] .reasoning-trace-fact{stroke:var(--faint);opacity:.4;stroke-dasharray:.018 .018}[data-implication=false] .reasoning-node-rule rect,[data-antecedent=false] .reasoning-node-fact rect{stroke:var(--faint);stroke-dasharray:4 4}[data-supported=false] .reasoning-node-result rect{fill:var(--bg);stroke:var(--faint);stroke-dasharray:4 4}[data-supported=false] .reasoning-node-result .reasoning-node-math,[data-supported=false] .reasoning-junction{fill:var(--faint)}.reasoning-panel-caption{max-width:56ch;color:var(--muted);text-align:center;margin:1rem 0 0;font-size:.75rem;line-height:1.8}.reasoning-panel-eyebrow{color:var(--faint);letter-spacing:.04em;font-size:.6rem}.reasoning-panel-eyebrow span{color:var(--accent);padding-inline:.6rem}.reasoning-sequent{color:var(--accent);margin:1.4rem 0 2rem;font:clamp(1.45rem,3.2vw,2.6rem) Cambria Math,STIX Two Math,Georgia,serif}.reasoning-deduction{text-align:center;min-width:180px;color:var(--text);font:1.4rem Cambria Math,STIX Two Math,Georgia,serif;position:relative}.reasoning-deduction>div{border-bottom:1px solid var(--text);justify-content:center;gap:2.8rem;padding:0 .5rem .5rem;display:flex}.reasoning-deduction>span{padding-top:.4rem;display:block}.reasoning-deduction small{color:var(--faint);font:.62rem var(--font);margin:.7rem 0 .2rem;display:block}.reasoning-lean{align-items:stretch;padding:2rem}.reasoning-code-heading{border-bottom:1px solid var(--line-strong);color:var(--faint);justify-content:space-between;gap:1rem;padding-bottom:.7rem;font-size:.6rem;display:flex}.reasoning-code-heading span:last-child{color:var(--accent)}.reasoning-lean pre{color:var(--text);font:clamp(.75rem, 1.15vw, .9rem)/2 var(--font);white-space:pre-wrap;overflow-wrap:anywhere;margin:1.5rem 0 .5rem;padding:0;overflow-x:auto}.reasoning-lean code{font:inherit}.reasoning-keyword{color:var(--violet)}.reasoning-proof-term{color:var(--accent)}.reasoning-lean .reasoning-panel-caption{text-align:left}.reasoning-source-note{color:var(--faint);margin-top:1.4rem;font-size:.57rem}.reasoning-result{border-top:1px solid var(--line);background:color-mix(in srgb, var(--accent) 3%, var(--bg));grid-template-columns:32px 1fr;gap:1rem;min-height:130px;padding:1.4rem 1.5rem;display:grid}.reasoning-result-mark{color:var(--accent);font:2rem Cambria Math,Georgia,serif}.reasoning-result strong{color:var(--text);font-size:.9rem;font-weight:600}.reasoning-result p{max-width:100ch;color:var(--muted);margin:.4rem 0 0;font-size:.75rem;line-height:1.75}.reasoning-result .reasoning-counterexample{color:var(--accent)}.reasoning-footnote{max-width:76ch;color:var(--faint);margin:1rem 0 0;font-size:.65rem;line-height:1.8}.featured-work-list{grid-template-columns:repeat(3,minmax(0,1fr));gap:1.5rem;display:grid}.featured-work-entry{border-bottom:1px solid var(--line-strong);flex-direction:column;min-width:0;padding-bottom:1.4rem;text-decoration:none;display:flex}.featured-work-art{aspect-ratio:1.8;border:1px solid var(--line);background:var(--surface);margin-bottom:1.2rem;transition:border-color .18s,transform .28s cubic-bezier(.2,.7,.2,1);position:relative;overflow:hidden}.featured-work-entry:hover .featured-work-art{border-color:var(--accent)}.featured-work-meta{color:var(--faint);text-transform:uppercase;font-size:.58rem}.featured-work-entry h3{color:var(--text);letter-spacing:-.05em;justify-content:space-between;align-items:baseline;gap:1rem;margin:.7rem 0 0;font-size:1.15rem;font-weight:550;line-height:1.4;transition:color .18s;display:flex}.featured-work-entry h3>span{color:var(--accent);flex:none;font-size:.9rem;transition:transform .18s}.featured-work-entry:hover h3{color:var(--accent)}.featured-work-entry:hover h3>span{transform:translate(2px,-2px)}.featured-work-entry:focus-visible .featured-work-art{transform:translateY(-3px)}@media (hover:hover) and (pointer:fine){.featured-work-entry:hover .featured-work-art{transform:translateY(-3px)}}.mechanics-art svg{width:100%;height:100%;display:block}.mechanics-grid{fill:none;stroke:var(--line-strong);stroke-width:1px}.mechanics-curve{fill:none;stroke:var(--accent);stroke-width:1.5px}.mechanics-art circle{fill:var(--accent)}.mechanics-art text{fill:var(--text);font:29px Cambria Math,Georgia,serif}.benchmark-art{flex-direction:column;justify-content:center;align-items:center;display:flex}.benchmark-art>span{color:var(--accent);font:clamp(2.5rem,5.5vw,4.7rem)/1.1 Cambria Math,Georgia,serif}.benchmark-art>small{color:var(--muted);margin-top:.6rem;font-size:.6rem}.benchmark-points{grid-template-columns:repeat(20,3px);gap:5px;margin-top:1rem;display:grid}.benchmark-points i{background:var(--line-strong);width:3px;height:3px}.benchmark-points .benchmark-point-accent{background:var(--accent)}.two-do-art .website-preview{border:0}.two-do-art .preview-viewport{aspect-ratio:1.8}@media (width<=1050px){.home-hero{padding:3.5rem 0}.home-section{grid-template-columns:190px minmax(0,1fr);gap:2rem}}@media (width<=680px){.home-hero{grid-template-rows:auto;grid-template-columns:minmax(0,1fr);gap:0;padding:3.5rem 0 2.5rem}.hero-title h1{font-size:clamp(2.1rem,10.4vw,4.3rem)}.hero-introduction{align-items:start;gap:1rem;margin:1.8rem 0 2rem}.hero-portrait{width:56px;height:70px}.hero-statement{font-size:.85rem}.home-geometry{grid-area:auto/1;justify-self:center;width:min(100%,320px)}.geometry-stage{aspect-ratio:1.2}.home-section{grid-template-columns:minmax(0,1fr);gap:1.5rem;padding-top:3rem}.home-section-title{align-items:baseline;gap:.9rem;padding-top:0;display:flex}.home-section-title h2{margin:0;font-size:1.75rem}.home-section-title>p{display:none}.home-recent-list{gap:0 1.5rem}.home-reasoning{padding-top:3rem}.reasoning-heading{display:block}.reasoning-heading>p{max-width:48ch;margin-top:1.1rem;font-size:.73rem}.reasoning-toolbar{flex-wrap:wrap;gap:.5rem;padding:.65rem 1rem}.reasoning-views{margin-left:auto}.reasoning-views span{padding-inline:.6rem}.reasoning-body{grid-template-columns:1fr}.reasoning-inputs{border-right:0;border-bottom:1px solid var(--line);padding:1.2rem}.reasoning-assumptions{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.reasoning-assumptions legend{margin-bottom:.8rem}.reasoning-assumption{gap:.65rem;min-height:64px}.reasoning-assumption strong{font-size:.8rem}.reasoning-instruction{max-width:none;margin:.75rem 0 .1rem}.reasoning-reset{margin-top:.3rem}.reasoning-stage{min-height:300px}.reasoning-panel{padding:1.2rem .5rem}.reasoning-diagram{min-height:190px}.reasoning-node-label{letter-spacing:.5px;font-size:18px}.reasoning-node-math{font-size:40px}.reasoning-panel-caption{padding-inline:.7rem;font-size:.7rem}.reasoning-lean{padding:1.5rem 1.2rem}.reasoning-lean .reasoning-panel-caption{padding-inline:0}.reasoning-result{grid-template-columns:24px 1fr;gap:.5rem;min-height:156px;padding:1.2rem}.reasoning-footnote{font-size:.61rem}.home-featured,.home-recent{padding-top:3rem}.featured-work-list{grid-template-columns:1fr;gap:2rem}.featured-work-art{aspect-ratio:2;max-height:230px}.featured-work-entry h3{font-size:1.3rem}.benchmark-art>span{font-size:4rem}.home-recent-list{grid-template-columns:1fr}.home-recent-list a{padding-bottom:1.5rem}}@media (width<=440px){.reasoning-context{width:100%}.reasoning-views{width:100%;margin:0}.reasoning-views label{flex:1}.reasoning-node-label{font-size:24px}}@media (prefers-reduced-motion:reduce){.home-hero *,.home-section *,.home-reasoning *,.home-featured *,.home-recent *{transition:none}.featured-work-entry:hover .featured-work-art,.featured-work-entry:focus-visible .featured-work-art,.featured-work-entry:hover h3>span{transform:none}}.home-hero{grid-template-rows:auto auto auto;min-height:470px;padding:3.4rem 0 0;position:relative}.hero-title{align-self:center}.hero-title h1{padding-block:.08em .15em;overflow:hidden}.hero-introduction{align-items:center;margin-top:2rem;padding-bottom:1.4rem}.hero-portrait{border-radius:2px;width:78px;height:98px}.hero-name{margin-bottom:.4rem;font-size:1.08rem;font-weight:550}.hero-affiliation{color:var(--muted);margin:0;font-size:.75rem;line-height:1.7}.hero-statement{max-width:53ch;margin-top:.65rem;font-size:.79rem;line-height:1.8}.hero-current{border-top:1px solid var(--line);grid-column:1/-1;grid-template-columns:auto minmax(0,1fr) auto;align-items:center;gap:1.6rem;width:100%;min-height:68px;margin-top:1.5rem;display:grid}.hero-current>span:first-child{color:var(--faint);font-size:.63rem}.hero-current p{color:var(--text);margin:0;font-size:.8rem;line-height:1.6}.hero-current .hero-current-mark{color:var(--accent);font-size:.6rem}.home-geometry{width:min(100%,340px);position:relative}.geometry-stage{isolation:isolate;background:radial-gradient(ellipse at 50% 46%, color-mix(in srgb, var(--accent) 5%, transparent), transparent 68%)}.geometry-construction{pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.geometry-grid{fill:none;stroke:var(--line);stroke-dasharray:1.5 5;stroke-width:1px}.geometry-guide{fill:none;stroke:var(--accent);stroke-width:.8px;opacity:.32}.geometry-notation{fill:var(--faint);font:17px Cambria Math,Georgia,serif}.geometry-point{fill:var(--accent);opacity:.6}.geometry-brand{z-index:1}.geometry-brand-tilt{width:74%}.geometry-brand-light{background:linear-gradient(115deg, transparent 36%, var(--accent) 48%, var(--accent) 51%, transparent 64%);opacity:.9;background-size:360% 100%;animation:8s cubic-bezier(.3,0,.2,1) infinite paused geometry-ink-pass}.home-geometry[data-playing=true][data-visible=true] .geometry-brand-light{animation-play-state:running}.home-geometry figcaption{border-top:0;margin-top:-.3rem;padding-top:0}.geometry-corner{opacity:.3}.featured-work-entry{perspective:900px}.featured-work-art{transform:perspective(900px) rotateX(var(--art-rx,0deg)) rotateY(var(--art-ry,0deg));transition:transform .6s cubic-bezier(.2,.75,.2,1),border-color .3s}.featured-work-art:after{content:"";z-index:2;pointer-events:none;opacity:0;background:radial-gradient(ellipse at var(--art-x,50%) var(--art-y,50%), color-mix(in srgb, var(--accent) 7%, transparent), transparent 70%);transition:opacity .4s;position:absolute;inset:0}.featured-work-entry:hover .featured-work-art:after{opacity:1}.featured-work-description{max-width:45ch;color:var(--muted);margin:.2rem 0 0;font-size:.72rem;line-height:1.8}.home-featured{padding-top:4.5rem}.home-recent{padding-top:4rem}.home-recent-list h3{font-size:1rem}body[data-page=home]{transition:background-color .35s,color .35s}@media (hover:hover) and (pointer:fine){.featured-work-entry:hover .featured-work-art{transform:perspective(900px) translateY(-4px) rotateX(var(--art-rx,0deg)) rotateY(var(--art-ry,0deg))}}@keyframes geometry-ink-pass{0%,12%{background-position:140%}62%,to{background-position:-40%}}@media (width<=680px){.home-hero{grid-template-rows:auto;min-height:0;padding-top:2.6rem}.hero-introduction{align-items:start;margin:1.4rem 0 .4rem;padding-bottom:0}.hero-portrait{width:60px;height:77px}.hero-name{font-size:1rem}.hero-affiliation{font-size:.73rem}.hero-statement{max-width:44ch;font-size:.78rem}.home-geometry{width:min(100%,280px);margin-top:1rem}.geometry-stage{aspect-ratio:1.3}.geometry-notation{font-size:21px}.hero-current{grid-template-columns:1fr auto;gap:.4rem 1rem;margin-top:.3rem;padding-block:1.1rem}.hero-current>span:first-child{grid-area:1/1}.hero-current p{grid-area:2/1/auto/-1;font-size:.76rem}.hero-current-mark{grid-area:1/2}.home-featured,.home-recent{padding-top:3rem}.featured-work-description{max-width:52ch;font-size:.78rem}}[data-home-motion=off] .home-hero *,[data-home-motion=off] .home-research *,[data-home-motion=off] .home-research :before,[data-home-motion=off] .home-research :after,[data-home-motion=off] .home-featured *,[data-home-motion=off] .home-featured :after{transition:none!important}[data-home-motion=off] .featured-work-entry:hover .featured-work-art{transform:none}@media (prefers-reduced-motion:reduce){.geometry-brand-light{opacity:0;animation:none}.featured-work-art,.featured-work-entry:hover .featured-work-art{transform:none}body[data-page=home]{transition:none}}