If you want to match the font of the IBM PC technical documentation, it's ITC Garamond, not Times. Very characteristic of the era, Apple also adopted it (in it

If you want to match the font of the IBM PC technical documentation, it's ITC Garamond, not Times. Very characteristic of the era, Apple also adopted it (in it condensed variant).