検索窓のボタンが虫眼鏡だったのが消失してしまいました。

原因は使用していないと思われたテーマを削除してしまったことによるものです。｢テーマが不完全｣とかなんとかメッセージが出ていたので削除したのですが，実際には使われていたようです。

検索のボタンを虫眼鏡アイコンに のページを参考に復旧をしようとしたのですが，うまくいきません。

結局，虫眼鏡アイコンを表示するための font-awesome のページを参考にして復旧することができました。