Firefoxのメニュー・フォント変更
Xorgに移行してFirefoxを再構築したら，Firefoxのメニューのフォント・サイズが大きすぎて気に入らないので修正してみた．~/.mozilla/firefox/foo.default/chrome/userChrome.css1を， *{ font-family: -*-terminus-medium-r-*--*-*-iso8859-*; font-size: 8pt !important } という感じに修正2するだけ… userChrome-example.cssという名前でサンプルがあるので，コピーして使えば良い． ↩︎ “Make all the default font sizes 20 pt:“の下あたりのコメントアウトされている部分を有効にして，適当なフォントを設定するだけ． ↩︎ ...