Opera

ブラウザはOperaを使っているのですが、アップデートを怠っていた（ずっと９．１だった）のを、最新版の９．５に更新しました。
微妙に外観が変わって、慣れるまでに時間がかかりそうです……。新しい機能もある……のか？