:root{
  --ink:#1b2434; --paper:#f3f5f7; --card:#ffffff; --rule:#d9dee5; --muted:#5c6672;
  --seal:#7c2d3a; --seal-ink:#5f212b; --verify:#1f7a5c;
  --mono: ui-monospace, "SF Mono", "Cascadia Code", "JetBrains Mono", Menlo, Consolas, monospace;
  --serif: Charter, "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0; background:var(--paper); color:var(--ink); font-family:var(--sans); line-height:1.55; font-size:16px}
.wrap{max-width:860px; margin:0 auto; padding:0 20px}
.eyebrow{font-family:var(--mono); font-size:11px; letter-spacing:.18em; text-transform:uppercase; color:var(--muted); margin:0 0 14px; display:flex; align-items:center; gap:10px}
.eyebrow::after{content:""; flex:1; height:1px; background:var(--rule)}
header{padding:56px 0 40px; border-bottom:1px solid var(--rule)}
.brand{display:flex; align-items:center; gap:18px; margin-bottom:26px}
.seal{flex:0 0 auto}
.brand h1{font-family:var(--serif); font-weight:600; font-size:30px; line-height:1.1; margin:0; letter-spacing:-.01em}
.brand .sub{font-family:var(--mono); font-size:12px; color:var(--muted); margin-top:4px}
.thesis{font-size:18px; max-width:60ch; margin:0; color:#39424f}
.fingerprint{margin-top:30px; background:var(--card); border:1px solid var(--rule); border-radius:10px; padding:18px 20px; position:relative; overflow:hidden}
.fingerprint::before{content:""; position:absolute; left:0; top:0; bottom:0; width:4px; background:var(--seal)}
.fingerprint .label{font-family:var(--mono); font-size:11px; letter-spacing:.14em; text-transform:uppercase; color:var(--muted)}
.fingerprint .fp{font-family:var(--mono); font-size:15px; font-weight:600; margin-top:8px; word-break:break-all; color:var(--seal-ink)}
.fingerprint .algo{font-family:var(--mono); font-size:12px; color:var(--muted); margin-top:8px}
section{padding:44px 0; border-bottom:1px solid var(--rule)}
section > h2{font-family:var(--serif); font-weight:600; font-size:22px; margin:0 0 18px}
.keylinks{display:flex; flex-wrap:wrap; gap:12px; margin-top:6px}
.btn{font-family:var(--mono); font-size:13px; text-decoration:none; color:var(--ink); border:1px solid var(--rule); background:var(--card); border-radius:8px; padding:10px 14px; display:inline-flex; align-items:center; gap:8px; transition:border-color .12s ease}
.btn:hover{border-color:var(--seal)}
.btn.primary{background:var(--seal); color:#fff; border-color:var(--seal)}
.btn.primary:hover{background:var(--seal-ink)}
.btn .tick{color:var(--seal)} .btn.primary .tick{color:#fff}
ol.steps{list-style:none; counter-reset:s; margin:0; padding:0}
ol.steps > li{counter-increment:s; position:relative; padding:0 0 26px 46px}
ol.steps > li::before{content:counter(s,decimal-leading-zero); position:absolute; left:0; top:-2px; font-family:var(--mono); font-size:13px; font-weight:600; color:var(--seal); border:1px solid var(--rule); border-radius:50%; width:30px; height:30px; display:flex; align-items:center; justify-content:center; background:var(--card)}
ol.steps > li:not(:last-child)::after{content:""; position:absolute; left:15px; top:30px; bottom:8px; width:1px; background:var(--rule)}
ol.steps .what{font-weight:600; margin-bottom:8px}
pre.cmd{font-family:var(--mono); font-size:13px; line-height:1.6; color:#e8ecf1; background:#1b2434; border-radius:8px; padding:14px 16px; margin:0; overflow-x:auto; position:relative; border-left:3px solid var(--seal)}
pre.cmd .c{color:#8b97a7} pre.cmd .ok{color:#7fd6ad}
.copy{position:absolute; top:8px; right:8px; font-family:var(--mono); font-size:11px; color:#8b97a7; background:transparent; border:1px solid #33405a; border-radius:6px; padding:4px 8px; cursor:pointer; transition:color .12s, border-color .12s}
.copy:hover{color:#e8ecf1; border-color:#5a6b8a}
.note{font-size:14px; color:var(--muted); margin-top:6px; border-left:2px solid var(--rule); padding-left:12px}
.dist{margin-bottom:26px}
.dist h3{font-family:var(--mono); font-size:15px; font-weight:600; margin:0 0 10px; display:flex; align-items:center; gap:10px}
.dist h3 .seal-dot{width:8px; height:8px; border-radius:50%; background:var(--seal); flex:0 0 auto}
.ver{display:grid; grid-template-columns:auto 1fr; gap:6px 16px; align-items:baseline; padding:12px 0; border-top:1px solid var(--rule)}
.ver .num{font-family:var(--mono); font-size:14px; font-weight:600}
.ver .arts{display:flex; flex-wrap:wrap; gap:8px}
.chip{font-family:var(--mono); font-size:12px; text-decoration:none; color:var(--ink); border:1px solid var(--rule); border-radius:6px; padding:3px 9px; background:var(--card); transition:border-color .12s}
.chip:hover{border-color:var(--seal)}
.chip.tar{border-color:#cdd7c9; background:#f4f8f1}
.ver .digest{grid-column:2; font-family:var(--mono); font-size:12px; color:var(--muted); word-break:break-all}
.ver .digest b{color:var(--ink); font-weight:600}
footer{padding:36px 0 60px; color:var(--muted); font-family:var(--mono); font-size:12px}
footer .row{display:flex; flex-wrap:wrap; gap:6px 20px}
a:focus-visible, .copy:focus-visible, .btn:focus-visible{outline:2px solid var(--seal); outline-offset:2px; border-radius:6px}
@media (max-width:560px){.brand{flex-wrap:wrap; gap:14px} .ver{grid-template-columns:1fr} .ver .digest{grid-column:1}}
@media (prefers-reduced-motion:reduce){*{transition:none !important}}
.result{display:flex; align-items:center; gap:12px; width:100%; margin-bottom:6px; padding:10px 14px; font:inherit; text-align:left; color:inherit; background:var(--card); border:1px solid var(--rule); border-radius:8px; cursor:pointer; -webkit-appearance:none; appearance:none; transition:border-color .12s ease}
.result:hover{border-color:var(--seal)}
.result:focus-visible{outline:2px solid var(--seal); outline-offset:2px}
.is-selected .result{border-color:var(--seal); box-shadow:inset 0 0 0 1px var(--seal)}
.lookup-detail:empty{display:none}
.detail-card{margin:14px 0 4px; padding:18px 20px; background:var(--card); border:1px solid var(--rule); border-left:3px solid var(--seal); border-radius:10px}
.detail-head{display:flex; align-items:center; gap:12px; flex-wrap:wrap}
.detail-module{font-family:var(--mono); font-size:16px; font-weight:600; color:var(--ink)}
.detail-version{font-family:var(--mono); font-size:13px; color:var(--muted)}
.detail-head .badge{margin-left:auto}
.detail-chips{display:flex; flex-wrap:wrap; gap:8px; margin-top:14px}
.detail-meta{font-family:var(--mono); font-size:12px; color:var(--muted); margin:14px 0 0; word-break:break-all}
.detail-note{font-size:14px; color:#39424f; margin:12px 0 0}
.detail-card .btn{margin-top:14px}
.lookup-input{width:100%; font-family:var(--mono); font-size:15px; color:var(--ink); background:var(--card); border:1px solid var(--rule); border-radius:10px; padding:13px 16px; transition:border-color .12s ease}
.lookup-input:focus{outline:none; border-color:var(--seal)}
.lookup-input::placeholder{color:var(--muted)}
.lookup-status{font-family:var(--mono); font-size:12px; color:var(--muted); margin:10px 2px 0}
.lookup-results{list-style:none; margin:12px 0 0; padding:0}
.result-name{font-family:var(--mono); font-size:14px; font-weight:600; color:var(--ink)}
.result-svc{font-family:var(--mono); font-size:12px; color:var(--muted)}
.badge{margin-left:auto; font-family:var(--mono); font-size:11px; letter-spacing:.04em; text-transform:uppercase; padding:3px 9px; border-radius:20px; border:1px solid transparent}
.badge-signed{color:#1f7a5c; background:#e8f4ee; border-color:#bfe0cd}
.badge-unbuilt{color:var(--muted); background:#eef1f4; border-color:var(--rule)}
.badge-external{color:var(--seal); background:#f6e9eb; border-color:#e6c9cf}
.lookup-none{font-family:var(--mono); font-size:13px; color:var(--muted); padding:10px 2px}
.detail-close{margin-left:8px; font-family:var(--mono); font-size:18px; line-height:1; color:var(--muted); background:transparent; border:0; padding:0 2px; cursor:pointer}
.detail-close:hover{color:var(--seal)}
.lookup-hint{font-family:var(--mono); font-size:12px; color:var(--muted); margin:8px 2px 0; line-height:1.5; max-width:70ch}
/* ---- tabs (progressive enhancement) ---- */
.tabs[hidden], .panel[hidden]{display:none}
header{border-bottom:0; padding-bottom:28px}
.tabs{display:flex; gap:2px; margin:0 0 4px; border-bottom:1px solid var(--rule)}
.tab{font-family:var(--mono); font-size:13px; letter-spacing:.02em; color:var(--muted); background:transparent; border:0; border-bottom:2px solid transparent; padding:12px 18px; margin-bottom:-1px; cursor:pointer; transition:color .12s ease, border-color .12s ease}
.tab:hover{color:var(--ink)}
.tab[aria-selected="true"]{color:var(--seal); border-bottom-color:var(--seal)}
.tab:focus-visible{outline:2px solid var(--seal); outline-offset:-2px; border-radius:4px}
.panel:focus{outline:none}
.panel > section:first-child{padding-top:28px}
.panel > .fingerprint:first-child{margin-top:24px}