ここ最近のログから、表示設定の統計を紹介。フォントサイズ ふむふむ。みんな概ね、デフォルトの大きさ（16ピクセル）に満足しているようですね。12ピクセルのツワモノが意外といることに驚いた。視力がよっぽどいいのか、あるいはディスプレイのサイズが小…