change font to inter, scale down fonts, improve rounding/filter elements

This commit is contained in:
Gregor Vostrak
2025-07-17 16:33:31 +02:00
committed by Constantin Graf
parent be873c72fe
commit 6a740015b7
33 changed files with 4228 additions and 92 deletions

File diff suppressed because one or more lines are too long