/* focus mode dims the other lines through the CSS Custom Highlight API. Kept out of the bundled
   stylesheet because its optimiser does not know the ::highlight pseudo-element yet. */
::highlight(dim) {
  color: color-mix(in srgb, var(--ink) 30%, var(--bg));
}