Oh, and I forgot to add -- the fonts seem to fix themselves when the window gets redrawn in some way -- unmaximise/maximise, switch to a different workspace, etc. -- Leonid