UPDATE: I’ve settled, for now, on Microsoft’s Verdana, one of the standard fonts found on most browsers. It works, which is the essential point.