Rename font file and make font heavier for #1658

This commit is contained in:
James Cole
2018-09-05 07:54:53 +02:00
parent f0d2caec67
commit 2afbef63aa
3 changed files with 4 additions and 4 deletions