for desktop versions of Anki, how do I edit the size of the numbers displayed at the bottom of cards I am reviewing (not the buttons themselves). I believe they are called “new cards, cards in learning, and cards to review”.

at the present moment, this is really tiny and on mobile, I usually orient my eyes on this so that I can know approximately how long my reviews will take.