:root{--ink:#111310;--paper:#f3f1e9;--acid:#d8ff3e;--muted:#696b64;--line:#c9c8bf;--dark:#161915;--olive:#566040;--card:#f8f7f1}*,:after,:before{box-sizing:border-box}html{scroll-behavior:smooth}body,html{width:100%;overflow-x:hidden}body{margin:0;background:var(--paper);color:var(--ink);font-family:Arial,Helvetica,sans-serif;-webkit-font-smoothing:antialiased}img{display:block;max-width:100%}a{color:inherit}button,input,textarea{font:inherit}.shell{width:calc(100% - 32px);max-width:1180px;margin-inline:auto}.nav{min-height:72px;display:flex;align-items:center;justify-content:space-between;gap:20px;border-bottom:1px solid var(--line)}.brand{flex:0 0 auto;color:inherit;text-decoration:none;font-size:26px;font-weight:900;letter-spacing:-2px}.brand span{color:#759600}.navlinks{display:flex;align-items:center;gap:10px}.navlinks a:not(.nav-cv){display:none}.footer-links a,.navlinks a,.text-link{color:inherit;text-decoration:none;font-size:12px;font-weight:700}.nav-cv{display:inline-flex;align-items:center;justify-content:center;min-height:40px;padding:9px 12px;border:1px solid var(--ink);white-space:nowrap}.evidence-hero,.hero{display:flex;flex-direction:column;min-height:auto;gap:32px;padding:52px 0 42px}.kicker{margin:0 0 18px;color:var(--olive);font-size:10px;font-weight:800;letter-spacing:.18em;text-transform:uppercase}.evidence-hero h1,.hero h1{max-width:100%;margin:0;font-size:clamp(52px,16vw,76px);line-height:.84;letter-spacing:-.065em}.evidence-hero h1 em,.hero h1 em{font-family:Georgia,Times New Roman,serif;font-weight:400}.lede{max-width:680px;margin:28px 0 0;color:#4f514c;font-size:16px;line-height:1.55}.actions{display:grid;grid-template-columns:1fr 1fr;grid-gap:10px;gap:10px;margin-top:28px}.button{min-height:50px;padding:13px 14px;display:flex;align-items:center;justify-content:center;border:1px solid var(--ink);color:inherit;text-decoration:none;text-align:center;font-size:12px;font-weight:700}.actions .button:first-child{grid-column:1/-1}.primary{background:var(--ink);color:white}.portrait-card{width:100%;max-width:none;align-self:stretch}.portrait-visual{position:relative;width:100%;aspect-ratio:4/3;overflow:hidden;background:#252a23}.portrait-image{width:100%;height:100%;object-fit:cover;object-position:center 24%;filter:saturate(.82) contrast(1.04)}.portrait-overlay{position:absolute;inset:0;z-index:1;pointer-events:none;background:linear-gradient(0deg,rgba(20,26,18,.94) 0,rgba(28,36,24,.67) 17%,rgba(38,47,32,.27) 36%,rgba(38,47,32,.06) 55%,transparent 70%)}.portrait-info{position:absolute;z-index:2;left:18px;right:18px;bottom:17px;display:flex;align-items:flex-end;justify-content:space-between;gap:15px;color:#fff}.portrait-info b{font-size:13px}.portrait-info span{font-size:10px;opacity:.78;text-align:right}.portrait-placeholder{aspect-ratio:4/3;position:relative;display:grid;place-items:center;overflow:hidden;border:1px solid #353b32;background:#1c211a}.portrait-placeholder span{color:var(--acid);font:70px/1 Georgia,serif;letter-spacing:-.08em}.portrait-placeholder small{position:absolute;left:18px;bottom:18px;color:#9da394;font:9px/1.5 monospace;text-transform:uppercase;letter-spacing:.08em}.signal-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);background:#ebe9df}.signal-grid{display:grid;grid-template-columns:1fr}.signal-grid>div{min-width:0;padding:18px 16px;display:grid;grid-template-columns:28px minmax(0,1fr);grid-gap:4px 8px;gap:4px 8px;border-bottom:1px solid var(--line)}.signal-grid>div:last-child{border-bottom:0}.signal-grid>div>span{grid-row:1/3;color:var(--muted);font:9px monospace}.signal-grid b{font-size:13px}.signal-grid small{color:var(--muted);font-size:10px;line-height:1.4}.section{padding:72px 0}.section-head{max-width:720px;margin-bottom:38px}.contact h2,.math-section h2,.section h2{margin:0;font-size:clamp(40px,12vw,70px);line-height:.98;letter-spacing:-.05em}.project-grid{display:grid;grid-template-columns:1fr;grid-gap:22px;gap:22px}.project{min-width:0;border:1px solid var(--line);background:var(--card)}.project-visual{position:relative;height:240px;display:grid;place-items:center;overflow:hidden;background:#20251e;color:var(--acid)}.project-visual strong{position:relative;z-index:2;font-family:Georgia,serif;font-size:clamp(65px,22vw,100px);font-weight:400}.project-number{position:absolute;top:18px;left:18px;font-family:monospace;font-size:11px}.gridlines{position:absolute;inset:0;background-image:linear-gradient(#ffffff10 1px,transparent 0),linear-gradient(90deg,#ffffff10 1px,transparent 0);background-size:34px 34px}.project-body{padding:24px 20px}.project-body h3{margin:0;font-size:clamp(30px,9vw,38px);letter-spacing:-.04em}.project-body h4,.timeline h4{margin:4px 0 18px;font-family:Georgia,serif;font-size:17px;font-style:italic;font-weight:400}.about p,.muted,.project-body>p:not(.kicker),.timeline p{color:var(--muted);line-height:1.65}.tags{margin:22px 0;display:flex;flex-wrap:wrap;gap:7px}.tags span{padding:7px 9px;border:1px solid var(--line);font-size:10px}.work-v2{padding-top:78px}.case-study{display:grid;grid-template-columns:1fr;grid-gap:26px;gap:26px;padding:25px 0 65px;border-top:1px solid var(--ink)}.case-index{padding-top:3px;color:var(--muted);font:10px monospace;letter-spacing:.08em}.case-main h3{margin:0 0 18px;font-size:clamp(42px,13vw,76px);line-height:.95;letter-spacing:-.055em}.case-lede{max-width:620px;margin:0;color:#343630;font:19px/1.45 Georgia,serif}.case-links{display:flex;flex-wrap:wrap;gap:18px;margin-top:25px}.case-links a{padding-bottom:3px;border-bottom:1px solid var(--ink);color:inherit;text-decoration:none;font-size:11px;font-weight:800}.case-proof{min-width:0;min-height:270px;padding:24px 18px;display:grid;place-items:center;overflow:hidden;background:#1c211a}.proof-window{position:relative;width:calc(100% - 12px);max-width:390px;padding:30px 20px;display:flex;flex-direction:column;background:#f5f3eb;box-shadow:8px 8px 0 var(--acid);font:12px/1.8 monospace;overflow-wrap:anywhere}.proof-window .valid{margin:4px -8px 0;padding:0 8px;background:#e4f7a1}.proof-window b{position:absolute;top:10px;right:15px;font:27px Georgia,serif}.case-notes,.case-notes.two{display:grid;grid-template-columns:1fr;grid-gap:24px;gap:24px;padding-top:25px;border-top:1px solid var(--line)}.case-notes p:not(.kicker){margin:0;color:var(--muted);font-size:13px;line-height:1.65}.flow{width:100%;padding:15px;display:flex;align-items:center;gap:12px;overflow-x:auto;border:1px solid var(--line);font:10px monospace;white-space:nowrap;-webkit-overflow-scrolling:touch}.flow i{flex:0 0 auto;color:#7c8e36;font-style:normal}.compact-case,.professional-case{padding-top:35px}.geo-diagram{min-height:220px;padding:20px 8px;display:flex;align-items:center;justify-content:center;gap:5px;overflow:hidden;background-image:linear-gradient(#0000000b 1px,transparent 0),linear-gradient(90deg,#0000000b 1px,transparent 0);background-size:25px 25px}.geo-diagram div{width:70px;height:70px;flex:0 0 auto;display:grid;place-items:center;border:1px solid var(--ink);border-radius:50%;text-align:center;font:700 9px/1.25 Arial}.geo-diagram small{color:var(--muted);font-size:8px;font-weight:400}.geo-diagram .geo-hit{background:var(--acid)}.stream-diagram{position:relative;min-height:260px;padding:25px 20px;display:flex;flex-direction:column;justify-content:center;gap:14px;overflow:hidden;background:#1c211a;color:#f4f1e8}.stream-diagram>div{padding:12px;display:flex;justify-content:space-between;gap:15px;border:1px solid #555d50;font:10px monospace}.stream-diagram strong{position:static;margin-top:5px;color:var(--acid);font:36px Georgia,serif}.stream-diagram small{color:#aeb4a8;font:9px monospace}.split{display:grid;grid-template-columns:1fr;grid-gap:40px;gap:40px}.sticky{position:static}.timeline article{display:grid;grid-template-columns:1fr;grid-gap:8px;gap:8px;padding:24px 0;border-top:1px solid var(--line)}.timeline time{color:var(--muted);font:11px monospace}.timeline h3{margin:0;font-size:22px}.timeline h4{margin:3px 0 8px}.timeline p{margin:0}.other-work{padding:65px 0;background:var(--dark);color:#f3f1e9}.other-grid{display:grid;grid-template-columns:1fr;border-top:1px solid #4e534a}.other-grid div{padding:22px 0;border-bottom:1px solid #4e534a}.other-grid b{display:block;margin-bottom:10px;font-size:17px}.other-grid span{color:#aeb2a8;font-size:12px;line-height:1.6}.math-section{padding:75px 0;background:var(--dark);color:#f3f1e9}.math-grid{display:grid;grid-template-columns:1fr;grid-gap:45px;gap:45px}.light{color:var(--acid)}.math-cards{display:grid;grid-template-columns:1fr}.math-cards div{padding:24px 0;border-top:1px solid #55594f}.math-cards strong{display:block;margin-bottom:7px;font-size:21px}.math-cards span{color:#afb2a9;font-size:12px;line-height:1.5}.background-section{padding:75px 0;background:var(--dark);color:#f3f1e9}.background-grid{display:grid;grid-template-columns:1fr;grid-gap:45px;gap:45px}.background-grid h2{margin:0 0 25px;font-size:clamp(42px,12vw,70px);line-height:.98;letter-spacing:-.05em}.background-grid>div>p:not(.kicker){max-width:560px;color:#afb2a9;line-height:1.7}.education-records{display:grid;grid-gap:24px;gap:24px;margin-top:32px}.education-records article{border-left:2px solid var(--acid);padding-left:18px}.education-label{color:#aeb2a8;font:10px monospace;line-height:1.6;letter-spacing:.04em}.education-records h3{margin:9px 0;font-size:24px;letter-spacing:-.025em}.education-records p{margin:0;color:#e0e2d9;font-size:14px;line-height:1.6}.education-records .education-detail{margin-top:6px;color:#aeb2a8;font-size:12px}.background-list-heading{margin:0 0 20px;font-size:18px;font-weight:500}.background-list>div{display:grid;grid-template-columns:58px minmax(0,1fr);grid-gap:8px;gap:8px;padding:20px 0;border-top:1px solid #4f544b}.background-list span{grid-row:1/3;color:#aeb2a8;font:9px monospace}.background-list b{font-size:16px}.background-list .research-paper{display:block;margin-top:12px;font:inherit}.background-list .research-links{display:flex;flex-wrap:wrap;gap:10px 18px;margin-top:8px;font:inherit}.research-links a{color:var(--acid);text-underline-offset:4px}.background-list p{margin:5px 0 0;color:#aeb2a8;font-size:12px;line-height:1.5}.about{display:grid;grid-template-columns:1fr;grid-gap:30px;gap:30px}.about>div{max-width:780px}.about p{font-size:16px}.codelaunch{padding:70px 0;border-top:1px solid #4e534a;background:#252a23;color:#f3f1e9}.codelaunch-grid{display:grid;grid-template-columns:1fr;grid-gap:30px;gap:30px}.codelaunch h2{margin:0;font-size:clamp(42px,12vw,70px);line-height:.95;letter-spacing:-.05em}.codelaunch-grid>div:last-child>p:first-child{margin:0;font:18px/1.55 Georgia,serif}.fineprint{max-width:520px;margin-top:25px;color:#9da394;font-size:10px;line-height:1.6}.contact{padding:75px 0 40px;border-top:1px solid var(--line)}.mail{display:inline-block;max-width:100%;margin:25px 0 60px;border-bottom:2px solid var(--ink);color:inherit;text-decoration:none;font-size:clamp(20px,6vw,54px);letter-spacing:-.04em;overflow-wrap:anywhere}.footer-links{display:flex;flex-wrap:wrap;gap:18px;padding-top:22px;border-top:1px solid var(--line);font-size:12px}.footer-links span{width:100%;margin-left:0}.text-link{display:inline-block;margin-top:20px;padding-bottom:3px;border-bottom:1px solid}@media (min-width:600px){.shell{width:calc(100% - 48px)}.evidence-hero,.hero{padding:65px 0 55px}.evidence-hero h1,.hero h1{font-size:clamp(68px,11vw,94px)}.lede{font-size:18px}.portrait-card{max-width:520px}.portrait-visual{aspect-ratio:4/3.4}.signal-grid{grid-template-columns:1fr 1fr}.signal-grid>div{border-right:1px solid var(--line)}.signal-grid>div:nth-child(odd){border-left:1px solid var(--line)}.project-body{padding:28px}.case-notes{grid-template-columns:repeat(2,1fr)}.case-notes.two,.other-grid{grid-template-columns:1fr 1fr}.other-grid div{padding:24px 20px;border-right:1px solid #4e534a}.math-cards{grid-template-columns:1fr 1fr}.math-cards div{padding:26px 20px}.timeline article{grid-template-columns:100px minmax(0,1fr);gap:20px}.footer-links span{width:auto;margin-left:auto}}@media (min-width:900px){.nav{min-height:86px}.navlinks{gap:28px}.navlinks a:not(.nav-cv){display:inline-flex}.footer-links a,.navlinks a,.text-link{font-size:13px}.evidence-hero,.hero{min-height:660px;display:grid;grid-template-columns:minmax(0,1.25fr) minmax(320px,.75fr);grid-gap:clamp(48px,7vw,110px);gap:clamp(48px,7vw,110px);align-items:center;padding:55px 0}.evidence-hero h1,.hero h1{font-size:clamp(60px,7.3vw,108px)}.lede{margin:34px 0 0;font-size:19px;line-height:1.6}.actions{display:flex;flex-wrap:wrap;margin-top:32px}.actions .button:first-child{grid-column:auto}.button{min-height:auto;padding:14px 18px}.portrait-card{width:min(100%,470px);max-width:470px;justify-self:end;align-self:center}.portrait-visual{aspect-ratio:4/4.5}.portrait-image{object-position:center 20%}.portrait-info{left:28px;right:28px;bottom:24px}.portrait-info b{font-size:.95rem}.portrait-info span{font-size:.8rem}.signal-grid{grid-template-columns:repeat(4,1fr)}.signal-grid>div{padding:22px 18px;border-bottom:0;border-right:1px solid var(--line)}.signal-grid>div:nth-child(odd){border-left:0}.signal-grid>div:first-child{border-left:1px solid var(--line)}.section{padding:110px 0}.section-head{margin-bottom:52px}.project-grid{grid-template-columns:1fr 1fr}.project-visual{height:310px}.project-body{padding:32px}.work-v2{padding-top:125px}.case-study{grid-template-columns:150px minmax(0,1fr) minmax(0,1fr);gap:32px;padding:30px 0 90px}.case-main{grid-column:2}.case-proof{grid-column:3;min-height:310px;padding:30px}.case-notes{grid-column:2/4;grid-template-columns:repeat(3,1fr);gap:34px;padding-top:30px}.case-notes.two{grid-template-columns:1fr 1fr}.flow{grid-column:2/4;justify-content:space-between;padding:17px 20px;font-size:11px;overflow:visible}.proof-window{padding:35px 30px;font-size:14px;line-height:2;box-shadow:12px 12px 0 var(--acid)}.geo-diagram{min-height:250px;gap:12px}.geo-diagram div{width:105px;height:105px;font-size:12px}.geo-diagram small{font-size:inherit}.stream-diagram{min-height:300px;padding:38px;gap:18px}.stream-diagram>div{padding:14px;font-size:11px}.stream-diagram strong{position:absolute;right:35px;bottom:45px;font-size:52px}.split{grid-template-columns:.7fr 1.3fr;gap:100px}.sticky{position:-webkit-sticky;position:sticky;top:40px;align-self:start}.timeline article{grid-template-columns:120px 1fr}.timeline h3{font-size:25px}.other-work{padding:80px 0}.other-grid{grid-template-columns:repeat(4,1fr)}.other-grid div{padding:25px 22px;border-bottom:0}.math-section{padding:110px 0}.math-grid{grid-template-columns:1fr 1fr;gap:100px}.background-section{padding:110px 0}.background-grid{grid-template-columns:.9fr 1.1fr;gap:100px}.background-list>div{grid-template-columns:90px 1fr;padding:22px 0}.background-list span{font-size:10px}.background-list b{font-size:18px}.background-list p{font-size:13px}.about{grid-template-columns:.4fr 1fr;gap:60px}.about p{font-size:17px}.codelaunch{padding:85px 0}.codelaunch-grid{grid-template-columns:1fr 1fr;gap:90px}.codelaunch-grid>div:last-child>p:first-child{font-size:20px;line-height:1.6}.contact{padding:110px 0 55px}.mail{margin:30px 0 80px}}@media (min-width:1200px){.evidence-hero,.hero{grid-template-columns:minmax(0,1.3fr) minmax(360px,.7fr)}}@media (max-width:370px){.shell{width:calc(100% - 24px)}.brand{font-size:24px}.nav-cv{padding:8px 9px;font-size:10px!important}.evidence-hero h1,.hero h1{font-size:48px}.lede{font-size:15px}.actions{grid-template-columns:1fr}.actions .button:first-child{grid-column:auto}.portrait-info{left:14px;right:14px;bottom:14px}.portrait-info b{font-size:11px}.portrait-info span{font-size:9px}}:target{scroll-margin-top:24px}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,textarea:focus-visible{outline:3px solid #789600;outline-offset:4px}.lab-grid{display:grid;grid-template-columns:minmax(0,1fr);grid-gap:22px;gap:22px}.lab-panel{min-width:0;padding:clamp(22px,4vw,38px);background:var(--card);border:1px solid var(--line)}.lab-panel h3{font-size:29px;letter-spacing:-.035em;margin:0 0 20px}.lab-panel li,.lab-panel p{line-height:1.7;color:#51554b}.lab-panel li+li{margin-top:12px}.lab-panel pre{overflow-x:auto;background:var(--dark);color:var(--acid);padding:22px;font-size:12px;line-height:1.8}.contact-form label,.lab-panel label{display:block;font-size:12px;font-weight:700;margin-bottom:10px}.lab-panel select{padding:10px;background:var(--paper);border:1px solid var(--line)}.search-array{display:grid;grid-template-columns:repeat(6,1fr);grid-gap:5px;gap:5px;margin:24px 0}.search-array span{padding:12px 3px;text-align:center;font-family:monospace;border:1px solid var(--line)}.search-array .candidate{background:var(--acid);border:2px solid var(--ink);font-weight:700}.search-array .discarded{opacity:.35;text-decoration:line-through}.lab-status{min-height:54px}button.button{cursor:pointer}button:disabled{opacity:.45;cursor:default}details{padding:18px 0;border-top:1px solid var(--line)}summary{cursor:pointer;font-weight:700;font-size:14px;line-height:1.6}.fine-note{font-size:12px;color:var(--muted);line-height:1.6}.certificate-filters{display:flex;flex-wrap:wrap;gap:10px;margin-bottom:24px}.certificate-filters [aria-pressed=true]{background:var(--acid)}.contact-form{display:grid;grid-template-columns:minmax(0,1fr);grid-gap:22px;gap:22px;max-width:800px;margin:-20px 0 60px}.contact-form input,.contact-form textarea{width:100%;padding:14px;border:1px solid var(--line);border-radius:0;background:var(--card);color:var(--ink)}.contact-form textarea{resize:vertical}.contact-form .button{justify-self:start}.project-detail h1{font-size:clamp(56px,12vw,110px);letter-spacing:-.06em;margin:0 0 25px}.project-detail .section{max-width:900px}.project-detail .button{display:inline-flex;text-decoration:none}@media (min-width:750px){.contact-form,.lab-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.contact-form>p,.message-field{grid-column:1/-1}}@media (max-width:899px){.nav{align-items:flex-start;padding-block:18px}.navlinks{justify-content:flex-end;flex-wrap:wrap;gap:14px}.navlinks a[href="#contact"],.navlinks a[href="#work"]{display:inline-flex;padding-block:10px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}.certificate-section{padding-block:44px;border-bottom:1px solid var(--line)}.certificate-heading{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:8px 20px;margin-bottom:18px}.certificate-heading h2{margin:0;font-size:22px;letter-spacing:-.035em}.certificate-section .certificate-filters{gap:7px;margin-bottom:16px}.certificate-filter{background:transparent;border:1px solid var(--line);padding:5px 10px;font-size:11px;cursor:pointer}.certificate-banners{display:grid;grid-template-columns:minmax(0,1fr);grid-gap:10px;gap:10px}.certificate-banner{display:flex;align-items:center;gap:12px;min-width:0;padding:15px;border:1px solid var(--line);border-left:3px solid var(--olive);background:var(--card);text-decoration:none;transition:border-color .15s}.certificate-banner:hover{border-color:var(--olive)}.certificate-mark{flex-shrink:0;font-size:26px;color:var(--olive)}.certificate-info{display:grid;grid-gap:6px;gap:6px;min-width:0}.certificate-meta{color:var(--muted);font-size:10px;line-height:1.4}.certificate-info strong{font-size:13px;line-height:1.5}.certificate-arrow{margin-left:auto;color:var(--muted)}@media (min-width:750px){.certificate-banners{grid-template-columns:repeat(3,minmax(0,1fr))}}@media (prefers-reduced-motion:reduce){.certificate-banner{transition:none}}.credential-item{min-width:0}.credential-intro{max-width:680px;color:var(--muted);font-size:14px;line-height:1.7}.credential-summary{margin:18px 0 26px;color:var(--olive);font-size:12px;line-height:1.7}.certificate-banners{margin-bottom:24px}.credential-item>.certificate-banner{min-height:104px}.credential-courses{padding:8px 12px;border:1px solid var(--line);border-top:0}.credential-courses summary{font-size:11px;font-weight:400;color:var(--muted)}.credential-courses ul{margin:10px 0;padding-left:18px;font-size:12px;color:var(--muted);line-height:1.8}.certificate-toggle{background:transparent;border:0;border-bottom:1px solid;padding:0 0 4px;cursor:pointer}button.certificate-banner{width:100%;text-align:left;color:var(--ink);cursor:pointer}.credential-controls{display:flex;flex-wrap:wrap;gap:14px;margin-bottom:20px}.credential-controls label{display:grid;grid-gap:7px;gap:7px;font-size:11px;color:var(--muted)}.credential-controls label:first-child{flex:1 1 240px}.credential-controls input,.credential-controls select{min-width:0;padding:10px;border:1px solid var(--line);background:var(--card);color:var(--ink);border-radius:0}.credential-footer{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:18px}.credential-pagination{display:flex;align-items:center;gap:14px;margin-top:16px}.credential-close,.credential-pagination button{background:transparent;border:1px solid var(--line);color:var(--ink);padding:8px 12px;cursor:pointer}.credential-dialog{width:min(880px,calc(100% - 32px));max-height:90dvh;padding:clamp(20px,4vw,36px);border:1px solid var(--line);background:var(--paper);color:var(--ink)}.credential-dialog::-webkit-backdrop{background:#111310b3;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.credential-dialog::backdrop{background:#111310b3;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.credential-dialog header{display:flex;align-items:flex-start;justify-content:space-between;gap:24px;padding-bottom:20px;border-bottom:1px solid var(--line);margin-bottom:20px}.credential-dialog h3{font-size:clamp(22px,4vw,32px);letter-spacing:-.035em;margin:0}.credential-dialog li{font-size:14px;line-height:1.8}.credential-document{display:block;width:100%;height:60dvh}body:has(.credential-dialog[open]){overflow:hidden}:root{color-scheme:light}:root[data-theme=dark]{color-scheme:dark;--ink:#eeeee6;--paper:#111410;--muted:#afb5a7;--line:#3d4537;--dark:#191e16;--olive:#bad27c;--card:#1c2219}.theme-toggle{position:relative;display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;width:68px;min-height:44px;padding:0;border:0;background:transparent;color:var(--ink);font-size:11px;cursor:pointer}.theme-toggle:before{content:"";position:absolute;inset:6px 0;border:1px solid var(--line);border-radius:20px;background:var(--card)}.theme-toggle:hover:before{border-color:var(--olive)}.theme-toggle:focus-visible{outline:2px solid var(--olive);outline-offset:4px}.theme-toggle svg{position:absolute;z-index:1;width:15px;height:15px;pointer-events:none}.theme-sun{left:10px;color:#111310}.theme-moon{right:10px;color:var(--muted)}.theme-thumb{position:absolute;left:4px;width:26px;height:26px;border-radius:50%;background:var(--acid);transition:transform .2s ease}[data-theme=dark] .theme-thumb{transform:translateX(34px)}[data-theme=dark] .theme-sun{color:var(--muted)}[data-theme=dark] .theme-moon{color:#111310}@media (prefers-reduced-motion:reduce){.theme-thumb{transition:none}}[data-theme=dark] .case-lede,[data-theme=dark] .lab-panel li,[data-theme=dark] .lab-panel p,[data-theme=dark] .lede{color:var(--muted)}[data-theme=dark] .signal-strip{background:#1a2016}[data-theme=dark] .primary{background:var(--acid);color:#111310;border-color:var(--acid)}[data-theme=dark] .proof-window{background:var(--card)}[data-theme=dark] .proof-window .valid{background:#34451d}[data-theme=dark] .geo-diagram .geo-hit{color:#111310}[data-theme=dark] .brand span{color:var(--acid)}.contact-trap{position:absolute;width:1px;height:1px;overflow:hidden;-webkit-clip-path:inset(50%);clip-path:inset(50%)}.contact-form button:disabled{opacity:.65;cursor:wait}.project-preview{margin:0;min-width:0;background:var(--card);border:1px solid var(--line)}.preview-media{position:relative;height:clamp(300px,50vw,450px);overflow:hidden;background:#1c211a}.project-preview video{position:absolute;inset:0;display:block;width:100%;height:100%;object-fit:contain;visibility:hidden}.project-preview video.preview-ready{visibility:visible}.preview-media:after{content:"";position:absolute;inset:0;pointer-events:none;background:linear-gradient(180deg,#1c211a08 45%,#1c211a80),linear-gradient(90deg,#1c211a65,transparent 18%,transparent 82%,#1c211a65);box-shadow:inset 0 0 45px #1c211a50}.preview-fallback,.preview-fallback>div{height:100%}.preview-fallback[hidden]{display:none}.project-preview figcaption{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:12px;padding:12px 16px;color:var(--muted);font-size:11px;border-top:1px solid var(--line)}.project-preview button{min-height:44px;padding:8px 12px;background:transparent;border:1px solid var(--line);color:var(--ink);cursor:pointer}.project-preview button:focus-visible{outline:2px solid var(--olive);outline-offset:3px}.footer-links .codewars-profile{color:var(--muted);font-weight:400;line-height:1.6}.link-arrow{display:inline-block;width:1.15em;height:1.15em;flex-shrink:0;-webkit-margin-start:.35em;margin-inline-start:.35em;vertical-align:-.16em;transition:transform .18s ease;--arrow-x:2px;--arrow-y:-2px}.link-arrow[data-direction=right]{--arrow-x:3px;--arrow-y:0px}.link-arrow[data-direction=down]{--arrow-x:0px;--arrow-y:3px}.link-arrow[data-direction=up]{--arrow-x:0px;--arrow-y:-3px}.link-arrow[data-direction=left]{margin-inline:0 .35em;--arrow-x:-3px;--arrow-y:0px}:where(a,button):is(:hover,:focus-visible):not(:disabled) .link-arrow{transform:translate(var(--arrow-x),var(--arrow-y))}.credential-pagination .link-arrow{margin:0}@media (prefers-reduced-motion:reduce){.link-arrow{transition:none}:where(a,button):is(:hover,:focus-visible):not(:disabled) .link-arrow{transform:none}}.hero-stage{position:relative;isolation:isolate;overflow:hidden}.hero-stage .hero,.hero-stage .hero-copy,.hero-stage .portrait-card{position:relative;z-index:1}.particle-wave{position:absolute;inset:auto 0 0;height:clamp(180px,20vw,260px);--particle-color:#46552c;--particle-opacity:.64;--particle-mobile-opacity:.48}[data-theme=dark] .particle-wave{--particle-color:#bad768;--particle-opacity:.32;--particle-mobile-opacity:.22}.particle-wave canvas{display:block;width:100%;height:100%;opacity:var(--particle-opacity);-webkit-mask-image:linear-gradient(transparent,#000 22%,#000 75%,transparent);mask-image:linear-gradient(transparent,#000 22%,#000 75%,transparent);pointer-events:none}.particle-toggle{position:absolute;bottom:2px;right:max(16px,calc((100% - 1180px) / 2));display:inline-flex;align-items:center;min-height:44px;padding:8px 10px;border:0;background:transparent;color:var(--muted);font-size:10px;letter-spacing:.04em;z-index:2;cursor:pointer}.hero-stage .particle-wave{pointer-events:none}.particle-toggle{pointer-events:auto}.particle-toggle:hover{color:var(--olive);border-color:var(--olive)}.button,.certificate-banner,.certificate-filter,.credential-pagination button,.nav-cv,.particle-toggle,.project-preview button,.theme-toggle{transition:transform .18s ease,border-color .18s ease,box-shadow .18s ease,background-color .18s ease,color .18s ease}.portrait-visual{border-radius:14px}.project-preview{overflow:hidden}.contact-form input,.contact-form textarea,.credential-controls input,.credential-controls select{transition:border-color .18s ease,box-shadow .18s ease}.contact-form input:focus,.contact-form textarea:focus,.credential-controls input:focus,.credential-controls select:focus{border-color:var(--olive);box-shadow:0 0 0 3px color-mix(in srgb,var(--olive) 14%,transparent)}:where(.button,.certificate-banner,.certificate-filter,.credential-pagination button,.project-preview button,.theme-toggle,.particle-toggle):not(:disabled):active{transform:translateY(1px) scale(.995)}:where(a,button,summary,input,textarea,select):focus-visible{outline:2px solid var(--olive);outline-offset:4px}@media (hover:hover) and (pointer:fine){.button:not(:disabled):hover,.certificate-banner:hover,.nav-cv:hover{transform:translateY(-1px);border-color:var(--olive)}.certificate-filter:hover,.credential-pagination button:not(:disabled):hover,.project-preview button:hover{border-color:var(--olive);background:color-mix(in srgb,var(--olive) 8%,var(--card))}.case-links a:hover,.footer-links a:hover,.navlinks a:hover,.text-link:hover{color:var(--olive)}}@media (max-width:599px){.particle-wave canvas{opacity:var(--particle-mobile-opacity)}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}.particle-toggle{display:none}.button,.certificate-banner,.certificate-filter,.contact-form input,.contact-form textarea,.credential-controls input,.credential-controls select,.credential-pagination button,.nav-cv,.particle-toggle,.project-preview button,.theme-toggle{transition:none}.button:not(:disabled):hover,.certificate-banner:hover,.nav-cv:hover,:where(.button,.certificate-banner,.certificate-filter,.credential-pagination button,.project-preview button,.theme-toggle):not(:disabled):active{transform:none}}.signal-heading{display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:16px;padding-block:26px 16px}.signal-heading h2{margin:0;font-size:22px;letter-spacing:-.025em}.signal-heading p{margin:8px 0 0;color:var(--muted);font-size:12px;line-height:1.6}.signal-grid b a{text-decoration-thickness:1px;text-underline-offset:4px}.assistant-widget{margin-block:24px}.explain-trigger{box-shadow:0 4px 20px #11131015;border-radius:24px;display:inline-flex;align-items:center;gap:7px;min-height:44px;padding:8px 12px;border:1px solid var(--line);background:var(--card);color:var(--olive);font-size:11px;font-weight:600;cursor:pointer}.explain-trigger span{color:inherit;font:inherit}.explain-trigger:hover{border-color:var(--olive)}.explain-dialog a:focus-visible,.explain-dialog button:focus-visible,.explain-trigger:focus-visible{outline:2px solid var(--olive);outline-offset:3px}.explain-dialog{position:fixed;inset:auto 20px 84px auto;margin:0;width:min(440px,calc(100% - 24px));max-height:min(650px,calc(100dvh - 108px));padding:0;border-radius:12px;border:1px solid var(--line);background:var(--paper);color:var(--ink);overflow:auto}.explain-dialog[open]{display:flex;flex-direction:column}.explain-dialog::-webkit-backdrop{background:#11131035}.explain-dialog::backdrop{background:#11131035}.explain-header{background:var(--card);display:flex;flex-shrink:0;align-items:flex-start;justify-content:space-between;gap:20px;padding:24px;border-bottom:1px solid var(--line)}.explain-dialog .kicker{margin:0 0 10px}.explain-header h2{margin:0;font:600 22px/1.15 Arial,Helvetica,sans-serif;letter-spacing:-.03em;color:var(--ink)}.explain-close{min-width:44px;min-height:44px;border:1px solid var(--line);background:transparent;color:var(--ink);font-size:24px;cursor:pointer}.explain-conversation{min-height:0;padding:24px;overflow-y:auto;overscroll-behavior:contain}.explain-dialog p{margin:0 0 12px;font:14px/1.75 Arial,Helvetica,sans-serif;color:var(--ink)}.explain-dialog .explain-label{margin-bottom:8px;font-size:10px;font-weight:700;text-transform:uppercase;letter-spacing:.07em;color:var(--olive)}.explain-summary{color:var(--ink)}.explain-sources{display:flex;flex-wrap:wrap;gap:10px 16px;margin:20px 0 28px}.explain-dialog .explain-sources a{padding:4px 0;border:0;color:var(--olive);font-size:12px;text-decoration:underline;text-underline-offset:4px}.explain-suggestions{display:flex;flex-wrap:wrap;gap:8px;margin-bottom:20px}.explain-suggestions button{padding:10px 12px;min-height:44px;border:1px solid var(--line);background:var(--card);color:var(--ink);font-size:12px;text-align:left;cursor:pointer}.explain-message{margin-block:14px;padding:14px;border:1px solid var(--line);overflow-wrap:anywhere}.explain-message p:last-child{margin-bottom:0;white-space:pre-wrap}.explain-message-user{background:var(--card)}.explain-dialog .fine-note{color:var(--muted);font-size:11px;line-height:1.6}.explain-error{padding:12px;border:1px solid var(--olive)}.explain-form{flex-shrink:0;padding:18px 24px;border-top:1px solid var(--line);background:var(--paper)}.explain-form label{display:block;margin-bottom:8px;font-size:12px;font-weight:600}.explain-form textarea{display:block;width:100%;min-height:70px;padding:12px;resize:vertical;border:1px solid var(--line);background:var(--card);color:var(--ink);font:14px/1.5 Arial,Helvetica,sans-serif}.explain-form>div{display:flex;align-items:flex-start;justify-content:space-between;gap:18px;margin-top:12px}.explain-form button{min-height:44px;flex-shrink:0;padding:10px 18px;border:1px solid var(--ink);background:var(--ink);color:var(--paper);font-size:12px;cursor:pointer}.explain-dialog button:disabled{opacity:.55;cursor:wait}body:has(.explain-dialog[open]){overflow:hidden}@media (max-width:480px){.explain-conversation,.explain-header{padding:18px}.explain-form{padding:16px 18px}.explain-dialog{inset:auto 12px max(12px,env(safe-area-inset-bottom)) 12px;width:auto;max-height:calc(100dvh - 24px - env(safe-area-inset-bottom))}}.explain-guide{margin-top:20px}.explain-guide .explain-suggestions{flex-direction:column;margin-bottom:0}.explain-guide .explain-suggestions button{display:flex;align-items:center;justify-content:space-between;gap:16px;border-radius:6px;line-height:1.5}.explain-guide .explain-suggestions button:hover:not(:disabled){border-color:var(--olive)}.explain-guide .explain-suggestions button span{flex-shrink:0;color:var(--olive)}.explain-guide .explain-suggestions[hidden]{display:none}.explain-explore{min-height:44px;padding:10px 14px;border:1px solid var(--line);border-radius:6px;background:var(--card);color:var(--olive);font-size:12px;cursor:pointer}.explain-explore:hover:not(:disabled){border-color:var(--olive)}.explain-explore[aria-expanded=true]{margin-bottom:12px}.explain-code{margin-block:16px}.explain-code summary{cursor:pointer;color:var(--olive);font-size:12px;padding-block:10px}.explain-code pre{max-height:240px;overflow:auto;padding:14px;font:11px/1.6 monospace;white-space:pre}.explain-code pre,.proof-demo{background:var(--card);border:1px solid var(--line)}.proof-demo{--proof-p:#5471bb;--proof-q:#977135;--proof-r:#427b65;grid-column:1/-1;margin-block:28px;border-radius:16px;overflow:hidden}[data-theme=dark] .proof-demo{--proof-p:#a4bdff;--proof-q:#edc47e;--proof-r:#92d5b4}.proof-demo-intro{padding:clamp(22px,4vw,36px);border-bottom:1px solid var(--line)}.proof-demo .proof-demo-intro h2{margin:0 0 18px;font-size:clamp(25px,3.7vw,40px);line-height:1.12;letter-spacing:-.04em}.proof-demo-intro>p:last-child{max-width:660px;margin:0;font-size:14px;line-height:1.8;color:var(--muted)}.proof-demo-body{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(0,1fr)}.proof-board{padding:clamp(16px,3vw,28px);background:var(--paper);min-width:0}.proof-board-heading{display:flex;align-items:center;justify-content:space-between;gap:14px;font:11px/1.5 monospace;letter-spacing:.04em}.proof-board-heading b{margin-left:10px;font-size:21px}.proof-board-heading button{min-height:44px;padding:8px;border:1px solid var(--line);border-radius:6px;background:var(--card);color:var(--ink);font-size:11px;cursor:pointer}.proof-key{display:flex;flex-wrap:wrap;gap:8px 16px;margin:18px 0 24px;font:11px/1.6 monospace}.proof-atom{font-weight:700}.proof-atom-p{color:var(--proof-p)}.proof-atom-q{color:var(--proof-q)}.proof-atom-r{color:var(--proof-r)}.proof-operator{color:var(--muted)}.proof-lines{list-style:none;padding:0;margin:0;min-height:286px}.proof-lines li{margin:0}.proof-line{display:grid;grid-template-columns:18px minmax(0,1fr) auto;align-items:center;grid-gap:12px;gap:12px;width:100%;min-height:46px;padding:10px 8px;border:1px solid transparent;border-radius:4px;text-align:left;background:transparent;color:var(--ink);cursor:pointer}.proof-line-selected{background:var(--card);border-color:var(--line)}.proof-number{font:11px monospace;color:var(--muted)}.proof-expression{font:20px/1.4 monospace}.proof-english{font:12px/1.6 Arial,sans-serif}.proof-rule{font:10px/1.6 monospace;color:var(--muted)}.proof-rule-assumption{color:var(--proof-q)}.proof-nested{margin-left:24px!important;border-left:2px solid var(--proof-q);padding-left:8px;background:color-mix(in srgb,var(--proof-q) 5%,transparent)}.proof-assumption{border-top:1px solid var(--proof-q)}.proof-conclusion{border-top:1px solid var(--line);margin-top:10px!important;padding-top:8px}.proof-demo-actions{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-top:20px}.proof-demo-actions .button{min-height:44px;padding:12px 16px;font-size:12px;cursor:pointer}.proof-demo-actions>span{font:11px monospace;color:var(--muted);white-space:nowrap}.proof-explanation{padding:clamp(22px,3vw,30px);border-left:1px solid var(--line);background:color-mix(in srgb,var(--olive) 5%,var(--card))}.proof-explanation-formula{margin:28px 0 18px;font:38px/1.2 monospace}.proof-demo .proof-explanation h3{margin:0 0 14px;font-size:23px;line-height:1.25;letter-spacing:-.025em}.proof-explanation>p:not(.kicker){font-size:14px;line-height:1.85;color:var(--muted)}.proof-demo-hint{display:block;margin-top:28px;font-size:11px;line-height:1.7;color:var(--muted)}.proof-demo-caption{padding:18px 24px;margin:0;border-top:1px solid var(--line);font-size:11px;line-height:1.8;color:var(--muted)}.proof-demo button:focus-visible{outline:2px solid var(--olive);outline-offset:3px}@media (max-width:760px){.proof-demo-body{grid-template-columns:1fr}.proof-explanation{border-left:0;border-top:1px solid var(--line)}.proof-lines{min-height:0}.proof-rule{max-width:110px}}.code-keyword{color:#7350a5;font-weight:600}.code-string{color:#427b65}.code-number{color:#956818}.code-comment{color:var(--muted);font-style:italic}[data-theme=dark] .code-keyword{color:#c4a5f0}[data-theme=dark] .code-string{color:#92d5b4}[data-theme=dark] .code-number{color:#edc47e}.case-links .project-explore{color:var(--olive);border-bottom-color:var(--olive)}