Administrivia: Back To Smaller Fonts
After looking at it for a few days, I'm reverting to the smaller fonts, and I'm changing the base font on my browser instead, which seems to work better.
BTW, happy 4th of July to all my US readers.
Knowing we're running out of fossil fuels. Believing we can kick the habit.