自宅では Opera を使っています。本日、Opera に関する調べものをしていたら、User JavaScript という機能があることを知りました。いろいろ便利なスクリプトがあるようですので、私も使ってみようかと思います。