@keyframes highlight-ring-pulse{0%{border-radius:8px;box-shadow:0 0 #3b82f6b3,0 0 #3b82f666}40%{border-radius:8px;box-shadow:0 0 0 6px #3b82f666,0 0 0 14px #3b82f626}to{border-radius:8px;box-shadow:0 0 0 10px #3b82f600,0 0 0 20px #3b82f600}}.highlight-ring-target:target,.highlight-ring-target.highlight-active{animation:1.4s ease-out .1s 2 highlight-ring-pulse}
