Firefoxを使うとIEと違って文字が小さくなる場合がある。 作り手の意図による場合もあれば、そうじゃないこともある。 そんなときにいちいち文字サイズを変更するのは面倒だ。 そこでgreasemonkeyを使う。 http://www15.ocn.ne.jp/~kiyo1977/GreaseMonkey/ l…

google earthで遊んでいたらこんな時間になってしまった。 ずっと遊んでいたわけじゃなくて、少しは実験したけどちょっと遊びすぎ。 昨日はiTunes 4.9を入れてpodcastで遊んでた。楽しいから仕方ない。 いろいろなところで話題のgoogle earth。 十分すごいと…