Ahh, thanks for pointing that out. I am indeed on Ubuntu. And I'm obviously entirely clueless about fonts; ignorance is bliss. :)