«前の日記(2002年01月29日) 最新 次の日記(2002年01月31日)» 編集

混沌の庭研究所

1998|06|07|08|09|10|11|12|
1999|03|04|05|06|07|08|09|10|11|12|
2000|01|02|03|04|05|06|07|08|09|10|11|12|
2001|01|02|03|04|05|06|07|08|09|10|11|12|
2002|01|02|03|04|05|06|07|08|09|10|11|12|
2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|06|07|08|09|10|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|05|06|07|08|10|11|12|
2011|01|03|09|
2012|02|03|
2013|05|12|
2019|10|

2002年01月30日 水曜日 [長年日記]

_ [Mozilla] ユーザースタイルシートでFORMの文字設定を変更(Mozilla)

Mozilla 0.9.4からこっち、FORMで表示される文字がPreferencesで設定したサイズよりも一回り小さいプロポーショナルフォントになってしまったわけですが(2001/09/15の日記)、これが非常に気に入らない僕は新しいMozillaをインストールするたびに、forms.cssを書き換えておりました(2001/09/17の日記)。しかし、よく考えてみるとMozillaにはユーザースタイルシートがあるわけで……ひょっとしてそっちに書いておけばいいんじゃないかってことで試してみると、ばっちりOKでした。そんなわけで、userContent.cssに

input { font: medium -moz-fixed !important; }
select { font: medium -moz-fixed !important; }
optgroup { font: medium -moz-fixed !important; }
button, input[type="reset"], input[type="button"], input[type="submit"] { font: medium -moz-fixed !important; }

を入れておけば毎度毎度forms.cssを書き換える必要なしってことで。

ところで、デフォルトの設定がなぜ気に入らないのか。僕のブラウザのフォントサイズはプロポーショナルフォントを10ptに設定していて、このサイズでのブラウジングがお気に入りです。OS9の頃は画面サイズが1280*960だったので9ptでOKだったのですが、OSXになってディスプレイが1280*1024しか出せなくなるとさすがに9ptはきつくて10ptに上げました。が、12ptではでかすぎてダメです。しかし、10ptの一回り小さい8ptで表示されるとさすがに小さすぎです、読めません。どうも、入力フィールドの高さと外側の文字の高さを揃えるために入力される文字サイズを小さくしているらしいのですが、余計なお世話なり。

ちなみにデフォルトの設定ではテキストエリアのみモノスペースフォントなんですが、どうも字が揃ってないとイヤなのでFORM関係は全部モノスペースフォントに変更です。フォントの種類は変えたくないって時は、「font: medium -moz-fixed !important;」を「font-size: medium !important;」に変更です。ところで、OSXに標準で付いてくる日本語等幅フォントはOsaka等幅しかないのですが、Osaka等幅の10ptはビットマップフォントがついてないのでへっぽこです。そんなわけで、モノスペースフォントのサイズ設定は12ptにするしかありません。……結局でかい文字表示になってやがるよ。こうやって改めて見直してみると、自分が何やってるのかわからなくなってくるな(笑)。まあ、つまるところは慣れってことです。今回、試しにプロポーショナルフォントのmediumサイズで表示してみたら違和感がすごいすごい。周囲の文字とはサイズが同じはずなのにね。

……そもそも、10ptなんて設定でブラウジングしてる人間はあまりいなさそうではありますな。ゆえに、ほとんど誰にとっても意味のないネタかもしれません。おまけに、こんな設定だからちと文字を小さくしているサイトだと何が書いてあるのかわからなくなったりもします(笑)。それでも僕は、12ptで見るより10ptで見る方が好きなんよ。

ところで今日、Mozilla 0.9.8のNightlyを試してみましたが(つか、これを試すついでにユーザースタイルシートを試してみたんだが)、未だにFORM送信で「〜」が入るとそれ以降をばっさり切り落とすのは直ってません。……直す気あるんか?

_ [アニメ] Kanonアニメ開始

声つきでKanonを見るのは初めて(18禁バージョンしかやってない)だったので、どんなものだか楽しみにしてたのですが……脳みそ砕けそうでした(笑)。 しかし、DC版はこんなもんではなく、もっとスローペースだったらしい……。でも、台詞自体はスローなのに間を開けずに畳み掛けられたから、もうなにがなにやら(笑)。わははは、とりあえず来週も楽しみなり。