From: Swift Griggs
it's (currently) a big hassle in Windows to get
absolutely every font
to get bigger at once.
Have you tried right-click on a blank spot on the desktop, 'Properties',
'Setting', 'Advanced'? The window that pops up allows you to change i) on
older Windows, _all_ font sizes (options are 100%, 125%, and custom) at once;
ii) on newer Windows, the size of _everything_ (which includes images, I
think).
Noel