関連ワード:  what font does linux use    what font does linux terminal use    what font does linux mint use    what font does kali linux use    what font does arch linux use    what font format does linux use    what text editor does linux use    what font does kali linux terminal use    what font is used in linux terminal    what font does ubuntu terminal use