It is not that old, and of course the machine did not come with discs; the OS was backed up on the HDD, so I suppose I can format and start again. But surely I can change the font used by the OS? I can change the size of the font, but not the style? My son must have made that choice when he set it up, so how did he do it? Bl**dy computers...