The problem went away after a system upgrade. I assume whatever was wrong with the fonts has been fixed then.