Skip to content

change the table of content fonts from bold to medium#718

Merged
benjagm merged 1 commit intomainfrom benjagm-toc-fontsMay 29, 2024

Commits

Commits on May 29, 2024