Fix headers with custom IDs via the correct syntax (#1578)

Was previously using <a name="..."> elements which just
add another anchor rather than changing the existing one.
They also use a deprecated HTML attribute and in some cases
broke the header display.

Fixes #1572.

Signed-off-by: Midnight Veil <midnightveil@fea.st>
This commit is contained in:
Midnight Veil 2023-06-21 23:51:50 +10:00 committed by GitHub
parent 564444d43e
commit b79fa06cfb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 5 additions and 5 deletions

View file

@ -0,0 +1 @@
Fix broken header formatting. Contributed by @midnightveil.