you can change the typeface PAH, I should be so lucky. Linux laughs at any attempt to change font, it smiles sweetly and ignores me completely, but it is worth it, it is, it is, I just have to keep telling myself that.