(ITS#8942) Font correction in man pages