Skip to content

Shrink heading anchor links to 1em, fixes links in headings#3847

Merged
mejo- merged 2 commits intomainfrom
fix/readonly_heading_link
Feb 28, 2023
Merged

Shrink heading anchor links to `1em`, fixes links in headings#3847
mejo- merged 2 commits intomainfrom
fix/readonly_heading_link

Commits

Commits on Feb 28, 2023