:root{
  --navy:#1f3864; --blue:#2e75b6; --orange:#c25e0f;
  --ink:#1b2430; --muted:#5b6673;
  --surface:#ffffff; --surface-soft:#f4f7fa; --line:#dde5ec;
  --on-navy:#ffffff; --on-navy-muted:#c7d5e4; --on-navy-link:#9fc3e8;
  --focus-ring:var(--blue);
  --font-sans:"IBM Plex Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif;
  --font-mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;
  --space-6:6px; --space-10:10px; --space-12:12px; --space-14:14px; --space-18:18px;
  --space-20:20px; --space-22:22px; --space-24:24px; --space-34:34px; --space-56:56px; --space-72:72px;
  --container-max:1040px;
  --radius-card:10px; --radius-panel:12px; --radius-pill:20px;
  color-scheme: light;
}
*,*::before,*::after{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:84px}
body{margin:0;font-family:var(--font-sans);font-size:16px;color:var(--ink);background:var(--surface);line-height:1.6;-webkit-font-smoothing:antialiased}
img{max-width:100%;display:block}
a{color:var(--blue)}
:focus-visible{outline:2px solid var(--focus-ring);outline-offset:2px;border-radius:2px}
.dark :focus-visible{outline-color:var(--on-navy-link)}
.wrap{max-width:var(--container-max);margin:0 auto;padding-inline:var(--space-24)}
h1,h2,h3{text-wrap:balance}
p{margin:0 0 var(--space-12);max-width:760px}
.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}

