New Font in 3.12?

Uncategorized
1

This is not a problem or a complaint, just something I’m curious about.

This morning I noticed that the font used for the date/size and minutes lines seems to be smaller than it was. I don’t know for sure whether I changed something or it’s something different in 3.12.0, but it made me go Huh.

Have you seen this?

2

Yes, it is slightly smaller but also bold face now. This uses the default Material sizes/fonts now

3

I appreciate the additional detail.
Standards are good, and so is knowing that I wasn’t just imagining things.