/* ─────────── version head ─────────── */
/* the event and the span, under a version's heading */
.version-sub {
  display: flex;
  align-items: baseline;
  flex-wrap: wrap;
  gap: 0.5625rem;
  padding: 0.625rem var(--pad) 1.125rem;
  border-bottom: 1px solid var(--line);
}
.version-tag {
  flex: 0 0 auto;
  font-family: var(--mono);
  font-size: 0.6875rem;
  font-weight: 400;
  color: var(--muted);
  border: 1px solid var(--line);
  border-radius: 0.25rem;
  padding: 0.125rem 0.4375rem;
  line-height: 1.4;
}
.version-meta { font-family: var(--mono); font-size: 0.65625rem; color: var(--faint); letter-spacing: .03em; }
.version-pager { display: flex; gap: 0.375rem; width: 100%; }
.version-pager .pager-button { flex: 1 1 0; min-width: 0; text-align: center; padding: 0.4375rem 0.5rem; font-size: 0.71875rem; }