/* pin-match.css — make bookmark pins the same height as the progress bar */
:root{ --progress-h: 6px; } /* keep in sync with bar-slim.css */
.pin{
  height: var(--progress-h) !important;
  top: 0 !important;
}