Oh, you are right! It is just that my eyes can't
see much of the difference. May be increasing the font size will
be needed too. I don't think it is possible, don't you?
Thanks
Le 26/12/2020 à 10:21, Gavin Smith a
écrit :
To be more accurate: its does not work with the PDF output (the command @b{}
has no effect in example bloc) however it works with the HTML output.
I need it works with the PDF output too.
Odd, works for me. See attachment.
Are you using the latest version of texinfo.tex?
--
GNU Dr. Geo
http://drgeo.eu
https://pouet.chapril.org/@hilaire