I have a highly hacked local user CSS stylesheet to get around the problem of small fonts on too many sites. I rarely have to resize pages, but this one was actually too big.

Something of a novel problem.