Use body font, not \tcode, for '#1' code line references in running t…#1383

zygoloid merged 1 commit intocplusplus:mastercplusplus/draft:masterfrom

jensmaurer:c3jensmaurer/draft:c3Copy head branch name to clipboard