トップ «前の日記(2001-05-09 (Wed)) 最新 次の日記(2001-05-12 (Sat))» 編集   RSS 1.0 FEED  

Journal InTime


2001-05-10 (Thu) [長年日記]

_ blue

mozilla 0.9にupgradeしたらskinのblueがなくなっていた。 しくしく。

メニューなどのフォントを調整するには、~/.mozilla/.../chrome/userChrome.cssに、

/* custom stylesheet */

* {
    font-size: 12px;
}

などと書けばよいようだ。

_ w3m-el.deb

w3m_elのdebはDebianに入ってるそうです。

apt-cache search w3m_el

としてしまったのが敗因。