Better linkable fragment UX #5
Description
A simple upgrade to the fragment markup would be to have an anchored # button which points to the current heading.
Add to that a reframing of the CSS, where headings get a top padding (say 1em), and we get a nice landing experience, as in this site.
Making it visible on hover is a nice extra touch. The only question is whether we should be adding a post-processing theme to latexml (i.e. implement this in XSLT), or do this in the final Rocket web service (either on serve, or as a Javascript patch).