:root{--background:#ffffff;--foreground:#1f2328;--muted:#59636e;--link:#0969da;--link-hover:#0550ae;--accent:#4b5563;--title-accent:var(--foreground);--border:#d1d9e0b3;--font:Tahoma, Arial, sans-serif;--content-width:48rem}*{box-sizing:border-box}html{font-size:100%}body{display:flex;min-height:100vh;flex-direction:column;margin:0;color:var(--foreground);background:var(--background);font-family:var(--font);font-size:1rem;font-weight:400;line-height:1.4}img{display:block;max-width:100%}a{color:var(--link);text-decoration:underline;text-decoration-thickness:.06em;text-underline-offset:.15em}a:hover{color:var(--link-hover)}a:focus-visible{border-radius:.125rem;outline:.16rem solid #54aeff;outline-offset:.16rem}.skip-link{position:fixed;z-index:10;top:.75rem;left:.75rem;padding:.4rem .65rem;color:#fff;background:var(--foreground);transform:translateY(-250%)}.skip-link:focus{transform:translateY(0)}.home,.page,.site-footer{width:min(calc(100% - 2rem),var(--content-width));margin-inline:auto}.home{flex:1;padding-block:3.5rem 2.5rem}.hero{display:block}.hero-main{display:grid;grid-template-columns:12rem minmax(0,1fr);gap:2.25rem;align-items:start}h1,h2,h3{font-weight:700;line-height:1.25}h1{margin:0 0 1rem;font-size:2rem}h2{margin:0 0 1rem;font-size:1.5rem}h3{font-size:1.25rem}.home h1::before,.home h2::before{color:var(--accent);font-weight:700}.home h1{margin-bottom:1.25rem}.home h2{padding-bottom:.3em;border-bottom:1px solid var(--border)}.home h1::before{color:var(--title-accent);margin-right:.45rem;content:"#"}.home h2::before{margin-right:.5rem;content:"##"}.intro{max-width:34rem}.intro p{margin:0 0 .85rem}.portrait{margin:0}.portrait img{width:100%;height:auto;filter:grayscale(100%)}.lower-grid{display:grid;grid-template-columns:1fr;gap:2.25rem;align-items:start;margin-top:2.25rem}.lower-grid .links-section,.lower-grid .projects-section,.lower-grid .contact{margin-top:0}.link-list{margin:0;padding-left:1.45rem;list-style:disc}.link-list li+li{margin-top:.35rem}.project-list .project-item+.project-item{margin-top:.8rem}.project-entry{display:flex;gap:.45rem;align-items:center}.project-description{max-width:40rem;margin:.2rem 0 0;font-style:italic}.project-symbol{display:inline-flex;width:auto;height:1em;flex:none;align-items:center;justify-content:flex-start;color:var(--accent);font-weight:600;line-height:1;white-space:nowrap}.project-symbol--truthmaker>span{font-family:cambria math,stix two math,dejavu sans,serif;font-size:1.15em;transform:translateY(.08rem)}.proof-ai-symbol{display:inline-flex;align-items:baseline;gap:0}.proof-ai-core{font-family:Arial,sans-serif;font-size:1.15em;font-weight:700}.proof-ai-spark{margin-left:-.04em;font-size:.55em;line-height:1;transform:translateY(.18em)}.profile-link{display:inline-flex;gap:.45rem;align-items:center;text-decoration:none}.profile-link-label{text-decoration:underline;text-decoration-thickness:.06em;text-underline-offset:.15em}.icon{display:inline-flex;width:1em;height:1em;flex:none;color:var(--accent);opacity:1}.icon svg{display:block;width:100%;height:100%;overflow:visible}.external-mark{display:inline-flex;margin-right:.28em;vertical-align:-.03em}.external-mark .icon{width:.72em;height:.72em;color:var(--accent);opacity:1}.contact address{display:flex;flex-direction:column;margin:0;font-style:normal}.contact-email{margin:.75rem 0 0}.contact-email a{display:inline-flex;gap:.5rem;align-items:center}.site-footer{margin-top:auto;padding-block:1rem 2rem;color:var(--muted);font-size:.8rem;font-weight:400}.site-footer p{margin:0}.site-footer a{color:inherit}.page{flex:1;padding-block:3.5rem}.page-header{margin-bottom:2rem}.page-header .eyebrow{margin:0 0 .5rem;color:var(--muted);font-size:.8rem}.page h1{font-size:2rem}.lede{max-width:42rem;margin:1rem 0 0;color:var(--muted);font-size:1.05rem}.prose{max-width:46rem}.prose h2{margin-top:2rem}.prose h3{margin:1.5rem 0 .75rem}.prose p,.prose ul,.prose ol{margin-block:1rem}.page-list{margin:0;padding:0;list-style:none}.page-list li{display:flex;flex-direction:column;padding-block:.75rem}.page-list span{color:var(--muted)}.project-page{flex:1;width:min(calc(100% - 2rem),var(--content-width));margin-inline:auto;padding-block:3.5rem 2.5rem}.project-page>.site-return{position:fixed;z-index:1;top:.65rem;left:.65rem;display:inline-flex;gap:.35rem;align-items:center;padding:.28rem .4rem;border:1px solid rgb(31 35 40/18%);border-radius:.35rem;color:var(--accent);background:rgb(255 255 255/92%);box-shadow:0 1px 2px rgb(31 35 40/12%);text-decoration:none}.project-page>.site-return img{display:block;width:1.35rem;height:1.35rem}.project-page>.site-return .home-icon{display:inline-flex;width:.9rem;height:.9rem}.project-page>.site-return .home-icon svg{display:block;width:100%;height:100%}.project-header{padding-bottom:1rem;border-bottom:1px solid var(--border)}.project-header h1{margin-bottom:.75rem;font-size:2rem}.project-header h1::before{margin-right:.45rem;color:var(--foreground);content:"#"}.project-summary{max-width:44rem;margin:0;font-size:1.05rem}.project-summary p{margin:0}.project-meta{margin:.75rem 0 0;color:var(--muted);font-size:.85rem}.project-content{max-width:46rem}.project-content>p{margin-block:1rem}.project-content section{margin-top:2.25rem}.project-content h2{padding-bottom:.3em;border-bottom:1px solid var(--border)}.project-content h2::before{margin-right:.5rem;color:var(--accent);content:"##"}.milestone-list{margin:0;padding:0;list-style:none}.milestone{position:relative;display:grid;grid-template-columns:1.25rem minmax(0,1fr);gap:.75rem;padding-bottom:1.35rem}.milestone:last-child{padding-bottom:0}.milestone:not(:last-child)::before{position:absolute;top:1.1rem;bottom:0;left:.57rem;width:2px;background:var(--border);content:""}.milestone-marker{position:relative;z-index:1;display:inline-flex;width:1.15rem;height:1.15rem;align-items:center;justify-content:center;margin-top:.15rem;border:2px solid #8c959f;border-radius:50%;color:#fff;background:var(--background);font-size:.72rem;font-weight:700;line-height:1}.milestone--active .milestone-marker{border-color:var(--link);color:var(--link)}.milestone--complete .milestone-marker{border-color:var(--link);background:var(--link)}.milestone-body h3{margin:0;font-size:1rem}.milestone-body p{max-width:42rem;margin:.3rem 0 0}.milestone-description{max-width:42rem;margin-top:.3rem}.milestone-description>:first-child{margin-top:0}.milestone-description>:last-child{margin-bottom:0}.milestone-status{color:var(--muted);font-size:.75rem;font-weight:600;text-transform:uppercase}.project-content section>ul{padding-left:1.45rem}@media(max-width:40rem){.home,.page,.site-footer{width:min(calc(100% - 2rem),var(--content-width))}.home,.page{padding-top:2rem}.hero-main{grid-template-columns:1fr;gap:1.5rem}.portrait{width:9rem}.project-page{padding-top:3.5rem}}@media print{.site-footer,.skip-link{display:none}a{color:inherit}}