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