Stingerにテーマを変更するとファビコンも変化してしまいます。そこでファビコンを新たに作成し、もともとテーマで設定されていたものと変更することにしました。
ファビコンを作成するサービスもいろいろあるようですが、今回はFavicon Generatorを使用しました。
その後、header.phpにあるファビコンの選定に関する記述を一部変更しました。なかなか思い通りにはできませんでしたが、しばらくはこのファビコンを使います。
今回の作業の具体的な方法は、@GyuuuuuuuuさんのOh-Blogというブログを参考にさせていただいました。こちらのサイトです。
このように、Stingerのカスタマイズの方法は皆様のおかげでネット上で簡単に知ることができます。
ありがとうございます。