/* Nav */
.nav{position:sticky;top:env(safe-area-inset-top,0px);z-index:10;background:var(--surface);border-bottom:1px solid var(--line)}
.nav .wrap{display:flex;align-items:center;justify-content:space-between;gap:var(--space-22);padding-block:14px}
.brand{display:flex;align-items:center;gap:var(--space-12);text-decoration:none;flex-shrink:0}
.brand img{width:44px;height:44px}
.brand-name{display:block;font-size:20px;font-weight:700;letter-spacing:.04em;color:var(--navy);line-height:1.2}
.brand-sub{display:block;font-size:11.52px;letter-spacing:.06em;color:var(--muted);line-height:1.3}
.links{display:flex;align-items:center;gap:var(--space-22)}
.links a{color:var(--muted);text-decoration:none;font-size:14.4px}
.links a:hover{color:var(--navy)}
.btn{display:inline-flex;align-items:center;justify-content:center;border-radius:var(--radius-pill);font-family:var(--font-sans);font-weight:600;font-size:14.4px;line-height:1;padding:11px var(--space-22);text-decoration:none;white-space:nowrap}
.links a.btn,.btn-primary{background:var(--navy);color:var(--on-navy)}
.links a.btn:hover,.btn-primary:hover{background:var(--ink);color:var(--on-navy)}
.btn-accent{background:var(--orange);color:var(--on-navy);font-size:19px;font-weight:700;padding:14px 26px}
.btn-accent:hover{background:#a84f0b}
@media (max-width:420px){.brand-sub{display:none}}

/* Hero */
.hero{background:var(--navy);color:var(--on-navy-muted);position:relative;overflow:hidden}
.hero .wrap{position:relative;padding-block:var(--space-72) 64px;display:grid;grid-template-columns:minmax(0,1fr) 300px;gap:40px;align-items:center}
.hero h1{font-size:clamp(1.7rem,4vw,2.6rem);line-height:1.2;font-weight:700;letter-spacing:-.01em;color:var(--on-navy);margin:0;max-width:760px}
.lede{margin:var(--space-18) 0 28px;font-size:17.28px;color:var(--on-navy-muted);max-width:680px}
.facts{display:flex;flex-wrap:wrap;gap:var(--space-10);list-style:none;margin:0;padding:0}
.facts li{font-size:12.8px;line-height:1.4;color:var(--on-navy-muted);border:1px solid rgba(199,213,228,.55);border-radius:var(--radius-pill);padding:var(--space-6) var(--space-14)}
.scope{width:100%;max-width:300px;aspect-ratio:1;justify-self:end}
.scope .ring{fill:none;stroke:var(--blue);stroke-width:1.5}
.scope .axis{stroke:var(--blue);stroke-width:1;opacity:.6}
.scope .hand{stroke:var(--on-navy-link);stroke-width:2}
@media (max-width:760px){.hero .wrap{grid-template-columns:1fr}.scope{display:none}}

/* Sections */
section{padding-block:var(--space-56)}
section.alt{background:var(--surface-soft);border-block:1px solid var(--line)}
.kicker{font-size:12px;font-weight:700;letter-spacing:.12em;text-transform:uppercase;color:var(--blue);margin:0 0 var(--space-6)}
h2{font-size:23.2px;line-height:1.3;font-weight:700;color:var(--navy);margin:0 0 var(--space-14);max-width:760px}
.statement{font-size:clamp(1.7rem,4vw,2.6rem);line-height:1.2;letter-spacing:-.01em;max-width:820px;margin-bottom:var(--space-22)}
.problem p:not(.kicker){font-size:17.28px;color:var(--ink)}

/* System */
.layers{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:0;margin-top:var(--space-34);border:1px solid var(--line);border-radius:var(--radius-card);background:var(--surface);overflow:hidden}
.layer{padding:var(--space-22) var(--space-22) 26px;position:relative;display:flex;flex-direction:column}
.layer + .layer{border-left:1px solid var(--line)}
.layer + .layer::before{content:"";position:absolute;left:-9px;top:46px;width:16px;height:16px;background:var(--surface);border-top:1px solid var(--line);border-right:1px solid var(--line);transform:rotate(45deg)}
.layer-head{display:flex;align-items:center;gap:var(--space-12);margin-bottom:var(--space-14)}
.layer-head svg{width:48px;height:48px;flex-shrink:0}
.layer-name{font-family:var(--font-mono);font-size:13px;font-weight:500;letter-spacing:.14em;color:var(--blue);margin:0}
.layer h3{font-size:16.32px;line-height:1.4;font-weight:700;color:var(--navy);margin:0}
.layer p{font-size:14.72px;color:var(--muted);margin:0}
.ico .s{fill:none;stroke:var(--blue);stroke-width:1.6;stroke-linecap:round;stroke-linejoin:round}
.ico .n{fill:none;stroke:var(--navy);stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}
.ico .f{fill:var(--navy)}
.ico .t{fill:var(--orange)}
@media (max-width:820px){
  .layers{grid-template-columns:1fr}
  .layer + .layer{border-left:0;border-top:1px solid var(--line)}
  .layer + .layer::before{left:40px;top:-9px;transform:rotate(135deg)}
}

.tiers{margin-top:var(--space-34)}
.tiers-title{font-family:var(--font-mono);font-size:13px;color:var(--muted);margin:0 0 var(--space-12)}
.tier-row{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-14);list-style:none;margin:0;padding:0}
.tier{background:var(--surface);border:1px solid var(--line);border-top:3px solid var(--blue);border-radius:4px;padding:var(--space-14) var(--space-18) var(--space-18);position:relative}
.tier:nth-child(2){border-top-style:dashed}
.tier:nth-child(3){border-top-color:var(--line)}
.tier-top{display:flex;align-items:center;justify-content:space-between;margin-bottom:var(--space-6)}
.tier b{color:var(--navy);font-size:15.04px}
.tier > span{display:block;color:var(--muted);font-size:14.72px;line-height:1.5}
.link{display:flex;gap:3px;align-items:flex-end;height:14px}
.link i{display:block;width:4px;background:var(--blue);border-radius:1px}
.link i:nth-child(1){height:5px}.link i:nth-child(2){height:9px}.link i:nth-child(3){height:14px}
.link i.off{background:var(--line)}
.tier:not(:last-child)::after{content:"→";position:absolute;right:-13px;top:50%;transform:translateY(-50%);font-family:var(--font-mono);font-size:13px;color:var(--muted);background:var(--surface-soft);line-height:1;padding:2px 0}
@media (max-width:820px){
  .tier-row{grid-template-columns:1fr}
  .tier:not(:last-child)::after{content:"↓";right:auto;left:50%;top:auto;bottom:-15px;transform:translateX(-50%);padding:0 2px}
}
.act-note{margin:var(--space-22) 0 0;font-size:15.04px;color:var(--muted)}

