Skip to content

Fix sizing of code elements inside headers.#905

Merged
nojaf merged 2 commits intofsprojects:mainfrom teo-tsirpanis:patch-1Mar 5, 2024