Re: Difference between PDF and html

[Patrice Dumas]

On Tue, Mar 03, 2015 at 04:56:24PM +0100, Akim Demaille wrote:
> Hi all,
> 
> as you can see, part of the name of the function is variable.
> Both are "correctly" rendered in PDF, yet in HTML the
> rendering is different (in the first case, the @vsar{token}
> bit is not considered part of the function name, but seems
> to be processed as already part of the arguments: it's no
> longer in bold, and it's preceded by an addition space).
> 
> I'm not claiming my first line is correct, I'm fully happy
> with the second.  I'm just reporting two different behaviors.

This should already be fixed in the development code (and in the 
pretest).

-- 
Pat