/* Photo slot */
.testbed{margin:var(--space-34) 0 0;max-width:760px}
.testbed .frame{aspect-ratio:16/9;max-width:100%;border-radius:var(--radius-card);overflow:hidden;background:var(--surface-soft);border:1px solid var(--line)}
.testbed .frame img{width:100%;height:100%;object-fit:cover}
.testbed .placeholder{width:100%;height:100%;display:flex;align-items:center;justify-content:center;font-family:var(--font-mono);font-size:13px;color:var(--muted);background:repeating-linear-gradient(135deg,var(--surface-soft) 0 12px,#eef2f6 12px 24px)}
.testbed figcaption{font-family:var(--font-mono);font-size:13px;color:var(--muted);margin-top:var(--space-10)}

/* Cards */
.grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:var(--space-20);margin-top:var(--space-22)}
.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-card);padding:var(--space-22)}
.card h3{font-size:16.32px;line-height:1.4;font-weight:700;color:var(--navy);margin:0 0 8px}
.card p{font-size:14.72px;color:var(--muted);margin:0}

/* AeroVigil */
.vigil{background:var(--surface-soft);border-block:1px solid var(--line)}
.vigil-mark{display:flex;align-items:center;gap:var(--space-10);margin-bottom:var(--space-18)}
.vigil-mark svg{width:28px;height:28px}
.vigil-mark span{font-size:15px;font-weight:700;letter-spacing:.18em;color:var(--navy)}
.vigil-mark em{font-style:normal;font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted);border-left:1px solid var(--line);padding-left:var(--space-10)}
.vigil .intro{font-size:17.28px;color:var(--ink)}
.vigil .card{border-color:#cfdae5}
.pilot{margin-top:var(--space-34);display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:var(--space-20);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-card);padding:var(--space-22) var(--space-24)}
.pilot p{margin:0;max-width:600px}

/* Rigor */
.rigor-grid{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);gap:var(--space-34);align-items:start}
.stage{border-top:1px solid var(--navy);margin:0;font-family:var(--font-mono);font-size:13px;width:100%;border-collapse:collapse}
.stage caption{text-align:left;font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--blue);font-family:var(--font-sans);font-weight:700;padding-bottom:var(--space-10)}
.stage th,.stage td{text-align:left;padding:var(--space-12) 0;border-bottom:1px solid var(--line);vertical-align:top}
.stage th{font-weight:500;color:var(--navy);padding-right:var(--space-14);width:46%}
.stage td{color:var(--muted)}
.stage .st{display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:8px;background:var(--blue);vertical-align:1px}
.stage .st.half{background:linear-gradient(90deg,var(--blue) 50%,var(--line) 50%)}
.stage .st.open{background:var(--surface);box-shadow:inset 0 0 0 1.5px var(--blue)}
@media (max-width:760px){.rigor-grid{grid-template-columns:1fr}}

/* Team */
.founders{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-20);margin-top:var(--space-22)}
.founder{border-top:1px solid var(--navy);padding-top:var(--space-18)}
.founder h3{font-size:16.8px;font-weight:700;color:var(--navy);margin:0}
.role{font-size:13.6px;font-weight:600;color:var(--blue);margin:0 0 var(--space-10)}
.founder p:last-child{font-size:15.04px;color:var(--muted);margin:0}
.sab{margin-top:var(--space-22);font-size:15.04px;color:var(--muted)}
.sab b{color:var(--navy)}
@media (max-width:700px){.founders{grid-template-columns:1fr}}

.careers{margin-top:var(--space-34);background:var(--surface-soft);border:1px solid var(--line);border-radius:var(--radius-card);padding:var(--space-22) var(--space-24)}
.careers h3{font-size:16.32px;color:var(--navy);margin:0 0 var(--space-6)}
.careers > p{font-size:14.72px;color:var(--muted)}
.roles{list-style:none;margin:var(--space-14) 0;padding:0;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-12)}
.roles li{background:var(--surface);border:1px solid var(--line);border-radius:6px;padding:var(--space-12) var(--space-14);font-size:14.72px;color:var(--navy);font-weight:600;line-height:1.4}
.roles li small{display:block;font-weight:400;color:var(--muted);font-size:13px;margin-top:4px}
.careers .meta{display:flex;flex-wrap:wrap;gap:var(--space-10) var(--space-22);font-family:var(--font-mono);font-size:13px;color:var(--muted);margin:0}
.careers .meta a{color:var(--blue)}
@media (max-width:760px){.roles{grid-template-columns:1fr}}

