[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[debian-users:31063] Re: Mozilla-0.9.5 のフォントサイズを変更したい

松永です。

  From: SUGITA Toshinori <sugita@xxxxxxxxxxx>
  Subject: [debian-users:31062] Re: Mozilla-0.9.5 のフォントサイズを変更したい
  Date: Fri, 21 Dec 2001 10:31:37 +0900
  Message-ID: <20011221.103131.846966537.sugita@xxxxxxxxxxx>
／
> 私のところでは、~/.mozilla/[user]/[hogehoge]/user.js に
> （もしかすると、~/.mozilla/default/user.js でもよい？)

このファイルは ~/.mozilla の下にも /usr/lib/mozilla の下にも見付かりま
せんでした。

> user_pref("font.min-size.variable.ja", 10);
> user_pref("font.min-size.fixed.ja", 10);
> user_pref("menu.font-size", 10);

などは ~/.mozilla/pref/unix.js の中で(user_ の付かない)

pref("font.min-size.variable.ja", 10);

などで、定義してあります。

> プラス、~/.mozilla/[user]/[hogehoge]/chrome/userContent.css(同上) に

このファイルも ~/.mozilla にはありませんでしたが、/usr/lib/mozilla に
はあったので、コピーして
 
input, textarea, select {
  font-family: marumoji !important;
  font-size: 12px !important;
}

を設定しました。その結果、Form エリアの文字が設定通りのフォントで表示
されるようになりました。

最初 userChrome.css に変更を加えていたのですが、そちらではうまく行きま
せんでした。
(ボタンの文字も出力の設定というよりは入力の設定なのだ、ということでしょ
うか)

> すべて、ホームディレクトリ以下の指定なので、該当ユーザーのみの
> 設定になっていますが、mozilla自身のインストールディレクトリ以下にある
> 同様のファイルを書き換えれば、システムデフォルトになると思います。

私もそれを期待したのですが、/usr/lib/mozilla の下のファイルの変更では
うまく、表示が変わりませんでした。設定ミスだったのかも知れませんが。

> 情報の出どころ:

> http://www.mozilla.org/unix/customizing.html

ここは見たのですが、どういう変数があるのかが今一つ理解出来ませんでした。

どうもありがとうございました。