On Tue, 11 Dec 2018, Daniel wrote:
It works for me (see attachment). Otherwise I have found some possibilities here: https://texblog.org/2012/08/29/changing-the-font-size-in-latex/
Daniel, I found a solution: the 12-point type is sufficiently large. Regards, Rich