/* Contact */
.contact{background:var(--navy);color:var(--on-navy-muted);border-radius:var(--radius-panel);padding:var(--space-34)}
.contact h2{color:var(--on-navy)}
.contact p{color:var(--on-navy-muted)}
.contact a{color:var(--on-navy-link);text-decoration:none}
.contact a:hover{text-decoration:underline}
.ids{font-family:var(--font-mono);font-size:13px;margin:var(--space-18) 0 0}
footer .wrap{display:flex;flex-wrap:wrap;gap:var(--space-10);justify-content:space-between;padding-block:26px 40px;color:var(--muted);font-size:12.8px}
@media (max-width:520px){.contact{padding:var(--space-24)}}

[hidden]{display:none!important}

/* Radar scope: the target only shows when the beam crosses it (sweep 14s; target at 48.4deg = 13.45% of a turn) */
.scope .wedge{fill:var(--blue);opacity:.16}
.scope .wedge2{fill:var(--blue);opacity:.3}
.scope .sweep{transform-origin:150px 150px;animation:sweep 14s linear infinite}
.scope .dot{fill:var(--orange);opacity:0;animation:blip 14s linear infinite}
.scope .halo{fill:none;stroke:var(--on-navy);stroke-width:1.5;opacity:0;transform-box:fill-box;transform-origin:center;animation:ping 14s linear infinite}
@keyframes sweep{to{transform:rotate(360deg)}}
@keyframes blip{0%,13.3%{opacity:0}13.6%{opacity:1}22%{opacity:.85}48%{opacity:0}100%{opacity:0}}
@keyframes ping{0%,13.3%{opacity:0;transform:scale(.6)}13.6%{opacity:1;transform:scale(.6)}24%{opacity:0;transform:scale(2.2)}100%{opacity:0;transform:scale(2.2)}}
@media (prefers-reduced-motion:reduce){.scope .sweep,.scope .halo{animation:none}.scope .dot{animation:none;opacity:1}}

/* Nav: current page + small-screen menu */
.links a[aria-current="page"]{color:var(--navy);font-weight:600}
.menu-btn{display:none;align-items:center;gap:8px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-pill);padding:9px 16px;font:600 14.4px/1 var(--font-sans);color:var(--navy);cursor:pointer}
.menu-btn svg{width:16px;height:16px}
@media (max-width:920px){
  .menu-btn{display:inline-flex}
  .links{display:none;position:absolute;left:0;right:0;top:100%;background:var(--surface);border-bottom:1px solid var(--line);flex-direction:column;align-items:stretch;gap:0;padding:8px var(--space-24) var(--space-18);box-shadow:0 12px 24px rgba(27,36,48,.08)}
  .links.open{display:flex}
  .links a{padding:12px 0;border-bottom:1px solid var(--line);font-size:16px}
  .links a.btn{margin-top:var(--space-14);border-bottom:0;padding:13px var(--space-22)}
  .nav .wrap{position:relative}
}

/* Page header (sub-pages) */
.page-head{background:var(--navy);color:var(--on-navy-muted)}
.page-head .wrap{padding-block:56px 48px}
.page-head .kicker{color:var(--on-navy-link)}
.page-head h1{font-size:clamp(1.6rem,3.4vw,2.3rem);line-height:1.2;letter-spacing:-.01em;color:var(--on-navy);margin:0;max-width:820px}
.page-head .lede{margin:var(--space-18) 0 0}
.crumbs{font-family:var(--font-mono);font-size:13px;color:var(--on-navy-muted);margin:0 0 var(--space-18)}
.crumbs a{color:var(--on-navy-link);text-decoration:none}
.crumbs a:hover{text-decoration:underline}

