#Firefox のPDF.jsが使い物にならなくなってしまったぞ (Firefox本体のUIにグラデーションが入る前はFirefox側の検索でPDFドキュメント内を検索できたが、グラデーションしてからはPDF.js側の検索じゃないとうまく動かなくなったうえに検索ボタンが出てこないことがある)