.case-jump { margin-top: var(--s-4); font-family: var(--f-head); font-weight: 700; font-size: 14px; }
  .case-jump a { color: var(--navy); text-decoration: underline; text-decoration-color: rgba(11,31,68,.35); text-underline-offset: 3px; } 
  .case-jump a:hover { text-decoration: underline; text-decoration-color: var(--yellow); }