/* Wiki pages that were linked but never exported. tools/mkdocs_hooks.py turns
   those links into plain text so the site has no 404s; this keeps the wording
   visible as a former reference rather than silently normal prose. */
.md-typeset .dead-link {
  border-bottom: 1px dotted var(--md-default-fg-color--lighter);
  color: var(--md-default-fg-color--light);
  cursor: help;
}