ここしばらくfirefoxでいろいろと表示不具合が起こってたのでどうしたものか、と思っていたところ、じつはかなり古いバージョンを使い続けていたことに気づいた。
で、新しいのに更新してみたら、なんだか画面表示が変わってて慣れないわー。