/* System page: stacked layer rows */
.layer-rows{display:grid;gap:var(--space-20)}
.layer-row{display:grid;grid-template-columns:220px minmax(0,1fr);gap:var(--space-34);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-card);padding:var(--space-34)}
.layer-row .layer-id svg{width:56px;height:56px;margin-bottom:var(--space-14)}
.layer-row .layer-id .layer-name{margin-bottom:var(--space-6)}
.layer-row h2{font-size:20px;margin:0}
.layer-row .body > p{font-size:16px;color:var(--ink)}
.layer-row .tiers{margin-top:var(--space-22)}
.layer-row .tier:not(:last-child)::after{background:var(--surface)}
@media (max-width:760px){.layer-row{grid-template-columns:1fr;gap:var(--space-14);padding:var(--space-22)}}

/* Row list (programs etc.) */
.rows{border-top:1px solid var(--navy);margin-top:var(--space-22)}
.row{display:grid;grid-template-columns:260px minmax(0,1fr);gap:var(--space-34);padding-block:var(--space-34);border-bottom:1px solid var(--line)}
.row h2{font-size:20px;margin:0}
.row .idx{font-family:var(--font-mono);font-size:13px;color:var(--blue);margin:0 0 var(--space-6)}
.row p{font-size:16px;color:var(--ink);margin:0}
@media (max-width:760px){.row{grid-template-columns:1fr;gap:var(--space-10);padding-block:var(--space-22)}}

/* Home teasers */
.tlink{display:block;text-decoration:none;color:inherit;transition:border-color .15s,transform .15s}
.tlink:hover{border-color:var(--blue)}
.tlink:hover .more{text-decoration:underline}
.more{text-decoration:none;display:inline-block;margin-top:var(--space-14);font-size:14.4px;font-weight:600;color:var(--blue)}
.home-layers .layer{padding-bottom:var(--space-22)}
.home-layers .layer p.more{margin-top:auto;padding-top:var(--space-14)}
.section-foot{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:var(--space-14);margin-top:var(--space-22)}
.section-foot a.more{margin:0}
.prog-list{list-style:none;margin:var(--space-22) 0 0;padding:0;border-top:1px solid var(--navy)}
.prog-list a{display:flex;justify-content:space-between;align-items:center;gap:var(--space-14);padding:var(--space-18) 0;border-bottom:1px solid var(--line);text-decoration:none;color:var(--navy);font-weight:700;font-size:17.28px}
.prog-list a span:last-child{font-family:var(--font-mono);font-weight:400;font-size:13px;color:var(--blue)}
.prog-list a:hover{color:var(--blue)}
.vigil-band .wrap{display:grid;grid-template-columns:minmax(0,1.5fr) auto;gap:var(--space-34);align-items:center}
.vigil-band .actions{display:flex;flex-wrap:wrap;gap:var(--space-12)}
.btn-secondary{background:var(--surface);color:var(--navy);box-shadow:inset 0 0 0 1px var(--blue)}
.btn-secondary:hover{background:var(--surface-soft)}
@media (max-width:820px){.vigil-band .wrap{grid-template-columns:1fr}}

/* AeroVigil page header (civilian, light) */
.vigil-head{background:var(--surface-soft);border-bottom:1px solid var(--line)}
.vigil-head .wrap{padding-block:56px 48px}
.vigil-head h1{font-size:clamp(1.6rem,3.4vw,2.3rem);line-height:1.2;letter-spacing:-.01em;color:var(--navy);margin:0;max-width:820px}
.vigil-head .crumbs,.vigil-head .crumbs a{color:var(--muted)}
.vigil-head .intro{margin-top:var(--space-18)}

/* Contact page */
.facts-table{width:100%;border-collapse:collapse;border-top:1px solid var(--navy);font-size:15.04px}
.facts-table th,.facts-table td{text-align:left;padding:var(--space-14) 0;border-bottom:1px solid var(--line);vertical-align:top}
.facts-table th{width:200px;font-weight:600;color:var(--navy);padding-right:var(--space-22)}
.facts-table td.mono{font-family:var(--font-mono);font-size:13px;padding-top:17px}
@media (max-width:560px){.facts-table th{width:120px}}

