agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Link styling tweaks

Open fredrik-bakke opened this issue 7 months ago • 0 comments

Summary

  • [X] Add dotted underlines under links that are adjacent making it possible to tell them apart, e.g.: image image The styling does not apply to code, or concept paragraph symbols, and it only applies to links with another link directly adjacent to it.
  • [X] Don't display underline on hover in code. New: image vs old: image
  • [X] Add external link indicator, e.g., the symbol after "Evan Cavallo" in: image

fredrik-bakke avatar Apr 25 '25 13:04 fredrik-bakke