The font size is set to normal 96dpi. I had thought about this, but would have had much larger problems with pop-up windows, if large fonts had been selected.

David