/* Real links keep TOP reachable by touch, keyboard and without JavaScript. */
header a.brand{pointer-events:auto;text-decoration:none;min-height:44px}
button#close{display:inline-flex;align-items:center;justify-content:center;min-height:44px;padding:2px 6px;font:10px Arial,sans-serif;letter-spacing:.19em;text-decoration:none;color:var(--muted);white-space:nowrap}
button#close:hover{color:var(--ink)}
@media(max-width:850px){button#close{letter-spacing:0}}
header .release-links{display:flex;align-items:center;flex-shrink:0;margin-left:8px}
header .release-links a,header .release-links a:visited{display:inline-flex;align-items:center;justify-content:center;min-width:44px;min-height:44px;color:#9ab0c0;text-decoration:none;font:10px monospace;letter-spacing:.15em;white-space:nowrap;transition:color .25s,text-shadow .25s}
header .release-links a:hover,header .release-links a:focus-visible{color:#86bfff;text-shadow:0 0 12px #298cff}
@media(max-width:480px){header{gap:10px}header .brand{width:clamp(120px,37vw,144px)}header h1{font-size:10px;letter-spacing:.12em;white-space:nowrap}header h1 i{padding:0 5px}header .release-links{margin-left:0}}