||Sun, 18 Oct 2020 09:59:49 -0400
OLH says I can adjust menu font name and font size. I did so and
certainly appreciate the feature. However, it does not seem to apply to
popup menus which still require a little squinting. Is there a way to
adjust popup menu font name and size?