レス数が1000を超えています。残念ながら全部は表示しません。

くだらない質問はここに書き込め！なんでもアリ12

462 ：ていうか ：02/08/11 19:01

>>460
Mozillaの場合、メニューやブックマークのフォントも基本的に
フォントの設定に引きずられる。メニューのフォントだけ別の
フォントに変えたい場合、テーマ関連のファイルをいじる事に
なる。そのファイルがどれかというと

~/.mozilla/${USER}/*.slt/chrome/userChrome.css

だ。
僕はこんな風に設定してる。
-----
* {
font-family: "fixed" !important;
font-size: 10px !important;
}

read.cgi ver5.26+ (01/10/21-)