Repository navigation

Menu bar: numbers in 9 pt medium - #373

Merged

fylorn merged 1 commit into

devfrom

menubar-numbers-medium

Oct 25, 2026

Merged

Menu bar: numbers in 9 pt medium#373
fylorn merged 1 commit into
devfrom
menubar-numbers-medium

Commits on Oct 25, 2026
- Menu bar: numbers in 9 pt medium so they read as heavy as other readouts
  
  fylorn
  and
  claude
  committed
  2847723