In the event that an increase in font size is implemented and you still find it too small or the font size change isn't implemented at all, you can always ⌘-+ to increase the font size (though it increases the font size for everything else as well). If you were already aware of this, hopefully other OS X users will find the tip useful.

It got smaller? When I made the changes to fix Safari, it got bigger on my screen.

You're using Safari, right? I've made a change that may help, give it a refresh...

Alright, I made another change, please give it a hard-refresh and let me know if that's better. Safari is known to have some strange behaviors with monospace fonts, but this might get around it. If not, I'll have to probably use a browser-detecting hack, which I am loathe to do.

I wish I had a Mac at hand to test this on because debugging web stuff this way is insane.

Alright, I made another change, please give it a hard-refresh and let me know if that's better. Safari is known to have some strange behaviors with monospace fonts, but this might get around it. If not, I'll have to probably use a browser-detecting hack, which I am loathe to do.

I wish I had a Mac at hand to test this on because debugging web stuff this way is insane.

That's better, but why are you using a monospace font? It's ugly.

its to solve another problem -- editing diagrams

You mean people don't do diagrams in another program and paste them in their browser for the forum? That's how they must have done on GD.

Yes, that's necessary for compatibility with Safari. Apparently Safari absurdly makes text smaller if you specify "monospace". It irritates me that I have to follow a bad practice by not specifying it, but such is the nature of making things cross-browser compatible. Does your system not have any of the alternative monospace fonts I specified?

If there's no alternative on the website side for compatibility reasons, I'll look into whether I can override the lifein19x19.com stylesheet locally.