On 21/07/2018 19:08, Jean-Marc Lasgouttes wrote:
Le 21/07/2018 à 12:55, Daniel a écrit :
- a rule is thickest if and only if (it is the first or last) *and* it
stretches along the whole with of the table,
right?
No, I will fix it asap.
And from there, and maybe while you are at it, it might not be far
from implementing the other line style:
- a rule is medium thick (i.e. factor 1.5) if and only if (it is not
the first nor last) *and* it stretches along the whole with of the table.
The widths are:
heavy=0.008em
thin=0.05em
cmid=0.03em
If I do use these values, I can only see a difference between heavy and
thin beyond 180% zoom (at 100dpi) and the 3 width are different only
over 300% zoom.
So I do not really see how I could differentiate these 3 values.
I remember something similar from CSS. You can set the with of a table
line to 1.5px (or the respective em) but the difference will be visible
only on HiDPI displays. Maybe it is the same here and you see the
difference on HiDPI displays at 100% zoom?
So, on HiDPI displays I set 1px, 1.5px, and 2px, and on non HiDPI
displays 1px, 2px, and 3px. But I worked with pixel so that was easier
to solve.
Daniel
