Oh man, font-size-adjust is amazing! Thanks Paul and Richard for calling my attention to it. I implore other browser-makers to implement it!