Linuxのデスクトップ環境がCinnamonのとき、パネル（Windowsの場合のタスクバーに相当するもの）に表示されている文字のフォントを変える方法を紹介します。 （赤線部分のように、パネルに直接載っている文字のフォントを変えます） ただし、パネルに設置し…