https://bugzilla.redhat.com/show_bug.cgi?id=2009807
--- Comment #7 from beta-stage@tutanota.com --- (In reply to Jens Petersen from comment #5)
Also Sans vs Serif?
I've thought about it, and I think Sans is better. After using it for a while, it seems cleaner and more readable.