Carles: playing with fonts and colors

Github is still not very smart at filtering the diff, it even ignores `.gitattributes`.

But this is basically for you to test visually.
You can run a diff of this branch with origin/develop locally and it will properly exclude svg files from the diff.