Re: box-stencil (was: Drawing boxes around grobs)

[Paolo Prete]

>
> This is pretty weird. It happens if I produce a SVG output and open it
> with Chrome/Chromium-browser...
> (no problem with Firefox)
>
>
It seems something associated with chrome/chromium's default font, which is
smaller than the Firefox default one (while the box dimensions remain the
same)