18 Oct
2018
18 Oct
'18
6:38 p.m.
On 10/18/18 10:37 AM, Taco Hoekwater wrote:
Hi Pablo,
Let me go back an try to answer the original question: [...] Nothing more, nothing less. Many thanks for your explanation, Taco.
I think the basic issue is clear to me now: different typefaces may have different dimensions (when printed on paper) using the same point size. Many thanks for your help, Pablo -- http://www.ousia.tk