/* Sprung aus den Auswertungslisten zur Fundstelle (features/listen-sprung).
   Zielsymbol (Ring + Punkt) nur aus CSS – hängt nicht von Schriftart oder Emoji-Unterstützung ab. */
.ls-jump {
  position: relative; display: inline-block; flex-shrink: 0;
  width: 18px; height: 18px; margin-right: 5px; padding: 0; vertical-align: middle;
  color: var(--text-dim, #94a3b8); background: transparent;
  border: 1px solid transparent; border-radius: 4px; cursor: pointer;
}
.ls-jump::before {
  content: ''; position: absolute; left: 50%; top: 50%; width: 9px; height: 9px;
  transform: translate(-50%, -50%); border: 1.5px solid currentColor; border-radius: 50%; box-sizing: border-box;
}
.ls-jump::after {
  content: ''; position: absolute; left: 50%; top: 50%; width: 3px; height: 3px;
  transform: translate(-50%, -50%); background: currentColor; border-radius: 50%;
}
.ls-jump:hover, .ls-jump:focus-visible {
  color: #3b82f6; border-color: #3b82f6; background: rgba(59, 130, 246, 0.12); outline: none;
}