メニューバーの太さと文字サイズをユーザーが設定できるようにならんかな。
OS Xで13ポイントに大きくなってちょっと気持ち悪いんだ。