> Le 29 avr. 2019 à 11:10, Patrice Dumas <[email protected]> a écrit : > > On Sun, Apr 28, 2019 at 06:29:07PM +0200, Akim Demaille wrote: >> >> https://www.gnu.org/software/bison/manual/html_node/Prologue-Alternatives.html >> >> does not show the comment /* tree is defined in ptypes.h. */ in roman, >> also the source is: >> >> @group >> %union @{ >> long n; >> tree t; /* @r{@code{tree} is defined in @file{ptypes.h}.} */ >> @} >> @end group >> >> as a matter of fact, it even shows in a bigger font with the default >> css. > > It does, but it seems to be in roman to me.
Ok, it's Roman with Firefox and Chrome, not with Safari.
