Tweak font usage
- We use woff2 fonts, but do they have as many characters as the corresponding ttf fonts? (I get that they are compressed well, but they are 6x smaller)
- Maybe use Ubuntu Condensed in more places, e.g. in tables, and maybe also in (parts of) the dialogs.
Edited by Almar Klein