:root { --paper:#071017; --panel:#0d1a23; --ink:#e9f1f7; --muted:#a8bac6; --line:#223b48; --teal:#51d6c8; --teal-dark:#51d6c8; --amber:#f2b35d; --blue:#65a9ff; --violet:#b6a3ff; --code:#071017; --code-line:#223b48; --shadow:0 18px 50px #0003; }.original-portfolio .portfolio-content * { box-sizing:border-box; }.original-portfolio .portfolio-content html { scroll-behavior:smooth; }.original-portfolio .portfolio-content body { margin:0; background:var(--paper); color:var(--ink); font-family:Inter,ui-sans-serif,system-ui,-apple-system,"Segoe UI",sans-serif; line-height:1.65; }.original-portfolio .portfolio-content a { color:inherit; }.original-portfolio .portfolio-content .wrap { width:min(1180px,calc(100% - 40px)); margin:auto; }.original-portfolio .portfolio-content .hero { min-height:78vh; padding:28px 0 70px; color:#edf7f5; background:
      radial-gradient(circle at 84% 12%,rgba(20,184,166,.25),transparent 28%),
      linear-gradient(145deg,#071b20 0%,#0a3034 53%,#10262b 100%); }.original-portfolio .portfolio-content .topline { display:flex; justify-content:space-between; gap:25px; align-items:center; color:#a9c8c5; font-size:.76rem; letter-spacing:.12em; text-transform:uppercase; }.original-portfolio .portfolio-content .mark { display:flex; align-items:center; gap:10px; color:#fff; font-weight:800; }.original-portfolio .portfolio-content .mark::before { content:"PK"; display:grid; place-items:center; width:38px; height:38px; border:1px solid #55d8c8; border-radius:50%; color:#55d8c8; letter-spacing:0; }.original-portfolio .portfolio-content .hero-grid { display:grid; grid-template-columns:1.35fr .65fr; gap:70px; align-items:end; padding-top:100px; }.original-portfolio .portfolio-content .eyebrow, .original-portfolio .portfolio-content .case-no, .original-portfolio .portfolio-content .label { color:#65dfd0; font-size:.72rem; font-weight:800; letter-spacing:.14em; text-transform:uppercase; }.original-portfolio .portfolio-content h1 { max-width:900px; margin:14px 0 24px; font-family:Georgia,serif; font-size:clamp(3.3rem,8vw,7.4rem); line-height:.92; letter-spacing:-.065em; font-weight:500; }.original-portfolio .portfolio-content h1 em { color:#65dfd0; font-style:normal; }.original-portfolio .portfolio-content .intro { max-width:770px; margin:0; color:#c6dad8; font-size:clamp(1rem,2vw,1.28rem); }.original-portfolio .portfolio-content .hero-note { padding:25px; border:1px solid rgba(101,223,208,.28); border-radius:18px; background:rgba(255,255,255,.045); backdrop-filter:blur(8px); }.original-portfolio .portfolio-content .hero-note strong { display:block; margin-bottom:10px; color:#fff; font-size:1.02rem; }.original-portfolio .portfolio-content .hero-note p { margin:0; color:#b8cfcc; font-size:.9rem; }.original-portfolio .portfolio-content .stats { display:grid; grid-template-columns:repeat(4,1fr); margin-top:70px; border:1px solid rgba(101,223,208,.24); border-radius:16px; overflow:hidden; }.original-portfolio .portfolio-content .stat { padding:22px; border-right:1px solid rgba(101,223,208,.18); background:rgba(0,0,0,.08); }.original-portfolio .portfolio-content .stat:last-child { border:0; }.original-portfolio .portfolio-content .stat b { display:block; color:#fff; font-size:1.6rem; }.original-portfolio .portfolio-content .stat span { color:#9dbbb8; font-size:.73rem; text-transform:uppercase; letter-spacing:.09em; }.original-portfolio .portfolio-content .rail { position:sticky; top:0; z-index:10; border-bottom:1px solid var(--line); background:rgba(244,241,233,.94); backdrop-filter:blur(14px); }.original-portfolio .portfolio-content .rail .wrap { display:flex; gap:8px; overflow:auto; padding:12px 0; scrollbar-width:none; }.original-portfolio .portfolio-content .rail a { flex:0 0 auto; padding:7px 12px; border-radius:999px; color:#536260; text-decoration:none; font-size:.76rem; font-weight:700; }.original-portfolio .portfolio-content .rail a:hover { background:#dcebe7; color:var(--teal-dark); }.original-portfolio .portfolio-content main { padding:80px 0; }.original-portfolio .portfolio-content .manifesto { display:grid; grid-template-columns:.72fr 1.28fr; gap:60px; margin-bottom:95px; }.original-portfolio .portfolio-content .manifesto h2, .original-portfolio .portfolio-content .section-head h2 { margin:8px 0 0; font-family:Georgia,serif; font-size:clamp(2.2rem,5vw,4.25rem); line-height:1; letter-spacing:-.045em; font-weight:500; }.original-portfolio .portfolio-content .manifesto-copy { font-size:1.08rem; }.original-portfolio .portfolio-content .manifesto-copy p:first-child { margin-top:0; }.original-portfolio .portfolio-content .legend { display:grid; grid-template-columns:repeat(4,1fr); gap:10px; margin-top:28px; }.original-portfolio .portfolio-content .legend div { padding:15px; border:1px solid var(--line); border-radius:12px; background:var(--panel); font-size:.78rem; color:var(--muted); }.original-portfolio .portfolio-content .legend b { display:block; margin-bottom:4px; color:var(--ink); }.original-portfolio .portfolio-content .case-map { display:grid; grid-template-columns:repeat(3,1fr); gap:10px; margin:-55px 0 85px; }.original-portfolio .portfolio-content .case-map a { padding:17px; border:1px solid var(--line); border-radius:12px; background:var(--panel); color:var(--ink); text-decoration:none; }.original-portfolio .portfolio-content .case-map a:hover { border-color:var(--teal); }.original-portfolio .portfolio-content .case-map b { display:block; margin-bottom:4px; }.original-portfolio .portfolio-content .case-map span { color:var(--muted); font-size:.82rem; }.original-portfolio .portfolio-content .case-map .featured { border-top:4px solid var(--teal); }.original-portfolio .portfolio-content .reading-tools { display:flex; align-items:center; justify-content:space-between; gap:14px; margin:26px 0 0; padding:12px 15px; border:1px solid var(--line); border-radius:12px; background:var(--panel); color:var(--muted); }.original-portfolio .portfolio-content .reading-tools div { display:flex; gap:8px; }.original-portfolio .portfolio-content .reading-tools button { border:1px solid var(--line); border-radius:99px; padding:7px 11px; background:#fff; color:var(--ink); cursor:pointer }.original-portfolio .portfolio-content .reading-tools button:hover {border-color:var(--teal)}.original-portfolio .portfolio-content .deep-case {border-top:1px solid var(--line)}.original-portfolio .portfolio-content .deep-case>summary {padding:15px 25px;color:var(--teal-dark);font-weight:800;cursor:pointer;background:#f5faf8}.original-portfolio .portfolio-content .deep-case[open]>summary {border-bottom:1px solid var(--line)}.original-portfolio .portfolio-content .direct b { color:var(--teal); }.original-portfolio .portfolio-content .simplified b { color:var(--blue); }.original-portfolio .portfolio-content .concept b { color:var(--violet); }.original-portfolio .portfolio-content .decision b { color:var(--amber); }.original-portfolio .portfolio-content .section-head { display:flex; justify-content:space-between; gap:40px; align-items:end; margin:100px 0 32px; padding-top:35px; border-top:1px solid var(--line); }.original-portfolio .portfolio-content .section-head p { max-width:430px; margin:0; color:var(--muted); }.original-portfolio .portfolio-content .case { margin-bottom:28px; border:1px solid var(--line); border-radius:22px; overflow:hidden; background:var(--panel); box-shadow:var(--shadow); }.original-portfolio .portfolio-content .case-top { display:grid; grid-template-columns:190px 1fr; border-bottom:1px solid var(--line); }.original-portfolio .portfolio-content .case-id { padding:28px; background:#edf0e8; }.original-portfolio .portfolio-content .case-id .case-no { color:var(--teal); }.original-portfolio .portfolio-content .case-id b { display:block; margin-top:10px; font-size:.82rem; }.original-portfolio .portfolio-content .case-title { padding:28px 34px; }.original-portfolio .portfolio-content .case-title h3 { margin:3px 0 7px; font-family:Georgia,serif; font-size:clamp(1.8rem,4vw,3rem); line-height:1.08; letter-spacing:-.035em; font-weight:500; }.original-portfolio .portfolio-content .case-title p { margin:0; color:var(--muted); }.original-portfolio .portfolio-content .case-body { display:grid; grid-template-columns:.88fr 1.12fr; }.original-portfolio .portfolio-content .analysis { padding:34px; }.original-portfolio .portfolio-content .analysis h4 { margin:24px 0 6px; font-size:.76rem; color:var(--teal-dark); letter-spacing:.11em; text-transform:uppercase; }.original-portfolio .portfolio-content .analysis h4:first-child { margin-top:0; }.original-portfolio .portfolio-content .analysis p { margin:0 0 12px; }.original-portfolio .portfolio-content .analysis ul { margin:8px 0 0; padding-left:19px; }.original-portfolio .portfolio-content .analysis li { margin:5px 0; }.original-portfolio .portfolio-content .artifact { min-width:0; padding:30px; color:#dce7ed; background:var(--code); }.original-portfolio .portfolio-content .artifact-head { display:flex; justify-content:space-between; gap:18px; margin-bottom:14px; color:#81939f; font-size:.72rem; text-transform:uppercase; letter-spacing:.08em; }.original-portfolio .portfolio-content .artifact-head span:first-child { color:#7fe0d2; font-weight:800; }.original-portfolio .portfolio-content pre { margin:0; overflow:auto; padding:20px; border:1px solid var(--code-line); border-radius:12px; background:#0c1319; color:#d7e0e5; font:12.5px/1.65 "Cascadia Code","SFMono-Regular",Consolas,monospace; tab-size:2; }.original-portfolio .portfolio-content code .kw { color:#d8a8ff; }.original-portfolio .portfolio-content code .fn { color:#7dd3fc; }.original-portfolio .portfolio-content code .str { color:#a7e6a1; }.original-portfolio .portfolio-content code .cm { color:#73838d; }.original-portfolio .portfolio-content code .num { color:#fbbf80; }.original-portfolio .portfolio-content code .key { color:#f9a8d4; }.original-portfolio .portfolio-content .source { margin-top:14px; color:#8fa2ad; font-size:.75rem; }.original-portfolio .portfolio-content .source a { color:#86dacd; text-decoration:none; border-bottom:1px dotted #86dacd; }.original-portfolio .portfolio-content .verdict { display:grid; grid-template-columns:160px 1fr; gap:20px; padding:20px 34px; border-top:1px solid var(--line); background:#f6f3ea; }.original-portfolio .portfolio-content .verdict b { color:var(--teal-dark); font-size:.75rem; letter-spacing:.1em; text-transform:uppercase; }.original-portfolio .portfolio-content .verdict p { margin:0; }.original-portfolio .portfolio-content .flow { display:flex; align-items:stretch; gap:8px; margin:16px 0; }.original-portfolio .portfolio-content .flow div { flex:1; display:grid; place-items:center; min-height:68px; padding:10px; border:1px solid #29404b; border-radius:10px; color:#d8e5e8; text-align:center; font-size:.75rem; }.original-portfolio .portfolio-content .flow i { align-self:center; color:#65dfd0; font-style:normal; }.original-portfolio .portfolio-content .timeline { position:relative; display:grid; grid-template-columns:repeat(5,1fr); gap:8px; margin:18px 0; }.original-portfolio .portfolio-content .timeline div { padding:14px 8px; border:1px solid #29404b; border-radius:9px; text-align:center; font-size:.7rem; }.original-portfolio .portfolio-content .timeline b { display:block; color:#65dfd0; font-size:1rem; }.original-portfolio .portfolio-content .mini-table { width:100%; border-collapse:collapse; margin-top:14px; font-size:.76rem; }.original-portfolio .portfolio-content .mini-table th, .original-portfolio .portfolio-content .mini-table td { padding:9px; border:1px solid #29404b; text-align:left; }.original-portfolio .portfolio-content .mini-table th { color:#7fe0d2; }.original-portfolio .portfolio-content .deep-dive { margin-top:18px; padding-top:18px; border-top:1px solid #2a3b45; }.original-portfolio .portfolio-content .deep-dive h5 { margin:0 0 10px; color:#7fe0d2; font-size:.72rem; letter-spacing:.1em; text-transform:uppercase; }.original-portfolio .portfolio-content .invariants { display:grid; grid-template-columns:repeat(2,1fr); gap:8px; margin:12px 0; }.original-portfolio .portfolio-content .invariants div { padding:11px; border:1px solid #2a3b45; border-radius:9px; background:#111d24; color:#b9c8ce; font-size:.73rem; }.original-portfolio .portfolio-content .invariants b { display:block; color:#f4fbfa; margin-bottom:3px; }.original-portfolio .portfolio-content .state-map { display:grid; grid-template-columns:repeat(4,1fr); gap:7px; margin:12px 0; }.original-portfolio .portfolio-content .state-map div { position:relative; min-height:66px; padding:10px; border:1px solid #31505a; border-radius:9px; color:#c9d9dd; font-size:.7rem; }.original-portfolio .portfolio-content .state-map b { display:block; color:#7fe0d2; font-size:.76rem; }.original-portfolio .portfolio-content .state-map div:not(:last-child)::after { content:"→"; position:absolute; right:-8px; top:22px; z-index:2; color:#65dfd0; }.original-portfolio .portfolio-content .counterexample { margin:12px 0; padding:13px; border-left:3px solid #f59e0b; background:#1b2021; color:#d8d5c8; font-size:.76rem; }.original-portfolio .portfolio-content .complexity-note { margin:18px 0 0; padding:18px; border:1px solid var(--line); border-radius:13px; background:#eef1e9; }.original-portfolio .portfolio-content .complexity-note b { color:var(--teal-dark); }.original-portfolio .portfolio-content .closing { margin-top:100px; padding:55px; border-radius:24px; color:#e8f4f2; background:#0b272b; }.original-portfolio .portfolio-content .closing h2 { max-width:800px; margin:0 0 22px; font:500 clamp(2.3rem,6vw,5rem)/1 Georgia,serif; letter-spacing:-.05em; }.original-portfolio .portfolio-content .closing-grid { display:grid; grid-template-columns:repeat(3,1fr); gap:16px; }.original-portfolio .portfolio-content .closing-grid div { padding:20px; border:1px solid #295056; border-radius:12px; }.original-portfolio .portfolio-content .closing-grid b { color:#65dfd0; }.original-portfolio .portfolio-content footer { padding:35px 0 55px; color:#687371; font-size:.78rem; }
    @media(max-width:850px) {.original-portfolio .portfolio-content .hero-grid, .original-portfolio .portfolio-content .manifesto, .original-portfolio .portfolio-content .case-body { grid-template-columns:1fr; }.original-portfolio .portfolio-content .case-map { grid-template-columns:1fr 1fr; margin-top:-45px; }.original-portfolio .portfolio-content .hero-grid { padding-top:65px; gap:35px; }.original-portfolio .portfolio-content .stats, .original-portfolio .portfolio-content .legend, .original-portfolio .portfolio-content .closing-grid { grid-template-columns:1fr 1fr; }.original-portfolio .portfolio-content .case-top { grid-template-columns:1fr; }.original-portfolio .portfolio-content .case-id { padding:16px 25px; }.original-portfolio .portfolio-content .section-head { display:block; }.original-portfolio .portfolio-content .section-head p { margin-top:15px; }
    }
    @media(max-width:540px) {.original-portfolio .portfolio-content .case-map { grid-template-columns:1fr; }.original-portfolio .portfolio-content .wrap { width:min(100% - 24px,1180px); }.original-portfolio .portfolio-content .stats, .original-portfolio .portfolio-content .legend, .original-portfolio .portfolio-content .closing-grid { grid-template-columns:1fr; }.original-portfolio .portfolio-content .topline span:last-child { display:none; }.original-portfolio .portfolio-content .analysis, .original-portfolio .portfolio-content .artifact, .original-portfolio .portfolio-content .case-title { padding:22px; }.original-portfolio .portfolio-content .verdict { grid-template-columns:1fr; }.original-portfolio .portfolio-content .flow, .original-portfolio .portfolio-content .timeline { display:grid; grid-template-columns:1fr; }.original-portfolio .portfolio-content .invariants, .original-portfolio .portfolio-content .state-map { grid-template-columns:1fr; }.original-portfolio .portfolio-content .state-map div::after { display:none; }.original-portfolio .portfolio-content .flow i { transform:rotate(90deg); text-align:center; }.original-portfolio .portfolio-content .closing { padding:30px 23px; }
    }
    @media print {.original-portfolio .portfolio-content body { background:#fff; font-size:9pt; }.original-portfolio .portfolio-content .hero { min-height:auto; padding-bottom:35px; background:#102b30 !important; print-color-adjust:exact; -webkit-print-color-adjust:exact; }.original-portfolio .portfolio-content .hero-grid { padding-top:35px; }.original-portfolio .portfolio-content .rail { display:none; }.original-portfolio .portfolio-content .reading-tools { display:none; }.original-portfolio .portfolio-content main { padding-top:35px; }.original-portfolio .portfolio-content .case { box-shadow:none; break-inside:avoid; }.original-portfolio .portfolio-content .artifact { print-color-adjust:exact; -webkit-print-color-adjust:exact; }.original-portfolio .portfolio-content .deep-case>summary {display:none}.original-portfolio .portfolio-content .deep-case:not([open])>.case-body, .original-portfolio .portfolio-content .deep-case:not([open])>.verdict {display:grid!important}.original-portfolio .portfolio-content .section-head { margin-top:45px; }
    }