I am starting to wonder if 17 pixels is a tad too small of a font size for these notes. Under macOS the font size looks fairly legible, but under Ubuntu it seems a tad too small. I will need to check, and make sure screen resolution is the same for both, before doing any further fiddling.
Update: 02 Jul 2025 @ 20:06:59
My main mistake is to use pixels for font sizes. This evening I will be changing them all to use rem
/em
instead. Still, everything will look smaller at higher resolutions.