Your statement also returns "Sans 11" on my system. I am using "Human" theme - I can't remember I ever changed it.
Still, the font preferences say "10" for each font.
Your statement also returns "Sans 11" on my system. I am using "Human" theme - I can't remember I ever changed it.
Still, the font preferences say "10" for each font.