On 05/30/2015 06:01 AM, stan wrote:
find /usr -iname '*font*' | less
should bring up every font file on the system. Within the less page do
a search on 16. That will show you every 16 pixel? / kern? font. One
of those will probably be the font you are looking for.
find /usr -iame '*font8' | grep 16
does it in one line.