結局 plugin

extension でなくて plugin と呼ばれている Firefox の拡張。どう違うのですか？名前の違いの他にはっきりした違いを読んだ事がない。
8 Cool Firefox Plugins You Never Knew Existed から Aardvark を入れてみた。今日の画像に screenshot を貼っておく。
Opera の場合は特製ボタンから Show structural elements CSS を選択する。

　

上掲ボタンは以下の通り。author/user 切り替えと一緒だと、ボタンを小さく表示させると事実上選べないため。Document Popup Menu に入れて右クリックから呼び出す手もあるが、右クリック内に沢山あるとうっとおしい。それを避けるために tree 形式にしてしまっては、選択の手間がかかり過ぎると思う。

Button0, 67405="Show popup menu, "Style Menu""