[PD] changing font size overall

[rolfm at dds.nl]

cyrille wrote
> this is the same size as what i'm using on my 13 inchs 1920x1080 screen.
> i'm not using the same font, but you can change that to (using the  
> -font-face option)
>

for my eyes it is very uncomfortable,
so i would like to be able to change it.

rolf