/* Next-page link */
.next{border-top:1px solid var(--line);background:var(--surface)}
.next .wrap{padding-block:var(--space-34);display:flex;justify-content:flex-end}
.next a{text-decoration:none;text-align:right}
.next small{display:block;font-family:var(--font-mono);font-size:13px;color:var(--muted)}
.next b{font-size:20px;color:var(--navy)}
.next a:hover b{color:var(--blue)}
footer{border-top:1px solid var(--line)}
footer nav{display:flex;flex-wrap:wrap;gap:var(--space-18)}
footer nav a{color:var(--muted);text-decoration:none}
footer nav a:hover{color:var(--navy)}
.nf{padding-block:96px}
.layer .layer-name{color:var(--blue)}
.layer p.more{color:var(--blue)}
a.more:hover{text-decoration:underline}


/* ---- Insights (blog) ---- */
.post-hero{background:var(--surface-soft);border-bottom:1px solid var(--line);padding-block:var(--space-56) var(--space-34)}
.post-hero h1{color:var(--navy);font-size:34px;margin:0 0 var(--space-12)}
.post-hero .lede{color:var(--muted)}
.chips{display:flex;flex-wrap:wrap;gap:var(--space-10);margin-top:var(--space-20)}
.chip{font-family:var(--font-sans);font-size:13.5px;font-weight:600;color:var(--muted);background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-pill);padding:7px 14px;cursor:pointer}
.chip:hover{color:var(--navy);border-color:var(--blue)}
.chip.active{background:var(--navy);border-color:var(--navy);color:var(--on-navy)}
.post-list{padding-block:var(--space-34) var(--space-72)}
.post-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:var(--space-20)}
.post-card{display:block;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius-card);padding:var(--space-22);text-decoration:none;color:var(--ink);transition:border-color .15s ease, transform .15s ease}
.post-card:hover{border-color:var(--blue);transform:translateY(-2px)}
.post-card h2{font-size:19px;line-height:1.35;color:var(--navy);margin:6px 0 8px}
.post-card p{font-size:14.5px;color:var(--muted);margin:0 0 8px}
.post-card-cat{font-family:var(--font-mono);font-size:11.5px;letter-spacing:.08em;text-transform:uppercase;color:var(--orange);margin:0}
.post-meta{font-family:var(--font-mono);font-size:12.5px;color:var(--muted)}
article.post{padding-block:var(--space-56) var(--space-72)}
article.post .wrap{max-width:780px}
article.post h1{color:var(--navy);font-size:32px;line-height:1.25;margin:6px 0 8px}
article.post h2{color:var(--navy);font-size:22px;margin:var(--space-34) 0 var(--space-10)}
article.post h3{color:var(--navy);font-size:17px;margin:var(--space-20) 0 var(--space-6)}
article.post p{max-width:none}
article.post .lede{font-size:18px;color:var(--ink)}
.post-kicker{font-family:var(--font-mono);font-size:12.5px;letter-spacing:.06em;text-transform:uppercase;color:var(--orange);margin:0}
.post-kicker a{color:inherit;text-decoration:none}
.post-kicker a:hover{text-decoration:underline}
.refs-h{border-top:1px solid var(--line);padding-top:var(--space-20)}
ol.refs{padding-left:20px;color:var(--muted);font-size:14px}
ol.refs li{margin-bottom:8px}
.post-note{font-family:var(--font-mono);font-size:12.5px;color:var(--muted);border-left:3px solid var(--line);padding-left:12px;margin-top:var(--space-34)}
@media (max-width:700px){article.post h1{font-size:26px}.post-hero h1{font-size:28px}}

/* formulas & figures */
.formula{font-family:var(--font-mono);background:var(--surface-soft);border:1px solid var(--line);border-left:3px solid var(--blue);border-radius:6px;padding:11px 14px;margin:16px 0;font-size:15.5px;color:var(--navy);overflow-x:auto}
.formula .katex-display{margin:4px 0}
.formula .who{display:block;font-family:var(--font-sans);font-size:12.5px;color:var(--muted);margin-top:6px}
article.post figure{margin:20px 0}
article.post figure img{width:100%;max-width:660px;border:1px solid var(--line);border-radius:8px;background:#fff}
article.post figcaption{font-family:var(--font-mono);font-size:12.5px;color:var(--muted);margin-top:8px;max-width:660px}