Bug in the output of a table with verbatim cells and non-default size?

[Jürgen Spitzmüller]

Am Montag, dem 13.07.2026 um 08:50 +0100 schrieb José Matos:
> Can you reproduce this?

Yes. The font functions should be disabled in this case. Fixed in
master at bf8cc517a7

-- 
Jürgen