Skip to content

#124: fix font-size in TOC theme labels#125

Merged
peterschaer merged 1 commit intomasterfrom 124_fix_fontsize_toc_theme_labelsFeb 13, 2023

Commits

Commits on Feb 10, 2023