Le 19/09/2018 à 23:54, Daniel a écrit :
The link you gave assumes that everything is displayed at 90dpi (which
gives the 1.25 once you know that 1pt is 1/72th of inch).
I have no idea of how computations are done for svg images : external
program rsvg, qt, inkscape...
But what matters is that the output is accurate, or not? The SVG spec
sets 1px = 1pt independent of the resolution. Then it's the job of the
program, like LyX (or whatever LyX is using to output SVG) to output it
correctly. And this is not done correctly.
You mean 1.25px, right? I do not say I am giving a solution. I am
thinking aloud. I do not even know what code (is it ours?) is to blame.
JMarc