eclipseのツリー部分のフォントを変更する方法(Windows)

Windows 7でeclipse-phpを使っているが、PHPエクスプローラーやアウトラインのツリーのフォントが大きすぎ&1つの項目の高さが高く、表示される量が少ない。
エディタのフォントはウィンドウ-設定 一般-外観-色とフォントから設定できるが、ツリーのフォントの変更方法は判らなかった。
どうもOSの設定を見ているようで、次の方法で変わる模様。

  • コントロール パネル\デスクトップのカスタマイズ\個人設定\ウィンドウの色とデザインを開く。

  • 「デザインの詳細設定…」を開く

  • メッセージボックスのフォントを変更する。

    contlolpanel-window-color-design_web

How can I configure the font size for the tree item in the package explorer in Eclipse? - Stack Overflow

すると、eclipse ツリー部分や検索結果などのフォントが変わった。

  • eclipse ツリー部分フォント変更前(メイリオ 10pt)

    eclipse ツリー部分フォント変更前(メイリオ 10pt)

  • eclipse ツリー部分フォント変更後(MS UIゴシック 9pt )

    eclipse ツリー部分フォント変更後(MS UIゴシック 9pt)

他の方法もあるかもしれないが、よくわからない。
あまりeclipseは使わないので、これでいいか。