はい、それで解決しました @chapoi さん、探し方のヒントをありがとう @Lilly さん。それが全員に展開される（または恒久的になる）際、フォントサイズをカスタマイズできる方法はありますか？以前使われていたものは小さすぎました。