急に自分のアプリの設定画面のフォントがボールドになったな、と思ったらAndroid 15にしたからか。すぐ慣れるかな。