/* Ours. Kept out of style.css so every file of the reference front end stays
   byte-identical and its upstream changes keep applying. */
a.arm-note-link { color: inherit; text-decoration: none;
  border-bottom: 1px dotted var(--border); }
a.arm-note-link:hover, a.arm-note-link:focus-visible { border-bottom-style: solid; }