Skip to content

Allow using the default font for the PreFormatter/HeaderFormatter#1345

Merged
geriux merged 1 commit intodevelopfrom feature/custom-header-font-sizeJan 5, 2022

Commits

Commits on Dec 29, 2021