Skip to content

Fix font size of <code> on headers#139

Merged
faithandbrave merged 2 commits intomasterfrom fix-font-size-of-code-on-headersJan 18, 2023