:root{--text:var(--ink);--heading-font:ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif}body{font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,sans-serif}h1,h2,h3,h4{font-family:var(--heading-font)}h1{font-weight:740;letter-spacing:-.055em}h2{font-weight:650;letter-spacing:-.035em}h1 em{color:var(--cyan);font-style:normal}.site-header .nav-links a[aria-current=page],.local-nav a[aria-current=location]{color:var(--cyan);background:#51d6c81a}:focus-visible{outline:2px solid var(--cyan);outline-offset:5px}section[id],article[id],.anchor-alias{scroll-margin-top:var(--document-anchor-offset,150px)}.anchor-alias{display:block;height:0}.marketing-hero{padding:84px 0 58px;min-height:0}.marketing-hero .hero-grid{grid-template-columns:minmax(0,1.5fr) minmax(270px,.75fr);gap:64px;align-items:center}.marketing-hero h1{font-size:clamp(3.2rem,5.5vw,5.6rem);line-height:1.04;max-width:850px;margin:22px 0 26px}.marketing-hero .lead{font-size:clamp(1.15rem,1.65vw,1.4rem);max-width:650px;color:#d6e1e7}.hero-context{max-width:740px;color:var(--muted);font-size:1rem;margin:20px 0}.hero-experience{display:flex;flex-wrap:wrap;gap:18px 32px;margin:24px 0;padding:18px 0;border-block:1px solid var(--line)}.hero-experience div{flex:1 1 220px}.hero-experience dt{color:var(--cyan);font-size:1.35rem;font-weight:750;line-height:1.25}.hero-experience dd{margin:5px 0 0;color:var(--muted);font-size:.87rem;line-height:1.5}.hero-location{font-size:.78rem;color:var(--muted);margin-top:28px}.editorial-site .portrait-wrap{margin:0;position:relative;background:none;border:0;box-shadow:none;border-radius:0;overflow:visible}.editorial-site .portrait-wrap .portrait{width:100%;height:auto;aspect-ratio:4/5;max-height:none;object-fit:cover;object-position:center;border-radius:16px;border:1px solid #36505a;background:var(--panel)}.editorial-site .portrait-wrap .profile-portrait{object-position:center top}@media(min-width:701px){.editorial-site .marketing-hero .portrait-wrap .landing-portrait{height:600px;aspect-ratio:auto}}.hero-context strong{color:var(--ink)}.editorial-site .portrait-wrap figcaption{margin:18px 0 0;padding:0 0 0 15px;border-left:2px solid var(--cyan);font-size:.83rem;color:var(--muted)}.portrait-note{border-radius:0 0 14px 14px}.positioning-bar{background:#0b1c26;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:24px 0}.positioning-grid{display:flex;align-items:center;gap:30px;justify-content:space-between}.positioning-statement{margin:0;max-width:860px;font-size:1.04rem;font-weight:650}.positioning-statement span{display:block;color:var(--muted);font-weight:400;font-size:.92rem;margin-top:5px}.text-link{color:var(--cyan);white-space:normal}.positioning-grid .text-link{flex:none}.section{padding:78px 0}.section-head{align-items:start;gap:36px;margin-bottom:36px}.section-head h2{line-height:1.12;max-width:850px;font-size:clamp(2rem,3.5vw,3rem)}.section-head .intro{margin-top:18px;max-width:780px}.kicker,.eyebrow{letter-spacing:.12em;font-size:.72rem;line-height:1.6}.proof-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px}.proof-card{display:flex;flex-direction:column;gap:0;padding:32px;border:1px solid var(--line);border-radius:16px;background:linear-gradient(145deg,#10232f,#0d1a23);text-decoration:none;min-width:0;transition:border-color .18s,transform .18s}.proof-card:nth-child(1),.proof-card:nth-child(2){border-top:3px solid var(--cyan)}.proof-card h3{margin:16px 0 12px;font-size:1.45rem;line-height:1.3;letter-spacing:-.02em;font-weight:650}.proof-card p{margin:0 0 20px;color:#b5c6d1}.proof-card .attribution{margin-top:auto;padding-top:15px;border-top:1px solid var(--line);font-size:.75rem;color:#99b4c3}.card-action{margin-top:16px;display:flex;justify-content:space-between;color:var(--cyan);font-size:.83rem;font-weight:650}.proof-card:hover{border-color:#51d6c8;transform:translateY(-2px)}.feature-grid .feature h3{font-size:1.6rem;line-height:1.2}.approach-grid{display:grid;grid-template-columns:1fr 1fr;gap:70px}.approach-grid h2{font-size:clamp(2.1rem,3.6vw,3.3rem);line-height:1.12;margin:18px 0 25px}.approach-list{margin:0;padding:0;list-style:none;counter-reset:approach}.approach-list li{position:relative;padding:21px 0 21px 50px;border-bottom:1px solid var(--line);counter-increment:approach}.approach-list li:before{content:"0" counter(approach);position:absolute;left:0;top:21px;color:var(--cyan);font-size:.8rem}.approach-list b{display:block;font-weight:650;font-size:1.12rem}.approach-list span{display:block;color:var(--muted);margin-top:7px}.slogan{border-top:1px solid var(--line);margin-top:55px;padding-top:35px}.slogan p{max-width:840px;font-size:clamp(1.3rem,2.5vw,2rem);letter-spacing:-.025em;line-height:1.4;color:var(--ink)}.slogan span{font-size:.8rem;color:var(--muted)}.fit-split{display:grid;grid-template-columns:1fr 1fr;gap:36px}.fit-split>div{border-top:1px solid var(--line);padding-top:24px}.fit-split p{color:var(--muted)}.contact-panel{display:flex;justify-content:space-between;align-items:center;gap:30px;margin-top:60px;padding:42px;background:#112b34;border:1px solid #315661;border-radius:18px}.contact-panel h2{font-size:clamp(1.9rem,3vw,2.6rem);margin:12px 0;line-height:1.15}.contact-panel p{color:var(--muted)}.contact-panel .hero-actions{flex:none;flex-direction:column;align-items:stretch}.page-hero{padding:74px 0 48px}.page-hero h1{font-size:clamp(2.8rem,5.2vw,5rem);line-height:1.06;font-weight:740}.local-nav{position:sticky;top:72px;z-index:20;background:#0d1a23f5;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);border-bottom:1px solid var(--line)}.local-nav .shell{display:flex;gap:6px;overflow:auto;padding-top:12px;padding-bottom:12px}.local-nav a{flex:none;font-size:.78rem}.document-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.document-grid .proof-card{border-top:3px solid var(--cyan)}.private-gateway{margin-top:42px;padding:28px 32px;border:1px dashed #315363;border-radius:14px;display:flex;align-items:center;gap:35px}.private-gateway .button{flex:none}.private-gateway p{color:var(--muted);max-width:720px}.private-purpose{margin:55px 0 24px;padding:28px;border:1px solid #7b623d;border-radius:14px;background:#201c16}.private-banner .shell{display:flex;flex-wrap:wrap;justify-content:space-between;gap:8px 24px;padding-block:10px;color:var(--muted);font-size:.78rem}.career-timeline{display:grid;grid-template-columns:1.35fr 1fr;gap:20px}.career-timeline article{border-left:2px solid #315563;background:var(--panel);padding:26px 30px}.career-timeline article:first-child{grid-row:span 3;border-color:var(--cyan)}.career-timeline time{color:var(--cyan);font-size:.8rem;font-weight:650}.career-timeline h3{font-size:1.25rem;line-height:1.3;margin:13px 0}.career-timeline p{color:var(--muted)}.original-profile-depth .section-head{display:grid;grid-template-columns:180px 1fr;margin:0 0 30px}.section-no{color:var(--cyan);font-size:.72rem;font-weight:700;letter-spacing:.12em;padding-top:8px}.original-profile-depth .grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px}.original-profile-depth .evidence-feature{padding:28px;border:1px solid var(--line);border-radius:14px;background:var(--panel)}.evidence-feature .label{font-size:.72rem;color:var(--cyan);text-transform:uppercase;letter-spacing:.08em}.evidence-feature h3{font-size:1.4rem;line-height:1.25;margin:15px 0}.evidence-feature p,.evidence-feature li{color:var(--muted)}.evidence-feature .proof{display:block;color:var(--cyan);font-size:.77rem;margin-top:18px}.original-profile-depth .doc-note,.scope-note{padding:20px;color:var(--muted);background:#112531;border-left:2px solid var(--blue);margin:24px 0;font-size:.9rem}.original-profile-depth .disclosure{border:1px solid var(--line);border-radius:14px;background:var(--panel);margin-top:24px;overflow:hidden}.disclosure>summary{padding:18px 24px;cursor:pointer;color:var(--cyan);font-weight:650}.disclosure-body{padding:24px;border-top:1px solid var(--line)}.original-profile-depth .projects{display:grid;gap:18px}.original-profile-depth .project{display:grid;grid-template-columns:.7fr 1.3fr;gap:35px;padding:24px 0;border-bottom:1px solid var(--line)}.original-profile-depth .project h3{font-size:1.18rem;line-height:1.3;margin:10px 0}.original-profile-depth .project small{color:var(--cyan);font-size:.72rem}.original-profile-depth .project p{color:var(--muted);margin:0}.editorial-site .proof-grid{gap:18px;border:0;border-radius:0;overflow:visible;background:transparent}.editorial-site .proof-card{min-width:0;height:100%;border-radius:16px;background:linear-gradient(145deg,#10232f,#0d1a23);box-shadow:inset 0 1px #ffffff09}.editorial-site .document-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.original-portfolio .portfolio-content .case{display:block;min-width:0;margin:0 0 28px;padding:0;overflow:hidden;border:1px solid var(--line);border-radius:22px;background:var(--panel);box-shadow:var(--shadow)}.local-nav .shell{display:flex;flex-wrap:wrap;gap:6px;overflow:visible;padding-block:10px}.local-nav a{flex:0 1 auto;white-space:nowrap;padding:.35rem .5rem;font-size:.74rem}.profile-quote{width:100%;max-width:none;margin:0 0 1.5rem}.leadership-grid>.profile-detail{grid-column:1 / -1;width:100%;margin-top:0}.profile-detail[open]>summary{border-bottom:1px solid rgba(81,214,200,.18)}.profile-detail .detail-cards{gap:14px;padding:1.15rem}.profile-detail .detail-cards>.card{min-width:0}.original-profile-depth .showcase{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));align-items:stretch;gap:18px;margin-top:24px}.original-profile-depth .evidence-feature{position:relative;display:flex;min-width:0;flex-direction:column;padding:28px;overflow:hidden;border:1px solid #29434e;border-radius:16px;background:radial-gradient(circle at calc(100% - 70px) calc(100% - 70px),transparent 0 35px,rgba(81,214,200,.12) 36px 37px,transparent 38px 51px,rgba(81,214,200,.09) 52px 53px,transparent 54px),linear-gradient(145deg,#10232f,#0b1821);box-shadow:inset 0 1px #ffffff0b}.original-profile-depth .evidence-feature .label{align-self:flex-start;max-width:100%;color:var(--amber);font-size:.68rem;font-weight:750;line-height:1.55;letter-spacing:.11em;text-transform:uppercase}.original-profile-depth .evidence-feature h3{max-width:31ch;margin:13px 0 12px;font-size:1.3rem;line-height:1.3;letter-spacing:-.02em}.original-profile-depth .evidence-feature p,.original-profile-depth .evidence-feature li{color:#b8c8d1;font-size:.91rem;line-height:1.7}.original-profile-depth .evidence-feature p{margin:0}.original-profile-depth .evidence-feature ul{display:grid;gap:6px;margin:15px 0 0;padding-left:1.15rem}.original-profile-depth .evidence-feature li{padding-left:.12rem}.original-profile-depth .evidence-feature li::marker{color:var(--cyan)}.original-profile-depth .evidence-feature .proof{min-height:0;align-self:flex-start;max-width:100%;margin-top:20px;padding:6px 10px;border:1px solid rgba(81,214,200,.3);border-radius:999px;background:#51d6c80e;color:#8ce3d9;font-size:.72rem;line-height:1.45}.editorial-site .document-grid .proof-card{display:flex;flex-direction:column}.editorial-site .document-grid .card-action{margin-top:auto;padding-top:22px}@media(max-width:1000px){.editorial-site .document-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:700px){.editorial-site .proof-grid,.editorial-site .document-grid,.original-profile-depth .showcase{grid-template-columns:1fr}.original-profile-depth .evidence-feature{padding:23px}.profile-detail .detail-cards{padding:.9rem}.local-nav .shell{gap:4px;padding-block:8px}.local-nav a{padding:.32rem .55rem;font-size:.7rem}}.original-portfolio{padding:0}.original-portfolio .portfolio-content{width:min(1180px,calc(100% - 40px));margin:auto;padding:45px 0 85px}.original-portfolio .portfolio-content .manifesto h2,.original-portfolio .portfolio-content .section-head h2{font-family:var(--heading-font);font-weight:650}.original-portfolio .portfolio-content h2,.original-portfolio .portfolio-content h3{font-family:var(--heading-font);font-weight:650;letter-spacing:-.035em}.original-portfolio .portfolio-content .case-title h3{font-family:var(--heading-font);font-weight:650;font-size:clamp(1.6rem,2.7vw,2.35rem);line-height:1.18}.original-portfolio .portfolio-content .reading-tools{margin:0 0 48px}@media screen{.legacy-evidence-portfolio main>.reading-tools{margin:0 0 48px}.legacy-evidence-portfolio .manifesto{padding:clamp(24px,3vw,40px);border:1px solid var(--line);border-radius:18px}}.original-portfolio .portfolio-content .reading-tools button{background:#112531;color:var(--ink)}.original-portfolio .portfolio-content .case-id{background:#112531}.original-portfolio .portfolio-content .deep-case>summary,.original-portfolio .portfolio-content .verdict{background:#112531}.original-portfolio .portfolio-content .analysis,.original-portfolio .portfolio-content .case-title{background:var(--panel)}.original-portfolio .portfolio-content .analysis p,.original-portfolio .portfolio-content .analysis li{color:#b9cad3}.original-portfolio .portfolio-content .verdict p{color:#c7d7de}.original-portfolio .portfolio-content .case-map a:hover{border-color:var(--cyan)}.original-portfolio .portfolio-content .case-map{margin-top:0}.original-portfolio .portfolio-content .case{position:relative}.original-portfolio .portfolio-content .case-top{grid-template-columns:155px minmax(0,1fr)}.original-portfolio .portfolio-content .case-body{grid-template-columns:minmax(0,.88fr) minmax(0,1.12fr)}.original-portfolio .portfolio-content .artifact{min-width:0}.original-portfolio .portfolio-content .complexity-note,.original-portfolio .portfolio-content .deep-dive,.original-portfolio .portfolio-content .counterexample,.original-portfolio .portfolio-content .invariants,.original-portfolio .portfolio-content .closing-grid>div{background:#112531;border-color:var(--line);color:#c7d7de}.original-portfolio .portfolio-content .complexity-note{padding:20px;border:1px solid var(--line);border-radius:12px}.original-portfolio .portfolio-content .legend .direct{border-top:3px solid var(--cyan)}.original-portfolio .portfolio-content .legend .simplified{border-top:3px solid var(--blue)}.original-portfolio .portfolio-content .legend .concept{border-top:3px solid #b6a3ff}.original-portfolio .portfolio-content .legend .decision{border-top:3px solid var(--amber)}.original-portfolio .portfolio-content .legend .direct b{color:var(--cyan)}.original-portfolio .portfolio-content .legend .simplified b{color:var(--blue)}.original-portfolio .portfolio-content .legend .concept b{color:#b6a3ff}.original-portfolio .portfolio-content .legend .decision b{color:var(--amber)}.original-portfolio .portfolio-content .flow{flex-wrap:wrap}.original-portfolio .portfolio-content .flow div{min-width:90px}.original-portfolio .portfolio-content .source{font-size:.76rem;line-height:1.65}.original-portfolio .portfolio-content .deep-dive{padding:20px;border:1px solid var(--line);border-radius:12px}.legacy-document>nav.local-nav .wrap{flex-wrap:wrap!important;overflow:visible!important;padding:10px 0!important}.original-portfolio .portfolio-content .closing h2{font-family:var(--heading-font)}.original-portfolio .portfolio-content .closing-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.original-portfolio .portfolio-content table{display:block;overflow:auto;max-width:100%}.legacy-document .feature{display:block!important;padding:26px!important}.legacy-document .feature h3{color:var(--ink)!important;font:650 1.35rem/1.3 var(--heading-font)!important}.legacy-document .feature ul{padding-left:20px!important}.legacy-document .grid{grid-template-columns:repeat(12,minmax(0,1fr))}.legacy-document .grid>*{min-width:0}.legacy-document .project,.cv-document .page .project{padding:24px;border:1px solid var(--line);border-radius:14px}.legacy-document .stats{grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:14px;border:0;border-radius:0;background:transparent;overflow:visible}.legacy-document .stats>*{min-width:0;border:1px solid var(--line);border-radius:14px}.legacy-document .compare{display:block;max-width:100%;overflow-x:auto}.legacy-document .source .provenance-label{color:#86dacd;border-bottom:1px dotted #315363}.legacy-document .matrix{display:block;overflow:auto}.legacy-document .doc-note,.legacy-document .project,.legacy-document .signature,.legacy-document .evolution>div,.cv-document .page .project{background:#112531!important;color:var(--ink)!important;border-color:var(--line)!important}.legacy-document .complexity-note{background:#112531!important;color:var(--ink)!important;border-color:var(--line)!important}@media screen{.legacy-document :is(.pill,.note,.portrait>div,.trait,.compare,.compare th,.voice,.voice-head,.spectrum>div,.closing,.boundary,.case-body>div){background:#112531!important;color:#c5d2dc!important;border-color:#29434e!important}.legacy-document :is(.compare td,.voice blockquote,.flow div,.spectrum span){color:#c5d2dc!important}.legacy-document :is(.trait,.compare th,.voice-head span,.spectrum b,.flow b,.case-body b){color:#8ce3d9!important}.legacy-document .actions a:not(.secondary){background:#51d6c8!important;color:#071017!important}.legacy-document .actions a.secondary{background:transparent!important;color:#8ce3d9!important;border:1px solid #51d6c8!important}.legacy-document .flow{background:transparent!important}.legacy-document :is(.spectrum,.case-body){background:#223b48!important}.legacy-document .case>details>summary{background:#112531!important;color:#8ce3d9!important;border-color:#29434e!important}}.legacy-document h1,.legacy-document h2,.legacy-document h3{font-family:var(--heading-font)!important}.cv-document .page{margin-top:36px}.cv-paper{display:none}.cv-document .page>header{position:relative}.cv-document .cv-print-controls{position:absolute;top:20px;right:20px}.cv-document .cv-print-button{display:inline-flex;align-items:center;justify-content:center;width:44px;height:44px;padding:0;border:1px solid rgba(81,214,200,.35);border-radius:50%;background:#07101759;cursor:pointer}.cv-document .cv-print-button:hover{background:#51d6c824;border-color:#51d6c8}.cv-document .cv-print-button:focus-visible{outline:2px solid #51d6c8;outline-offset:4px}.cv-document .cv-print-button img{display:block;width:21px;height:21px}@media(max-width:760px){.cv-document .page>header .kicker{min-height:44px;display:flex;align-items:center;padding-right:48px}.cv-document .cv-print-controls{top:20px;right:20px}}.cv-document .page h1,.cv-document .page h2,.cv-document .page h3{font-family:var(--heading-font)}@media(max-width:1000px){.marketing-hero .hero-grid{grid-template-columns:minmax(0,1.35fr) minmax(240px,.7fr);gap:32px}.marketing-hero h1{font-size:clamp(3rem,5.5vw,4.7rem)}.approach-grid{gap:35px}.document-grid,.original-portfolio .portfolio-content .case-body{grid-template-columns:1fr}}@media(max-width:700px){.original-portfolio .portfolio-content,.shell,.wrap{width:calc(100% - 32px)}.marketing-hero{padding:40px 0}.marketing-hero .hero-grid{grid-template-columns:1fr;gap:30px}.marketing-hero h1{font-size:clamp(2.8rem,9vw,4rem)}.editorial-site .portrait-wrap{width:100%;max-width:340px;margin-inline:auto;justify-self:center}.editorial-site .portrait-wrap .portrait{aspect-ratio:4/5}.positioning-grid,.private-gateway,.contact-panel{flex-direction:column;align-items:flex-start}.proof-grid,.fit-split,.approach-grid,.career-timeline,.original-profile-depth .grid{grid-template-columns:1fr}.section{padding:50px 0}.section-head,.original-profile-depth .section-head{display:block}.section-head .kicker,.section-no{margin-bottom:15px}.proof-card{padding:25px}.original-profile-depth .project{grid-template-columns:1fr;gap:10px}.contact-panel{padding:28px}.original-portfolio .portfolio-content .manifesto{grid-template-columns:1fr;gap:25px;margin-bottom:40px}.original-portfolio .portfolio-content .legend,.original-portfolio .portfolio-content .case-map{grid-template-columns:repeat(2,minmax(0,1fr))}.original-portfolio .portfolio-content .case-top{grid-template-columns:1fr}.original-portfolio .portfolio-content .case-id{padding:16px 22px}.original-portfolio .portfolio-content .case-id b{display:inline;margin-left:12px}.original-portfolio .portfolio-content .case-title,.original-portfolio .portfolio-content .analysis,.original-portfolio .portfolio-content .artifact{padding:22px}.original-portfolio .portfolio-content .verdict{grid-template-columns:1fr;padding:22px;gap:10px}.original-portfolio .portfolio-content .section-head{display:block}.original-portfolio .portfolio-content .reading-tools{flex-direction:column;align-items:flex-start}.original-portfolio .portfolio-content .closing-grid{grid-template-columns:1fr}.legacy-document .grid{grid-template-columns:1fr!important}.legacy-document .grid>*{grid-column:1 / -1!important}.legacy-document .stats{grid-template-columns:1fr}.legacy-document .case-body{grid-template-columns:1fr!important}}.site-header .nav-toggle[aria-controls]{width:44px!important;height:44px!important;padding:10px!important;flex:0 0 44px;border:0!important;border-radius:50%!important;font-size:0!important;cursor:pointer;align-items:center;justify-content:center}.site-header .nav-toggle[aria-controls]:before{content:"";display:block;width:24px;height:24px;background:url(icons/bars.svg) center/contain no-repeat}.site-header .nav-toggle[aria-controls]:is(:hover,[aria-expanded=true]){background:#51d6c81a!important}.site-header .nav-toggle[aria-controls]:focus-visible{outline:2px solid var(--cyan)!important;outline-offset:3px}@media screen and (max-width:1100px){.site-header .nav-toggle[aria-controls]{display:flex!important}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{transition:none!important;animation:none!important}}@media print{:root{--ink:#111!important;--muted:#444!important;--panel:#fff!important;--paper:#fff!important;--bg:#fff!important;--line:#ccc!important;--cyan:#075b58!important}body,.cv-document,.legacy-document{background:#fff!important;color:#111!important}.site-header,.local-nav,.site-footer,.skip-link,.hero-actions,.reading-tools,.shell-logout,.nav-toggle,.private-banner{display:none!important}.section,.page-hero{padding:18px 0!important}.shell,.wrap{width:100%!important}.page-hero h1{font-size:30pt}.proof-card,.card,.evidence-feature,.career-timeline article,.original-portfolio .portfolio-content .case,.original-portfolio .portfolio-content .case-title,.original-portfolio .portfolio-content .analysis,.original-portfolio .portfolio-content .verdict{background:#fff!important;color:#111!important;box-shadow:none!important}:is(.cv-document,.legacy-cv) .page{width:100%!important;margin:0!important;background:#fff!important;color:#111!important;box-shadow:none!important}:is(.cv-document,.legacy-cv) .page>header{background:#fff!important;color:#111!important;padding:15px 0!important}:is(.cv-document,.legacy-cv) .page :is(h1,h2,h3,h4,b,p,li,time,small,.contact,.company){color:#111!important}:is(.cv-document,.legacy-cv) .page :is(.summary,.tag,.note){background:#f4f4f4!important;color:#111!important}:is(.cv-document,.legacy-cv) .body{padding:20px 0!important}a{color:#075b58!important}h2,h3,h4,summary{break-after:avoid}.role,.project,.proof-card{break-inside:avoid}pre{white-space:pre-wrap!important;overflow:visible!important}body .site-header,body>nav.local-nav,body .reading-tools{display:none!important}body p,body li,body .lead,body .source{color:#333!important}body .card,body details,body .case,body .case-id,body .case-title,body .analysis,body .verdict,body .legend div,body .matrix,body .matrix th,body .matrix td,body .complexity-note,body .doc-note,body .project,body .closing,body .closing-grid>div,.legacy-document .complexity-note{background:#fff!important;color:#111!important;border-color:#ccc!important}body .artifact,body pre,body code{background:#f4f4f4!important;color:#111!important;border-color:#ccc!important}body pre span,body .artifact b,body .artifact h4,body .artifact h5,body .artifact-head,body .case-id b,body .closing h2{color:#111!important}body .artifact .invariants,body .artifact .invariants div,body .artifact .state-map div,body .artifact .timeline div,body .artifact .counterexample,body .artifact .flow div{background:#f4f4f4!important;color:#111!important}.original-portfolio .portfolio-content .case{break-inside:auto}.original-portfolio .portfolio-content .case-top{break-inside:avoid;break-after:avoid}.original-portfolio .portfolio-content .case-body{grid-template-columns:1fr}body details>summary{break-after:avoid}body .feature,body .evidence-feature,body .disclosure-body,body .signature,body .evolution>div{background:#fff!important;color:#111!important;border-color:#ccc!important}body .feature :is(h3,.feature-label,.label,.proof),body .evidence-feature :is(h3,.label,.proof){color:#111!important}}