Vimperator 2.0あたりからカラースキームや:style,:highlightコマンドがあるため、stylechanger.jsも既に古いものである。少々タイトルが扇情的であるが...。 vimperator系の記事を見ていると、userChrome.cssを使ってスタイルを編集している人が多そうなの…