Xorgに移行してFirefoxを再構築したら，Firefoxのメニューのフォント・サイズが大きすぎて気に入らないので修正してみた．~/.mozilla/firefox/foo.default/chrome/userChrome.css1を，

*{
	font-family: -*-terminus-medium-r-*--*-*-iso8859-*;
	font-size: 8pt !important
}

という感じに修正2するだけ…

  1. userChrome-example.cssという名前でサンプルがあるので，コピーして使えば良い． ↩︎

  2. “Make all the default font sizes 20 pt:“の下あたりのコメントアウトされている部分を有効にして，適当なフォントを設定するだけ． ↩︎