|
From: | Paolo Prete |
Subject: | Re: box-stencil (was: Drawing boxes around grobs) |
Date: | Mon, 24 Feb 2020 18:49:37 +0100 |
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)
[Prev in Thread] | Current Thread | [Next in Thread] |