Documentation Font size

Hello Pat,

that is absolutely great. Thank you very much.
Kind regards
Manfred