Linuxのデスクトップ環境がCinnamonのとき、パネル（Windowsの場合のタスクバーに相当するもの）に表示されている文字のフォントを変える方法を紹介します。
（赤線部分のように、パネルに直接載っている文字のフォントを変えます）
ただし、パネルに設置したアプレットのメニュー画面（例）のフォントは、この方法では変更できません。変更できるのは、パネルに直接載っている文字だけです。
設定の手順
システム設定の中にある「テーマ」を開き、
その画面の一番下の「デスクトップ」の項目に表示されているものが、その時点でパネルに適用されているテーマなので、その名前をメモしておきます（下記の画像の場合なら"Adapta-Nokto-Eta"がテーマの名前）。
~/.themes/（テーマの名前）/cinnamon/cinnamon.cssというファイルをテキストエディタで開きます。上掲の例なら~/.themes/Adapta-Nokto-Eta/cinnamon/cinnamon.cssを開くことになります。*1
そのファイルの中で#panelというセレクタがある行を探し、下記の赤線部分のように、適用したいフォントを書き加えて保存。
そしてログオフまたは再起動をすれば、ここで書き加えたフォントがパネルに適用されます。
