:root{color-scheme:light;--paper: #faf7ef;--ink: #090807;--rule: #241f1d;--rail: #641c2b;--status: #c39a4a;--status-text: #641c2b;--paper-alt: #f7f0e7;--focus: var(--rail);--muted: var(--rule);--content-max: 1460px;--rail-width: 96px;--font-display: "Barlow Condensed", "Arial Narrow", sans-serif;--font-body: "Inter", system-ui, sans-serif;--ease-out: cubic-bezier(.22, 1, .36, 1);--motion-fast: .16s;--motion-disclosure: .2s}html{scroll-behavior:smooth;background:var(--paper)}body{margin:0;min-width:320px;background:var(--paper);color:var(--ink);font:400 1rem/1.6 var(--font-body)}main section[id],main article[id]{scroll-margin-top:80px}*,*:before,*:after{box-sizing:border-box}a{color:inherit;text-underline-offset:.18em}img,svg{display:block;max-width:100%}:focus-visible{outline:3px solid var(--focus);outline-offset:3px}.skip-link{position:fixed;z-index:1000;left:12px;top:12px;transform:translateY(-160%);background:var(--ink);color:var(--paper);padding:12px 16px}.skip-link:focus{transform:translateY(0)}.display{font-family:var(--font-display);font-weight:800;letter-spacing:-.025em;line-height:.88}.label{font:600 .875rem/1.2 var(--font-body);letter-spacing:.08em;text-transform:uppercase}.motion-ready [data-reveal]{opacity:0;transform:translateY(12px);transition:opacity .45s var(--ease-out),transform .45s var(--ease-out)}.motion-ready [data-reveal][data-visible]{opacity:1;transform:translateY(0)}.motion-ready [data-connectors-ready] .architecture-edge{transition:opacity .12s linear,stroke-dashoffset .55s var(--ease-out)}.motion-ready [data-connectors-ready] .architecture-edge:not([data-drawn]){opacity:0;stroke-dasharray:var(--connector-length);stroke-dashoffset:var(--connector-length)}.motion-ready [data-connectors-ready] .architecture-edge[data-drawn]{opacity:1;stroke-dasharray:var(--connector-length);stroke-dashoffset:0}.proof-rail a[aria-current]{background:var(--ink)}:is(.action,.primary-action,.resume-action,.rail-mark,.rail-action,.proof-rail a,.mobile-shortcuts a,.mobile-nav summary,.mobile-nav nav a,.cred-link,.architecture-disclosure>summary,.proof-disclosure>summary){transition:background-color var(--motion-fast) ease-out,border-color var(--motion-fast) ease-out,color var(--motion-fast) ease-out}:is(.inspect-links a,.action-secondary,.resume-view,.contact-links a,.footer a,.back-link a){transition:color var(--motion-fast) ease-out,text-decoration-color var(--motion-fast) ease-out,text-decoration-thickness var(--motion-fast) ease-out,text-underline-offset var(--motion-fast) ease-out}:is(.inspect-links a,.action-secondary,.resume-view,.contact-links a,.footer a,.back-link a):focus-visible{color:var(--rail);text-underline-offset:.26em}:is(.rail-mark,.rail-action,.proof-rail a):focus-visible{outline-color:var(--paper);outline-offset:-4px}.compact-header nav a{position:relative;text-decoration:none}.compact-header nav a:after{position:absolute;right:10px;bottom:12px;left:10px;height:1px;background:currentColor;content:"";transform:scaleX(0);transform-origin:left;transition:transform var(--motion-fast) var(--ease-out)}.compact-header nav a:focus-visible:after{transform:scaleX(1)}@media (hover: hover) and (pointer: fine){.compact-header nav a:hover:after{transform:scaleX(1)}:is(.inspect-links a,.action-secondary,.resume-view,.contact-links a,.footer a,.back-link a):hover{color:var(--rail);text-underline-offset:.26em}.proof-disclosure>summary:hover{background:var(--paper-alt)}}@media (prefers-reduced-motion: no-preference){:is(.hero-actions .action-primary,.contact .primary-action,.resume-actions .resume-action){translate:0 0;transition:background-color var(--motion-fast) ease-out,border-color var(--motion-fast) ease-out,color var(--motion-fast) ease-out,translate 80ms ease-out}:is(.action-primary,.primary-action,.resume-action):active{translate:0 1px}:is(.inspect-links a,.action-secondary,.resume-view,.resume-action)>span[aria-hidden],.cred-arrow{display:inline-block;transition:translate var(--motion-fast) var(--ease-out)}:is(.inspect-links a,.action-secondary,.resume-view):focus-visible>span[aria-hidden],.cred-link:focus-visible .cred-arrow{translate:2px 0}.resume-action:focus-visible>span[aria-hidden]{translate:0 2px}.architecture-disclosure>summary span,.disclosure-icon{transition:transform var(--motion-disclosure) var(--ease-out)}@media (hover: hover) and (pointer: fine){:is(.inspect-links a,.action-secondary,.resume-view):hover>span[aria-hidden],.cred-link:hover .cred-arrow{translate:2px 0}.resume-action:hover>span[aria-hidden]{translate:0 2px}}@supports (interpolate-size: allow-keywords) and selector(::details-content) and (transition-behavior: allow-discrete){:is(.architecture-disclosure,.proof-disclosure){interpolate-size:allow-keywords}:is(.architecture-disclosure,.proof-disclosure)::details-content{height:0;opacity:0;overflow:clip;transition:height var(--motion-disclosure) var(--ease-out),opacity var(--motion-disclosure) ease-out,content-visibility var(--motion-disclosure) allow-discrete}:is(.architecture-disclosure,.proof-disclosure)[open]::details-content{height:auto;opacity:1}}}@media (max-width: 767px){:root{--rail-width: 0px}body{min-width:0;font-size:16px}}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important}.motion-ready [data-reveal]{opacity:1;transform:none}.architecture-edge{stroke-dasharray:none;stroke-dashoffset:0}}