Thanks a lot for the advice, much better now for my 40+ eyes.

Some more advice needed: how to enlarge the font also in the theme I found nicer, digital nature?

PS: Nano-tiny came in handy when editing the file over ssh.